The "type" type dream

[bearophile]

Sergey Gromov:
> Haskell is a different language built around different design
> principles.  Your comment seems to me like this:
> Well, who argues.  But bananas aren't cookies!  You can make a banana
> cookie, but it has a lot to do with cookies and little with bananas.

I think that learning Haskell, or taking a good look at it, may teach me/you some computer science, especially things related to the type system and operations with types. Such knowledge may be useful if I/you want to invent new ways to manage types in another language, like D.

Bye,
bearophile