Function implementations are definitely not mathematical formulas. To see what I mean, check out any HN discussions on TLA+ syntax.

It’s when you see an actual mathematical syntax that you realize how different programming really is.

Not try to be tedious here, just pointing out that actually programming is different than math, even for a language like Haskell.