[Haskell-cafe] Throwback of inferred types

[Jon Harrop]

On Sunday 20 January 2008 21:02:04 gwern0 at gmail.com wrote:
> On 2008.01.19 19:11:13 +0100, Peter Verswyvelen <bf3 at telenet.be> 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