Size: a a a

2020 July 28

in Haskell
а как вы совершали выбор
источник

LO

Leonid 🦇 Onokhov in Haskell
весёлый кремовый 🍰 торт
ну это же все запросы соответствующим образом придётся писать? самому, руками
Нужно добавить каст, или фунцию
источник

в

весёлый кремовый 🍰 т... in Haskell
а как вы совершали выбор
а мы его не совершали
источник

аа

аа ааа in Haskell
если я хочу изменить что то в ртс мне обязательно компилировать ghc весь?
источник
2020 July 29

χλ

χоρоший ☽☽☽ λисuчко... in Haskell
Какие конструкторы типов имеют следующий тип?
C :: (* → *) →*
источник

YS

Yan Shkurinskiy in Haskell
Из стандартных?
источник

χλ

χоρоший ☽☽☽ λисuчко... in Haskell
Yan Shkurinskiy
Из стандартных?
Да
источник

χλ

χоρоший ☽☽☽ λисuчко... in Haskell
Kleisli?
источник

YS

Yan Shkurinskiy in Haskell
Так, там же принимается конструктор типа и возвращается тип?
источник

YS

Yan Shkurinskiy in Haskell
Это кайнд или тип?
источник

MK

Maxim Koltsov in Haskell
А в чем разница?
источник

YS

Yan Shkurinskiy in Haskell
В чем-то точно есть)
источник

MK

Maxim Koltsov in Haskell
Не думаю
источник

YS

Yan Shkurinskiy in Haskell
Ну вот если не брать современные расширения хаскеля
источник

YS

Yan Shkurinskiy in Haskell
TypeInType и прочее
источник

YS

Yan Shkurinskiy in Haskell
Вроде как разница есть
источник

YS

Yan Shkurinskiy in Haskell
Ну или просветите меня)
источник

MK

Maxim Koltsov in Haskell
"современные"
источник

MK

Maxim Koltsov in Haskell
Тайп ин тайп уже давно вшит в компилятор
источник

MK

Maxim Koltsov in Haskell
Только он тщательно делает вид что кайнды существуют
источник