[Haskell-cafe] Throwback of inferred types

Jon Harrop jon at ffconsultancy.com
Sun Jan 20 16:02:43 EST 2008

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 

Dr Jon D Harrop, Flying Frog Consultancy Ltd.

More information about the Haskell-Cafe mailing list