ᛒ
Size: a a a
2021 March 10
λ
LP
можно тлдр?
В Тиньке баги
ᛒ
можно тлдр?
сервис лакатор
λ
Хуяк
кандидат на добавление в бота
λ
В Тиньке баги
ну нихуя себе, вот это открытие
E
займись переводом Practical FP in Scala
λ
любишь мяту?
люблю мяту в фо бо
D
займись переводом Practical FP in Scala
там же тайплевел
AG
вот кстати, попался относительный свежак, классическая штука на стыке пруверов и символьной алгебры
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"
E
там же тайплевел
пускай притворяется что там Arrow
D
пускай притворяется что там Arrow
кстати красная книга вышла с котлином(и стала желтой)
E
кстати красная книга вышла с котлином(и стала желтой)
да, слышал. правда я сам красную книгу по какой-то причине забросил и взялся за Scala with Cats
E
меня когда-то пугали, что сначала стоит хаскель изучить, а потом ее читать
s
меня когда-то пугали, что сначала стоит хаскель изучить, а потом ее читать
Хороший совет