Size: a a a

2020 November 17

a

adam in Haskell
кана
да, потому что мысленно смешивается с какими-нибудь Map
когда у тебя Dict Constraint то уже сразу появляется интуиция что это что-то связанное с констрейнтами, не знаю как это ещё более понятно можно было бы назвать
источник

к

кана in Haskell
если бы не было констрейнтов-не-классов, то Instance
источник

к

кана in Haskell
adam
когда у тебя Dict Constraint то уже сразу появляется интуиция что это что-то связанное с констрейнтами, не знаю как это ещё более понятно можно было бы назвать
но все еще при чем тут dict, если у тебя интуиция от констрейнта
источник

a

adam in Haskell
кана
но все еще при чем тут dict, если у тебя интуиция от констрейнта
представлен в виде словарика который ты прокидываешь под значением Dict
источник

DB

Danil Berestov in Haskell
Капец, когда-нибудь расширения хаскеля закончатся?) Мне кажется их пишут быстрее, чем их можно успеть освоить)
источник

MK

Maxim Koltsov in Haskell
меня начинает немного раздражать
источник

к

кана in Haskell
adam
представлен в виде словарика который ты прокидываешь под значением Dict
нет никакого словарика
источник

к

кана in Haskell
словарики это какой-то мем кем-то запущенный
источник

a

adam in Haskell
Danil Berestov
Капец, когда-нибудь расширения хаскеля закончатся?) Мне кажется их пишут быстрее, чем их можно успеть освоить)
это никакое не расширение, просто интересное решение
data Dict (c :: Constraint) where
 Dict :: p => Dict p
источник

к

кана in Haskell
там обычное произведение без полей
источник

DB

Danil Berestov in Haskell
adam
это никакое не расширение, просто интересное решение
data Dict (c :: Constraint) where
 Dict :: p => Dict p
Так оно же на расширении ConstraintKinds
источник

DB

Danil Berestov in Haskell
Maxim Koltsov
меня начинает немного раздражать
?(
источник

a

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

a

adam in Haskell
Danil Berestov
Так оно же на расширении ConstraintKinds
связываешь тёплое и мягкое
источник

к

кана in Haskell
ghc сам знает когда что из произведения достать
источник

к

кана in Haskell
то есть это такой же словарик как и любое произведение - словарик
источник

DB

Danil Berestov in Haskell
adam
связываешь тёплое и мягкое
Почему? Я полез в доку либы, для её работы нужно ещё одно неизвестное (мне) расширение
источник

к

кана in Haskell
Danil Berestov
Капец, когда-нибудь расширения хаскеля закончатся?) Мне кажется их пишут быстрее, чем их можно успеть освоить)
да нет, это все древние расширения которым много лет
источник

к

кана in Haskell
ничего нового особо не появляется
источник

DB

Danil Berestov in Haskell
Да, это так. Можно конечно их сесть и пачкой прочитать. Но мне это не представляется возможным. Мне в бошку всё не влезет. Кажется, что это нормально о них узнавать вот так вот из библиотек или из сообщений компилятора.
источник