Menu
Search

Forums

Forum Index

Thread overview
Templates and the Hindley-Milner type system
Nov 19, 2001
Pavel Minayev
November 19, 2001
Gravatar of Thiago F.G. AlbuquerquePosted by Thiago F.G. AlbuquerqueReply
Thiago F.G. Albuquerque
Gravatar of Thiago F.G. Albuquerque


Reply
How about using the Hindley-Milner type system? Then you wouldn't need templates.

Thiago
November 19, 2001
Gravatar of Pavel MinayevPosted by Pavel Minayev
in reply to Thiago F.G. Albuquerque		Reply
Pavel Minayev
Gravatar of Pavel Minayev
Posted in reply to Thiago F.G. Albuquerque


Reply
"Thiago F.G. Albuquerque" <tfga@zaz.com.br> wrote in message news:3BF93011.7EF83D5@zaz.com.br...

> How about using the Hindley-Milner type system? Then you wouldn't need templates.

I'm not familiar with that system.
Could you please describe it in more details?
November 23, 2001
Gravatar of Thiago F.G. AlbuquerquePosted by Thiago F.G. Albuquerque
in reply to Pavel Minayev		Reply
Thiago F.G. Albuquerque
Gravatar of Thiago F.G. Albuquerque
Posted in reply to Pavel Minayev


Reply
Pavel Minayev wrote:
> > How about using the Hindley-Milner type system? Then you wouldn't need templates.
> 
> I'm not familiar with that system.
> Could you please describe it in more details?

I don't know much about it, either. It is the type system of Haskell. Haskell has static type checking and parametric polymorphism without the use of templates. So I thought it could be a good alternative to templates in D.

The problem is that I don't know if Hindley-Milner can be used with an imperative language. But I think it is worth investigating.

Other languages that use Hindley-Milner are ML and Miranda.

Thiago