September 6th, 2009

with Cat The Cat

Полезно жаловаться.

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

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

Template Haskell не умеет работать с семействами типов, поэтому вот такой код он создать не в состоянии:
instance Nat sz => Size (SInt sz) where
    type TySize (SInt sz) = sz
    toValue :: SInt sz -> Integer
    toValue x = ...
Зато можно создать аналог на многопараметрических типах классов и функциональных зависимостях.

Получается многословней, но получается.