Я 5 лет писал за деньги на языке с или-паттернами, воспользовался этой фичей 2 раза, так что с проверкой практикой у нее наверное вообще не важно дела обстоят

OCaml ?

F#

F#

и какого оно было?

да ничего хорошего

да ничего хорошего

а теперь что-то хорошее есть?

Я 5 лет писал за деньги на языке с или-паттернами, воспользовался этой фичей 2 раза, так что с проверкой практикой у нее наверное вообще не важно дела обстоят

В скале постоянно пользуюсть паттерном smth @ (A(...)|B(...))

а теперь что-то хорошее есть?

теперь получше

OR-паттерны которые в хаскеле принимают годами и все никак не примут в расте приняли за месяц

язык просто игрушечный

Ну да, а вот в серьезный продакшен язык их впилить куда сложнее

чем проще фича, тем больше людей хотят пообсуждать пару-тройку лет, ведь в или-паттернах-то каждый разбирается! зато квантифайед констрейнтс пролетает через комитет за месяц в режиме > no comments. But two +1 and otherwise silent agreement. I conclude that we have reached positive consensus. чет мутное, не охота разбираться, лучше промолчим - думают комитетчики

?

Вроде есть or-pattern на квазиквотах

http://hackage.haskell.org/package/OrPatterns

сейчас моднее на плагинах делать

Timo будет жить. Поприветствуем!

@webuiuxdesigner будет жить. Поприветствуем!

@Neujaskre будет жить. Поприветствуем!

интересно, можно сделать частичное применение для тайпклассов?

ну да

возможно я не понял твой вопрос

class B = A SomeType

class A x y ...

type B = A SomeType

можно, кметтомагией

не тайпалиас

а полноценный тайпкласс

можно, кметтомагией

как?

чтоб я сходу помнил

а полноценный тайпкласс

а в чем будет разница?

через вспомогательные класы

и type

поясню более детально data X a = ... class A x y ... fun :: x -> y type B = A X

ах ConstraintKinds

хм, ну тут каинды не сходятся вроде

а частичное применение я имею ввиду потом instance B SomeType where ...

поэтому я и написал

class B = A X

class A a b where f :: a -> b instance A Int String where f = show class A Int b => B b instance A Int b => B b g :: B String => Int -> String g = f ?

в инстансах B не будет виден метод f

будет

ааа

поясню более детально data X a = ... class A x y ... fun :: x -> y type B = A X

может, как-то так? class A X y => B y instance A X y => B y

ну ты взял и определил инстанс для A

а надо без определения инстансов для A

ну тогда вообще не понятно, что ты хочешь

а надо без определения инстансов для A

почему же?

считай это хитрым абстрактным классом

не пойму, чем инстанс мешает

наверное круто было бы какой-то реальный пример использования с псевдокодом

а то пока звучит как бессмыслица, пока понял, что хочется что-то вроде открытой суммы классов

типа есть A и есть множество классов, которые в A

data X a = ... class Functor f => A f x where someFn :: f x -> String class B = A X instance B SomeType where someFn :: ?

нигде для A не делается инстансов

data X a = ... class Functor f => A f x where someFn :: f x -> String class B = A X instance B SomeType where someFn :: ?

я не понимаю этот код, тут же каинды не сходятся

X у тебя Type->Type

исправил

а чего не подходит "семейство классов", где индекс - первый аргумент

то есть почему нельзя просто сделать instance A X SomeType? подразумевается, что A X может быть много?

тогда можно добавить еще один индекс

A X будет фиксирован

меняется только b

вот я и хочу что-то частичного применения для тайпклассов

то есть чтобы прояснить, никакой пользы от этого нет, ты просто хочешь более красивый код?

то есть не писать постоянно A X Int A X String

а просто B Int B String?

в принципе да

или же в этом есть какая-то польза/мощность, которую я не понял?

болерплейт не хочется

data X a deriving Functor data A f x where A :: Functor f => { someFn :: f x -> String } -> A f x type B = A X bInstance1 :: B Int bInstance1 = A{..} where someFn _ = "1" bInstance2 :: B String bInstance2 = A{..} where someFn _ = "2" тогда единственная идея - сделать на явных словариках

data X a deriving Functor data A f x where A :: Functor f => { someFn :: f x -> String } -> A f x type B = A X bInstance1 :: B Int bInstance1 = A{..} where someFn _ = "1" bInstance2 :: B String bInstance2 = A{..} where someFn _ = "2" тогда единственная идея - сделать на явных словариках

на это я смотрел) но это уже прям как Core

фигнёй занимаетесь. лучше бы драйвер для Постгреса написали

хотя бы хештаблицу нормальную

А ghc-mod уже починили?

А его надо чинить?

Есть же hie

Для 8.6.1

А hie делает всё то же, что и ghc-mod?

ghc-mod забросили

в пользу hie

т.е. его поддержка по остаточному принцыпу

https://github.com/haskell/haskell-ide-engine/blob/master/README.md#this-is-not-yet-another-ghc-mod-or-ide-backend-project

hie использует гхц-мод

новую вилку ghc-mod?

да, они его допиливают, хотя официальный уже давно не релизится

hie вроде даже правильно сделан

https://www.fpcomplete.com/blog/2018-haskell-survey-results

Рассказывают как все в восторге от хаскеля (кто пользуется)

не верю