[Haskell-cafe] memoization

Bulat Ziganshin bulat.ziganshin at gmail.com
Fri Sep 11 09:06:43 EDT 2009

Hello staafmeister,

Friday, September 11, 2009, 4:57:01 PM, you wrote:

> Here memo2 is a function that works like a combinator to obtain a memoized
> recursive function. However the type of the function depends on how I define
> it. In point-free style it gets the wrong
> type, however if I define (s2) with explicit arguments the type is correct?
> Do you know what happens here? I would expect the types to be the same.

looks like you need to pass -fno-monomorphism-restriction to ghci.
it's a "bug" of haskell definition, expected to be removed in the next
language version

Best regards,
 Bulat                            mailto:Bulat.Ziganshin at gmail.com

More information about the Haskell-Cafe mailing list