17 Jun
2004
17 Jun
'04
10:03 p.m.
Stefan Holdermans writes:
Well, you've just identified the well-known trade-off between abstraction and induction. A language extension involving 'views' [4, 1, 3] has been proposed [2] to deal with this issue.
That proposal for views is eight years old. Has there been any movement towards implementing it? Did some technical obsticle arise, or have people simply been busy elsewhere?
[2] Warren Burton, Erik Meijer, Patrick Sansom, Simon Thompson, and Philip Wadler. Views: An extension to Haskell pattern matching, 1996. http://www.haskell.org/development/views.html -- David Menendez <zednenem@psualum.com> <http://www.eyrie.org/~zednenem/>