Re: [GHC] #13783: 更合理的instance Monad []
GHC
ghc-devs at haskell.org
Sun Jun 4 16:33:31 UTC 2017
#13783: 更合理的instance Monad []
-------------------------------------+-------------------------------------
Reporter: zaoqi | Owner: (none)
Type: feature request | Status: closed
Priority: normal | Milestone:
Component: Core Libraries | Version: 8.0.1
Resolution: wontfix | Keywords:
Operating System: Unknown/Multiple | Architecture:
Type of failure: Incorrect result | Unknown/Multiple
at runtime | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by dfeuer):
zaoqi, you should look at [https://hackage.haskell.org/package/logict
LogicT] for an example of the continuation-passing style (CPS) approach.
But please note that that approach also has severe efficiency problems in
some cases. For a solution that's never very fast but also never terribly
slow, read the paper called "Reflection Without Remorse".
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13783#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list