Про монады не сумел, так хоть про GADT и семейства типов напишу.

[thesz]

Часть про сами алгебраические типы и полиморфизм я опущу. Это где-то ещё есть. Начну с места в карьер.

В Хаскеле можно сделать типизированный ввод-вывод, а-ля Ada или Паскаль. Ну, там файл объявляется, как содержащий структуры: variable f : file of some_record и ничего, кроме some_record оттуда прочитать нельзя.

Как это сделать в Хаскеле:
data

Comments

[si14]

Тег
не закрыт где-то.

[thesz]

Закрыт всюду, где мне это было нужно.

[thesz]

Прошу прощения, в одном месте не закрыл .

Спасибо.

[dmzlj]

Спасибо

[thesz]

Да не за что. ;)