Исан Васильевна

Здравствуйте. Прохожу довольно старенький курс по Хаскеллю. В данный момент трансформеры монад. Локально, работая в монаде StateT Integer (Writer (Sum Integer)) забыл сделать ...

Здраствуйте! Пусть есть список некоторых выражений и есть строка, в которой записан некоторый шаблон (шаблон представляет собой некоторый конструктор). Хочется с помощью сопос...

А если хочется приколов как, например, индуктивные типы и кванторы в Coq, но не нужна верификация то что можно вместо Coq?