[Haskell-cafe] Type inference doesn't always calculate the most generic type?

Brandon Allbery allbery.b at gmail.com
Thu May 28 20:56:08 UTC 2015


On Thu, May 28, 2015 at 4:54 PM, Christophe Delord <haskell at cdsoft.fr>
wrote:

> Prelude> let mapabs = map abs


This is the monomorphism restriction.
https://wiki.haskell.org/Monomorphism_restriction

-- 
brandon s allbery kf8nh                               sine nomine associates
allbery.b at gmail.com                                  ballbery at sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20150528/f5a909ed/attachment-0001.html>


More information about the Haskell-Cafe mailing list