Hello Jacques,

Friday, February 2, 2007, 12:31:22 AM, you wrote:


> If there were a standard library of type-simplifiers, that could
> preprocess "forall a b. Int" to "Int", I again would be fine with only
> allowing Int.

i think that we shouldn't reduce reliability in order to make tools
author's life easier. Haskell is the language for programming in the
first place. there are other languages like C-- that is used primarily
for automatic code generation


-- 
Best regards,
 Bulat                            mailto:[EMAIL PROTECTED]

_______________________________________________
Haskell-prime mailing list
Haskell-prime@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-prime

Reply via email to