Although abstracting over this stuff isn't possible in any imperative language unless Scala or maybe advanced C++ template count. But that isn't due to their imperative nature exactly.
But local reasoning is very hard to count on in most other languages - that's for sure. It's easier to just run a VM in your head.
Although abstracting over this stuff isn't possible in any imperative language unless Scala or maybe advanced C++ template count. But that isn't due to their imperative nature exactly.
But local reasoning is very hard to count on in most other languages - that's for sure. It's easier to just run a VM in your head.