4 ms·
This is a wrong interpretation of the obvious solution, enforcing sane standards for the typical imperative patterns used and assuming feasibility of static ana
by meltyness 4y ago
This is a wrong interpretation of the obvious solution, enforcing sane standards for the typical imperative patterns used and assuming feasibility of static analysis.
Programmer as user just makes sense once you've moved past punch cards to interactive IDEs. Everyone should have stopped using punch cards by now, but lo-and-behold this is still basically the standard in some outfits.
- Joel_Mckay 4y agoIn some remote places... weaving machines still use punch cards, as the factory has run for over a century without electricity. One can never assume our use-case assumptions will generalize. =)
- meltyness 4y agoRight, but they almost certainly have on-hand a skilled reviewer that verifies that good-faith programmers haven't done anything incorrectly that would bork a machine. ... that step wouldn't constitute introducing an abstraction either.