Источник вдохновения сего краткого опуса.

Я уже приводил цитату (с переводом), но можно и повторить: ...compiler design is a pretty powerful programming paradigm. In other words structuring a large program as if it were a compiler for some new language helps to solve problem that are more difficult or even impossible to solve other way. It can ( Read more... )

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

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

Как это сделать в Хаскеле:
data ( Read more... )

Штука мощная.

Описал ими дерево значений - листья примитивного типа, вектора и записи:
data ValueTree :: * -> * where
VTPrim :: (Prim ty) -> ValueTree (Prim ty)
VTVec :: ValueTree a -> ValueTree [ValueTree a]
VTRec :: Map String RecordField -> ValueTree (Map String RecordField)

data RecordField = forall a . RecordField (ValueTree a) ( Read more... )

Сделал простой GADT:
data Expr :: * -> * where
ExprStdLogicConst :: Expr (shape StdLogic)
ExprStdLogicNot :: (shape StdLogic) -> Expr (shape StdLogic)
ExprLogicBin :: LogicBin -> (shape StdLogic) -> (shape StdLogic) -> Expr (shape StdLogic)Посмотрел на один из его конструкторов:
*Main> :i ExprLogicBin ( Read more... )

Only terminated lambda terms could be expressed with specially designed GADT, within Haskell type system, of course.

Что приятно. Но сил изучать пристально, пока, нет. ;)