E
Хороший совет
очень хороший
Size: a a a
2021 March 10
E
я бы даже сказал, великий
S
меня когда-то пугали, что сначала стоит хаскель изучить, а потом ее читать
Глянь Москвина на степике, можно рил преисполнится
E
Глянь Москвина на степике, можно рил преисполнится
я предпочитаю англоязычные ресурсы
s
В смысле какая разница
s
У Москвина оч хороший курс
E
TyDDwI очень легко читается, к слову, я бы даже своему другу джависту мог посоветовать
AT
вот кстати, попался относительный свежак, классическая штука на стыке пруверов и символьной алгебры
https://doisinkidney.com/pdfs/bsc-thesis.pdf Kidney, [2019] "Automatically and Efficiently Illustrating Polynomial Equalities in Agda"
https://doisinkidney.com/pdfs/bsc-thesis.pdf Kidney, [2019] "Automatically and Efficiently Illustrating Polynomial Equalities in Agda"
у Кидни прикольный магистерский тезис — Finiteness in Cubical Type Theory (2020)
D
В смысле какая разница
он с Украины
s
По хаскелю можно lyhfgg и Москвина. Мне кажется этого достаточно
E
По хаскелю можно lyhfgg и Москвина. Мне кажется этого достаточно
1 очень нудная, если знаком с ФП-концептами
s
Ну да, там совсем когда с нуля (как я изучал)
AT
1 очень нудная, если знаком с ФП-концептами
+++
AT
какой-то беспорядочный справочник по синтаксису с бесполезными примерами
R
1 очень нудная, если знаком с ФП-концептами
Не стоит игнорить курс человека с неприятной украинцу фамилией
AT
Не стоит игнорить курс человека с неприятной украинцу фамилией
не мешай игнорить
E
и я не уверен, что идея отложить дата типы практически в конец книги, очень удачная
R
не мешай игнорить
Тотальность
AT
Тотальность
тоталитарность
E
Не стоит игнорить курс человека с неприятной украинцу фамилией
я просто предпочитаю англоязычную литературу