...
Megesett egyszer, hogy elunta magát egy direktszorzat a nagy állapottérben. Összehívatta a típusokat, szólt nekik, hogy ôrizzék meg típusinvariáns tulajdonságukat, de valami félelmetes dolog jutott eszébe.
- Barátaim, és származtatott rokon típusaim! A gond az, hogy már régóta nem tudunk megfelelni egyetlen specifikációnak sem. Ez türhetetlen.
- Úgy van! - helyese... |