λ
Камлевые функторы довольно много фич «кошкеля» могут имитировать
имитатор
Size: a a a
2020 February 27
AT
имитатор
электроотрицательность
λ
электроотрицательность
бля, нечем крыть
AT
бля, нечем крыть
Не надо никого крыть. Это уже домен КРС, не песьих
AT
@lol_dog ты тут сказал "крыть", я вспомнил про кровельщика из Клерков -- https://www.youtube.com/watch?v=iQdDRrcAOjA
A
@lol_dog ты тут сказал "крыть", я вспомнил про кровельщика из Клерков -- https://www.youtube.com/watch?v=iQdDRrcAOjA
Ты тут сказал про кровельщика, я вспомнил про краснодеревщика.
AT
Ты тут сказал про кровельщика, я вспомнил про краснодеревщика.
без ссылки не считается)
A
без ссылки не считается)
Ну это известный бойз бэнд "Красное дерево".
AT
Ну это известный бойз бэнд "Красное дерево".
первый раз слышу)
AT
черт, мой классификатор сломался на этом
AT
не могу понять серьезно ли он или нет
A
не могу понять серьезно ли он или нет
Ат души делает.
AG
да учи кок сразу
AT
ради тактик надо учить внутренности Coq, а там окамль в целом несложный
мне лично Real World OCaml нравится, но многим он не заходит
мне лично Real World OCaml нравится, но многим он не заходит
AT
к камлево-ризоновом чатике могут еще набросать литературы, вот еще недавно от корнелла книжица пробегалло: https://www.cs.cornell.edu/courses/cs3110/2020sp/textbook
AG
да, я вот только хотел предложить вкатиться в @reasonml_ru
SK
брать дев-версию книжки RWO
AG
вторая редакция которая ага
SK
дев-версия доступна онлайн, еще не запаблишена