www.digitalmars.com         C & C++   DMDScript  

D - Templates and the Hindley-Milner type system

reply "Thiago F.G. Albuquerque" <tfga zaz.com.br> writes:
How about using the Hindley-Milner type system? Then you wouldn't need
templates.

Thiago
Nov 19 2001
parent reply "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?
Nov 19 2001
parent "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
Nov 23 2001