[GHC] #9819: Create typesafe method of obtaining dictionary types from class definitions, and constraint objects from dictionary types
GHC
ghc-devs at haskell.org
Mon Dec 15 08:54:16 UTC 2014
#9819: Create typesafe method of obtaining dictionary types from class
definitions, and constraint objects from dictionary types
-------------------------------------+-------------------------------------
Reporter: | Owner:
spacekitteh | Status: new
Type: feature | Milestone:
request | Version:
Priority: normal | Keywords:
Component: Compiler | Architecture: Unknown/Multiple
Resolution: | Difficulty: Moderate (less
Operating System: | than a day)
Unknown/Multiple | Blocked By:
Type of failure: | Related Tickets:
None/Unknown |
Test Case: |
Blocking: |
Differential Revisions: |
-------------------------------------+-------------------------------------
Comment (by simonpj):
Thanks. I have not been following the thread in detail, because I've been
hoping it would reach a conclusion in the form of a wiki page summarising
the proposal.
Thank you for making a start on it. But I can't understand it (yet) I'm
afraid. Could you have a go at clarifying. In particular:
* What, precisely, IS the proposal? Perhaps you can add a section heading
"The proposal" that says, as precisely as possible, what the changes (from
the point of view of the user) are.
Is there any new syntax? Are there any new system-provided functions?
Does type inference change? (For example, the wiki page mentions `using`,
but I have no idea what it is.)
* You could have a sub-section "What this proposal is NOT", covering the
bit about overlapping instances.
* Several examples of using the new facility. Again a section "Examples
of use".
* Then (and only then) some discussion about implementation.
Thanks.
Simon
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9819#comment:14>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list