(Moved to Haskell list because this is now a suggestion for the language) I do a lot of this soft of thing. foo {bar = fn $ bar foo ,baz = fn2 $ baz foo }
It would be much nicer if this syntax did the equivalent: foo {bar \= fn ,baz \= fn2 } -Alex-
What about 'lifting' this higher? You are (essentially) suggesting a nice syntax for constructing functions from a record to itself. While your syntax is essentially pointfree, the semantics is 'pointwise' (in that it refers to a specific record) -- not to be confused with the fact that any such function needs to be done compontent-wise.
Wouldn't be even more convenient (as well as more 'functional') if a syntax like \foo {bar \= fn ,baz \= fn2 } built a record-to-record function? [The \foo might even be enough to allow bar = fn instead of bar = fn].
Jacques _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell