[Haskell-cafe] Throwback of inferred types
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
> > 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