lol. No they don’t. The official line from /r/haskell is “all optimization is the root of all evil”. Nobody is going to use theorem proving languages for a lot

lol. No they don’t. The official line from /r/haskell is “all optimization is the root of all evil”. Nobody is going to use theorem proving languages for a lot of reasons, but actually, mostly cause functional programmers did themselves in with their other ridiculous propaganda campaign to declare that developer time is too expensive. If ATS is a pure functional programming language, then it by definition of how cpus work cannot be performant, although there may be some things it can match other languages (usually reads are not noticeably slower)