Сейчас сделал попытку пожаловаться в журнале на нехватку мощности Хаскеля и обнаружил у себя ошибку. ;)

Тоже полезный результат.

Template Haskell не умеет работать с семействами типов, поэтому вот такой код он создать не в состоянии:
instance Nat sz => Size (SInt sz) where ( Read more... )

http://www.ict.kth.se/forsyde/Read more... )

( про HaskellHDL )

http://www.seanstickle.org/2006/11/06/network-description-languages/

Конечно же, присутствуют слова agile и modern object-oriented.

Google Alert "Haskell programming language," конечно же.

Если представить себе, что мы собираемся делать System Haskell или HHDL (Haskell Hardware Description Language), то возникает вопрос о представлении алгебраических типов с помощью проводов ( Read more... )