3 ms·
It can as much as every Turing-complete language can support any programming model given enough abstraction.
by kaba0 4y ago
It can as much as every Turing-complete language can support any programming model given enough abstraction.
- fanf2 4y agoWorth reading Felleisen’s paper “on the expressive power of programming languages” (or watch this talk https://youtu.be/43XaZEn2aLc https://youtu.be/43XaZEn2aLc) which argues that if a language A has a feature that would require global refactoring to implement in language B, then A is more expressive than B.
- kaba0 4y agoSure, I was just being sarcastic on parent’s claim not meaning too much ad absurdum. Nonetheless, thanks for the paper/video, will look into them!