#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