• Thiago F.G. Albuquerque (3/3) Nov 19 2001 How about using the Hindley-Milner type system? Then you wouldn't need
• Pavel Minayev (4/6) Nov 19 2001 I'm not familiar with that system.
• Thiago F.G. Albuquerque (8/13) Nov 23 2001 I don't know much about it, either. It is the type system of Haskell. Ha...

"Thiago F.G. Albuquerque" <tfga zaz.com.br> writes:

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

Thiago

"Pavel Minayev" <evilone omen.ru> writes:

"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?

"Thiago F.G. Albuquerque" <tfga zaz.com.br> writes:

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