Hello, On Wed 25 Oct, Pawe³ Kot wrote:
I have some concepts, but I would like to hear some suggestions from you.
How about being able to type check partially written modules? Carlos Camarao posted a link to an implementation of type system CT in Haskell.. http://www.dcc.ufmg.br/~camarao/CT/CTinH.tar.gz Of course you don't really want to use a different type sytem from that currently used by Haskell. I believe this system makes use of 'principal typings' to infer the types of free variables from the context they are used, so it can be used to type check incomplete modules/programs. I can't think why such a system should be incompatible with the current Haskell type system. It seems quite appropriate for an interactive development environment and should be able to give more intelligent error reports. Regards -- Adrian Hey