• "Thiago F.G. Albuquerque" <tfga zaz.com.br> Nov 19 2001
• "Pavel Minayev" <evilone omen.ru> Nov 19 2001
• "Thiago F.G. Albuquerque" <tfga zaz.com.br> Nov 23 2001

"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