#8288: add idris style EDSL support for deep embedding lambdas
----------------------------------------------+----------------------------
Reporter: carter | Owner:
Type: feature request | Status: new
Priority: normal | Milestone: 7.10.1
Component: Compiler | Version: 7.6.3
Keywords: | Operating System:
Architecture: Unknown/Multiple | Unknown/Multiple
Difficulty: Project (more than a week) | Type of failure:
Blocked By: | None/Unknown
Related Tickets: | Test Case:
| Blocking:
----------------------------------------------+----------------------------
I could be wrong, but I think this would actually make it much easier to
write interesting EDSLs and have a native haskelly syntax.
This would sort of be in the same vein as the recently requested
applicative brackets idea, albeit a tad more going on .
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8288>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
ghc-tickets mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/ghc-tickets
