Two schools of programming...
Wednesday, March 10, 2010
11:44 AM
Two schools of programming...
The old school of programming: you must know exactly what your program is doing, or "you'll be sorry".
Avoid abstractions. 
Use operational semantics (what something does is defined through exactly how it does it).  
The cloud school of programming: you don't need to know exactly what is happening; only that at some level your program is predictable.
Embrace abstractions. 
Use axiomatic semantics (what something does is defined through external invariants of its behavior).  