Re: [Haskell-cafe] Throwback of inferred types

On Sunday 20 January 2008 21:02:04 gwern0@gmail.com wrote:

On 2008.01.19 19:11:13 +0100, Peter Verswyvelen 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