Hello, I talked for a while with bd_ about this on #haskell, and I think maybe I'm just being silly. But I can't get why:
lambda = \x -> length (show x)
or
dot = length . show
is different from
pre x = length $ show x
I read about monomorphism restriction on the haskell 98 report, but I couldn't find where it explains the reason why these different versions influence on type infer. Thanks for any help. -- malebria Marco Túlio Gontijo e Silva Correio (MSN): malebria@riseup.net Jabber (GTalk): malebria@jabber.org Ekiga: malebria@ekiga.net IRC: malebria@irc.freenode.net malebria@irc.oftc.org Skype: marcotmarcot Telefone: 33346720 Celular: 98116720 Endereço: Rua Paula Cândido, 257/201 Gutierrez 30430-260 Belo Horizonte/MG Brasil
Hi This should clear up some of the questions: http://haskell.org/hawiki/MonomorphismRestriction Note to others (esp Cale): does this page not appear on the new wiki? Thanks Neil On 1/23/07, Marco Túlio Gontijo e Silva <malebria@riseup.net> wrote:
Hello,
I talked for a while with bd_ about this on #haskell, and I think maybe I'm just being silly. But I can't get why:
lambda = \x -> length (show x)
or
dot = length . show
is different from
pre x = length $ show x
I read about monomorphism restriction on the haskell 98 report, but I couldn't find where it explains the reason why these different versions influence on type infer.
Thanks for any help.
-- malebria Marco Túlio Gontijo e Silva Correio (MSN): malebria@riseup.net Jabber (GTalk): malebria@jabber.org Ekiga: malebria@ekiga.net IRC: malebria@irc.freenode.net malebria@irc.oftc.org Skype: marcotmarcot Telefone: 33346720 Celular: 98116720 Endereço: Rua Paula Cândido, 257/201 Gutierrez 30430-260 Belo Horizonte/MG Brasil
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
Neil Mitchell wrote:
http://haskell.org/hawiki/MonomorphismRestriction Note to others (esp Cale): does this page not appear on the new wiki?
I did a very rough quick conversion: http://www.haskell.org/haskellwiki/MonomorphismRestriction The old wiki is locked, for obvious reasons. But wouldn't this be easier if the source text of the old wiki pages were available? Thanks, Yitz
Neil Mitchell wrote:
http://haskell.org/hawiki/MonomorphismRestriction Note to others (esp Cale): does this page not appear on the new wiki?
I did a very rough quick conversion:
http://www.haskell.org/haskellwiki/MonomorphismRestriction
The old wiki is locked, for obvious reasons. But wouldn't this be easier if the source text of the old wiki pages were available?
Thanks, Yitz
You can see the source for the page by clicking on the "Raw" icon, next to the printer icon, on the top-RHS. It just appends "?action=raw" to the URL: http://haskell.org/hawiki/MonomorphismRestriction?action=raw Alistair ***************************************************************** Confidentiality Note: The information contained in this message, and any attachments, may contain confidential and/or privileged material. It is intended solely for the person(s) or entity to which it is addressed. Any review, retransmission, dissemination, or taking of any action in reliance upon this information by persons or entities other than the intended recipient(s) is prohibited. If you received this in error, please contact the sender and delete the material from any computer. *****************************************************************
I wrote:
I did a very rough quick conversion:
http://haskell.org/hawiki/MonomorphismRestriction http://www.haskell.org/haskellwiki/MonomorphismRestriction
Oops. Moved to: http://www.haskell.org/haskellwiki/Monomorphism_Restriction Alistair Bayley wrote:
You can see the source for the page by clicking on the "Raw" icon, next to the printer icon, on the top-RHS.
Ah, thanks. Does the new wiki provide this convenience? -Yitz
I wrote:
I did a very rough quick conversion:
http://haskell.org/hawiki/MonomorphismRestriction http://www.haskell.org/haskellwiki/MonomorphismRestriction
Oops. Moved to:
http://www.haskell.org/haskellwiki/Monomorphism_Restriction
Alistair Bayley wrote:
You can see the source for the page by clicking on the "Raw" icon, next to the printer icon, on the top-RHS.
Ah, thanks. Does the new wiki provide this convenience?
-Yitz
This seems to do something useful for me: http://www.haskell.org/haskellwiki/?title=Monomorphism_Restriction&actio n=raw (it gives back a document with MIME type text/x-wiki) Alistair ***************************************************************** Confidentiality Note: The information contained in this message, and any attachments, may contain confidential and/or privileged material. It is intended solely for the person(s) or entity to which it is addressed. Any review, retransmission, dissemination, or taking of any action in reliance upon this information by persons or entities other than the intended recipient(s) is prohibited. If you received this in error, please contact the sender and delete the material from any computer. *****************************************************************
participants (4)
-
Bayley, Alistair -
Marco Túlio Gontijo e Silva -
Neil Mitchell -
Yitzchak Gale