а
хе
Size: a a a
2021 May 27
B
ID
Ну короче штука, которая помогает взаимодействовать с миром, не нарушая чистоты
ID
Задавать порядок выполнения, иметь побочные эффекты и тд
B
это конкретно IO
а
Ну тип того, это обобщение всяких вычислений
а
я просто пытаюсь понять что тебе лучше посоветовать
ID
Ну я знаю много всего. Но очень поверхностно
ID
Найс стикеры
B
уже хз де нашол
а
А хз
а
Если хочется побольше узнать про фп и теорию типов, рекомендую углубиться в хаскель, для практики можно написать Telegram бота
а
Coq это в основном про доказательство теорем там, про формализмы, не думаю что тебе интересно будет
ID
А можно не хаскель? Мне просто жалко в систему его ставить, не вычищю де потом
B
куда кста теорию тпов чекать? я тоже просто про хаскель знаю только LYAHFGG и то что в этом чате
ID
Интересно. Люблю математику. Можно пробовать с простенькой индукцией поиграться
а
Аок
ID
Со стратегиями коквскими
KR
В завтипном чате не сидишь?