4 ms·
"Probably the two biggest problems, both of which are currently being worked on, is a solution to true modules/modular dependencies " I'm looking forward to th
by plinkplonk 12y ago
"Probably the two biggest problems, both of which are currently being worked on, is a solution to true modules/modular dependencies "
I'm looking forward to this. I have Haskell code in production and would greatly appreciate these features.
Is there a url where I can check/follow for the state of these efforts? Who is working on these? Thanks in advance.
- tel 12y agoEdward Z Yang[0] is doing a GSoC project (I think) on expanding Backpack[1][2]. He's a GHC contributor, so it's relatively big. And here's overloaded record syntax: http://www.well-typed.com/blog/84/ http://www.well-typed.com/blog/84/ [0]http://ezyang.com/ http://ezyang.com/ [1]http://plv.mpi-sws.org/backpack/ http://plv.mpi-sws.org/backpack/ [2]http://blog.ezyang.com/2014/07/type-classes-confluence-coherence-global-uniqueness/ http://blog.ezyang.com/2014/07/type-classes-confluence-coher...