#4479: Add Type Directed Name Resolution
--------------------------------------------+------------------------------
Reporter: gidyn | Owner:
Type: feature request | Status: new
Priority: low | Milestone: 7.6.2
Component: Compiler (Type checker) | Version: 7.5
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
Type of failure: None/Unknown | Unknown/Multiple
Test Case: | Difficulty: Unknown
Blocking: | Blocked By:
| Related Tickets:
--------------------------------------------+------------------------------
Changes (by guest):
* difficulty: => Unknown
Comment:
What's the estimated difficulty of implementing TDNR? I have for a long
time been interested in this language feature in particular and now I'm
about to start on my master's thesis, which is about a semester of
dedicated work.
What got me so interested in this feature is that you have to repeat
yourself in record syntax, like `data MyRecord = MyRecord { myRecordLength
:: Int, myRecordWidth :: Int}` rather than just `data MyRecord = MyRecord
{ length :: Int, width :: Int}`. I found that frustrating and I wondered
why nobody else have went ahead and implemented this language feature yet.
Now I found myself with one semester of time to do something like this.
Is there any high-level sketch of the implementation on top of SPJ's head?
Or is it still not clear which approach is best for doing type checking
and name resolution at the same time?
Finally, if you think this is too difficult for a somebody who have not
hacked ghc before. Would you suggest him to make a prototype in a smaller
haskell compiler?
Best,
Arash Rouhani
[email protected]
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4479#comment:14>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
ghc-tickets mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/ghc-tickets
