On Sunday 20 January 2008 21:02:04 [EMAIL PROTECTED] wrote: > On 2008.01.19 19:11:13 +0100, Peter Verswyvelen <[EMAIL PROTECTED]> scribbled 1.4K characters: > > I would find it most useful to get type inference information on the fly, > > even when not all of the code compiles correctly yet. > > Does that make sense? If the code doesn't compile, then how could any > type-inference be trustable?
Note that this functionality continues to be widely used in other functional languages, e.g. SML, OCaml, F#. I can't think why Haskell would be any different. -- Dr Jon D Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/products/?e _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
