Re: Functions in programming

However, what emerges is something whose relation to standard mathematical settings is surprisingly remote. Lazy evaluation (mixed with non-termination/partiality) is definitely partly to blame for this ...

Can you elaborate a bit?

Of course, this really will not seem at all mysterious to a Haskell programmer who will mutter about strictness and bottoms. But it may be a bit of a shock to a mathematician!

Hm-m-m, aren't Haskell (or, in fact, all) programmers just a special sort of mathematicians?