26 Feb
2014
26 Feb
'14
1:10 a.m.
On 2014-02-25 18:26, Carter Schonwald wrote:
indeed.
So lets think about how to add module types or some approximation thereof to GHC? (seriously, thats the only sane "best solution" i can think of, but its not something that can be done casually). Theres also the fact that any module system design will have to explicitly deal with type class instances in a more explicit fashion than we've done thus far.
This may be relevant: http://plv.mpi-sws.org/backpack/ Regards,