L
Size: a a a
2020 October 29
Y
YS
Крутой доклад)
YS
жду второй сезон
AI
"Но нам ближе по духу писание Caml-ом!"
Y
Про «зачем окамл хаскелисту» резюмировать, наверное, так:
– подчерпнуть интересное про синтаксис, систему типов и прочие языковые возможности;
– если от безумных хаскельных расширений перегревается моск, а боринга не хватает по выразительности;
– если нужны более низкоуровневые алгоритмы с более предсказуемой эффективностью;
– если нужно писать под вебчик – ReScript, кажется, уделывает PureScript и GHCjs по перформансу, и в отличие от первого ещё и может изоморфно компилироваться в натив.
– подчерпнуть интересное про синтаксис, систему типов и прочие языковые возможности;
– если от безумных хаскельных расширений перегревается моск, а боринга не хватает по выразительности;
– если нужны более низкоуровневые алгоритмы с более предсказуемой эффективностью;
– если нужно писать под вебчик – ReScript, кажется, уделывает PureScript и GHCjs по перформансу, и в отличие от первого ещё и может изоморфно компилироваться в натив.
AI
да и вообще порой хорошо вернуться в привычное измерение - сначала то что выше и левее, а потом то что правее и ниже )
AT
А ещё будет очень здорово, если подскажете, как на хаскеле лучше организовать то представление AST из презентации.
Final Tagless?
AT
Church Encoding?
AT
+ open recursion.
YS
taglessnessful
AI
ment
AI
есть кул стори как студенты-филологи рассказывали, как в юности будучи в (еще советском) Крыму из-за нехватки наличных средств давали телеграмму из одного слова "двадцатипятирублируйте" и убеждали телеграфистку что такое слово есть