[Haskell-cafe] haskell-src type inference algorithm?
lennart at augustsson.net
Thu Feb 11 12:53:34 EST 2010
It does type inference, it's just not engineered to be part of a real compiler.
On Thu, Feb 11, 2010 at 6:41 PM, Stephen Tetley
<stephen.tetley at gmail.com> wrote:
> Looks like its a type _checker_ though...
> On 11 February 2010 17:39, Stephen Tetley <stephen.tetley at gmail.com> wrote:
>> Hello Job
>> For Haskell 98 would the code from 'Typing Haskell in Haskell' paper suffice?
>> A web search should find the code...
>> Best wishes
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
More information about the Haskell-Cafe