Size: a a a

2020 December 18

MK

Maxim Koltsov in Haskell
я почему-то думал, что гхц запретит так k использовать
источник

к

кана in Haskell
кана
вот такое работает
кстати, тут хороший пример того, что то что X и X промоученный это все же один тип
источник

к

кана in Haskell
а все остальное это деталь имплементации
источник

MK

Maxim Koltsov in Haskell
кана
кстати, тут хороший пример того, что то что X и X промоученный это все же один тип
ага, спасибо
источник

к

кана in Haskell
так, убрать улитку у singleton я нашел как
источник

к

кана in Haskell
а вот и легкий способо убрать улитку у check
источник

MK

Maxim Koltsov in Haskell
Когда-нибудь можно будет писать {k}...
источник

к

кана in Haskell
источник

к

кана in Haskell
Maxim Koltsov
Когда-нибудь можно будет писать {k}...
вроде бы в 9 уже можно
источник

к

кана in Haskell
нужно проверить
источник

MK

Maxim Koltsov in Haskell
Я ещё и на 8.10 то не перешёл
источник

a

adam in Haskell
кана
вот такое работает
а в чем проблема тут порядок поменять
источник

к

кана in Haskell
ghc будет ругаться
источник

к

кана in Haskell
там же зависимость
источник

к

кана in Haskell
источник

AK

Artyom Kazak in Haskell
🤔 шта
источник

AK

Artyom Kazak in Haskell
Прикольная фича, а зачем это сделали?
источник

к

кана in Haskell
какая из? Про порядок зависимых аргументов?
источник

AK

Artyom Kazak in Haskell
Да
источник

к

кана in Haskell
ну мб думают в будущее, когда типы будут обычными аргументами, которые можно частично применять
источник