There's a common belief floating around that total functions are an essential component of functional programming. I suppose there's growing demand for developing in Turing-incomplete languages.
-
-
Every language relies on an executing environment to interpret the effects described by the program - that we don't execute at compile time - and we still say they're Turing complete...
-
Or maybe another way to say this: the type system may not be (quite) turing complete, but the language is. This is probably true of essentially all mainstream languages.
- 3 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.