3 ms·
">There is a huge number of combinations possible, especially once keywords come into play. I don't think that's the limitation." The mathematical limitation s
by jasode 7y ago
">There is a huge number of combinations possible, especially once keywords come into play. I don't think that's the limitation."
The mathematical limitation still remains even if you switch from 1-character symbols like '+' to verbose words like "plus()". You can attempt to invent a new programming language using longer keywords but you'll still run into contradictions of expressing concepts because there's always an implicit runtime assumption behind any syntax that hides the raw manipulation of 0s and 1s. If you didn't hide such assumptions (i.e. "abstractions"), then that means the 0s & 1s and NAND gates would be explicitly visible to the programmer at the syntax layer and that's unusable for non-trivial programs.
There's a reason why no credible computer science paper[0] has claimed to have invented the One Programming Language that can cover the full spectrum of tasks for all situations. It's not because computer scientists with PhDs over the last 50 years are collectively dumb. It's because it's not mathematically possible.
[0] e.g. one can search academic archives:
https://arxiv.org/archive/cs https://arxiv.org/archive/cs
- BiteCode_dev 7y agoIt would be like saying you can't have high level languages because assembly have only a few limited combinations of registers. You can always abstract things away. In fact, you are making the assumption that there is no more generalist logical concepts we can discover that can abstract or merge what now appears to be conflicting paradigms. I imagine people said that to Argand. Nah, you can't do that sqrt(-1) thing, you'll run into contradictions. Given that we have been at the task for less than a century, which is like 1 minute of human history, I'm not inclined to such categorical rejection of the possibility.
- SAI_Peregrinus 7y agoUnlambda makes everything equally difficult!