Алгебраические типы данных и их использование в программировании

[lionet]

Алгебраические типы данных и их использование в программировании

Роман Душкин

Аннотация Статья рассматривает важную идиому программирования - алгебраический тип данных (АТД). Приводится теоретическая база, которая лежит в основе практического применения АТД в различных языках программирования. Прикладные аспекты рассматриваются на языке

Comments

[ulysses4ever]

> Процесс сопоставления с образцом устроен таким образом, что не требует от зна-
чений АТД быть быть величинами
Повтор. Замечен во всех версиях.

[ulysses4ever]

> Синтаксис достаточно необычен, но о позволяет использовать всю силу концепции АТД
о, видимо, лишнее.

> Можно определять сложные домены так, чтобы предикаты могли принимать значения любого типа, а не не только true и false
Снова повтор.

> 20 Собственно, некоторые концепции уже упомянутого языка F# также были основаны на языке OCaml, что видно из синтаксиса
Не хватает точки в конце.

[lionet]

fixed, thanks!