[Haskell-cafe] Type Directed Name Resolution
stephen.tetley at gmail.com
Wed Nov 10 13:37:41 EST 2010
Is it just me or does this bit in the proposal:
m .lookup key
Which translates to this:
reverse . snd . (\m -> lookup m key) $ m
make no sense and refuse to type check - i.e lookup is producing a
Maybe not a pair for second?
I can see some benefit with TDNR for record selection as per Neil
Brown's message, but I have serious doubts about the syntax and find
most of the examples in proposal determinedly non-compelling.
More information about the Haskell-Cafe