[Haskell-cafe] commending "Design concepts in programming languages"

j.waldmann waldmann at imn.htwk-leipzig.de
Fri May 8 09:39:22 EDT 2009

Wow. This is really a bikeshed discussion. My post contained praise for the
a critique of one of its design decisions (intermediate language not
explicitely typed),
and a syntactical remark. Guess what the discussion is about.
(This is also known as http://www.haskell.org/haskellwiki/Wadlers_Law)

If you're advocating (f.g) = \ x -> f(g(x)), then:

1. Define composition of relations.
2. Is a function a special case of a relation?

View this message in context: http://www.nabble.com/Recommending-%22Design-concepts-in-programming-languages%22-tp23301907p23446161.html
Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.

More information about the Haskell-Cafe mailing list