а вот тут письмо ученого соседа подбежало

Чернышевский о неевклидовой геометрии

a question to haskellers

Guys, your language is functional. So, you have functions, right? Are your functions "actually" binary relations with properties? Do your functions consists of pairs (x,y) such that...?

If yes, where do you keep all those sets?

If not, what's your definition of "function"?

An update: here's what people say on Stackoverflow: 

"each type being an object in Hask and each function being an arrow between the argument type and the return type"

"In Haskell, a function is something which maps some input to an output. A function is a value which you can apply to some other value to get a result."

See, no sets involved. No sets. Haskell programming language is not based on set theory (neither is lambda).

меня зовут санек

я полгода занимался паркуром