Что-то я отстал от моды.

[thesz]

Сделал простой 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

Comments

[mr_aleph]

М-м-м, напоминает http://www.haskell.org/haskellwiki/GHC/Type_families#Equality_constraints

[thesz]

Да-да, добрался.

Причём в стороне от GADT, что интересно.

[zelych]

http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/FC#GADTs

и дальше там ссылочка есть на FωC: http://research.microsoft.com/~simonpj/papers/ext-f

Это то, на чём хаскел нынче работает. Очень интересно, но я пока до конца не осилил.

[thesz]

Сложно это все.

Даже, прям, неохота изучать. ;)

[nealar]

В каком смыслее стабильней?

[thesz]

Например, ghci не теряет имени файла, с которым был запущен.

Если запускаешь ghci module.hs, то он мог по окончанию проверки типов оказаться в любом модуле из списка импорта module. Приходилось форсировать :l.

[nealar]

ghci не теряет имени файла, с которым был запущен
Ни разу такого не видел в 6.8.3. Винда?

Зато другая "фича" стабильно едет через все версии: путь ~aname/path стабильно воспринимается как ~/aname/path.

[thesz]

Винда, макось.