birds

Existential types and data abstraction

Написал ещё один технический пост, на этот раз про экзистенциальные типы и из связь с абстрактными типами данных. Какой-то длинноватый, правда, получился :)

Existential types and data abstraction

Ещё я в том блоге соорудил RSS и подключил к нему FeedBurner, так что теперь можно легко подписаться на RSS feed
Опечатка, вместо f :: x -> a должно быть f :: a -> Int в абзаце перед реализацией use.
> A list might be a good example of universally quantified type:
> data List a = Cons a (List a) | Nil

Эм... а где тут квантор?

Universally quantified type был бы в случае data List = Cons (forall a. a) List | Nil - что довольно бессмысленно.
Мда, я имел в виду, что

x :: forall a. List a

будет примером того значения of universally quantified type, о котором я говорил выше.

Вечером как-то исправлю это, спасибо за замечание.