Ю
У меня несколько лет назад было ощущение, что он заброшен
Спасибо. А не в курсе, чем заменить?
Size: a a a
2021 February 28
AD
Спасибо. А не в курсе, чем заменить?
навскидку haskell-language-server
AD
вроде бы его все пилят
Ю
Понял, спасибо :) буду разбираться с HLS
2021 March 02
ХГ
Avid Haskellers!
A
Скажите что за ошибка, не могу чот понять
A
я вообще могу инстанс тайпкласса сделать членом рекорда или нет?
YS
я вообще могу инстанс тайпкласса сделать членом рекорда или нет?
Нет
A
хм..почему?
к
я вообще могу инстанс тайпкласса сделать членом рекорда или нет?
да, если завернуть его в дата-тип (если хочется как явное поле) или использовать exist-синтаксис
AP
инстанс — свойство значения (его типа), а не само значение
AP
Всё равно потребуется какой-то тип чтобы значения представлять
AP
Currency a => a хотя бы такк
data Instance c = c => Instance
data X a = X { showInstance :: Instance (Show a), value :: a }
f :: X a -> String
f X { showInstance = Instance, value } = show value
у f нет констрейнта Show a, потому что инстанс лежит в рекорде, завернутый в Instance тип
data X a = X { showInstance :: Instance (Show a), value :: a }
f :: X a -> String
f X { showInstance = Instance, value } = show value
у f нет констрейнта Show a, потому что инстанс лежит в рекорде, завернутый в Instance тип
к
A
вот, спасибо да
AP
Вообще класс Currency выглядит синтетическим. Не стоит совсем уж "интерфейсы" городить на классах
AP
М.б. здесь бы больше подошёл "рекорд функций"