12 Feb
2006
12 Feb
'06
4:54 p.m.
On 2/9/06, S.J.Thompson
Jim - it's worth looking at the proposal for views, proposed by Warren Burton et al, accessible from
http://haskell.galois.com/cgi-bin/haskell-prime/trac.cgi/wiki/Views
Views have been getting a "no", and it seems like this is because of pattern guards. I see this exporting trick as much more lightweight than views, as it doesn't change any syntax except the export list, exacts no run-time cost, and doesn't (I think) require type system changes. And pattern guards don't solve the problem. That doesn't mean that I'm smart enough to implement my suggestion so we can all have a look at how it might work out. :-) Jim