3 ms·
Indeed! But I am afraid general purpose programming languages almost always need that kind of power (though being Turing complete is not necessary)
by gf000 1y ago
Indeed! But I am afraid general purpose programming languages almost always need that kind of power (though being Turing complete is not necessary)
- naasking 1y agoThey need it operationally for calculations and such, but those calculations don't necessarily need to be statically validated beyond simple things like type and unit checking.