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 <[EMAIL PROTECTED]> <http://www.eyrie.org/~zednenem/> _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
