@aescling my initial reaction to this is that it makes it look like haskell was made by someone who went "let's make programming look more like math" instead of "let's make math look more like programming"
@manifold tbh haskell has made a lot of sacrifices in the service of pragmatism (yes, really); if you really wanna see programming that looks like math, try looking up algol sometime lmao
@manifold haskell was a language defined by consensus by computer scientists who wanted to package several ideas that were in vogue at the time into a single language