к
Size: a a a
2020 June 26
MK
я это и написал
AA
ну конечно, Coercion zapping when not building with -dcore-lint тож в 8.12 не попадает
скорость компиляции никого не волнует чет, если речь не про 1%
скорость компиляции никого не волнует чет, если речь не про 1%
MK
Какие грустные у тебя новости
AA
теперь это уже минимум трехлетнй долгостой будет
AA
импредикативности новой тоже в 8.12 не будет
аа
как можно сделать из дата конструктора A x y z функцию типа x -> y -> z -> a?
LO
влейте уже живительного бабла в ghc кто-нибудь
АХ
аа
аа ааа
как можно сделать из дата конструктора A x y z функцию типа x -> y -> z -> a?
тайп конструктора*
АХ
влейте уже живительного бабла в ghc кто-нибудь
В дедовской простоте спасение!
LO
В дедовской простоте спасение!
лишь бы не вливать
аа
да я тоже запутался если честно
аа
data A = X Int Char | Y Bool String
аа
мне нужно конвертировать икс и игрек в функции
аа
Int -> Char -> Int
аа
автоматически