по поводу полиморфизма и ооп и т.да.

рекомендуемое чтение

slides worth rereading

https://github.com/leithaus/SpecialK/blob/master/docs/presentations/Agents%20and%20agency%20in%20the%20Internet.pdf?raw=true

pi-calculus slides

Thank you for commenting my z slides
Now I wrote pi slides; please comment if you have time or mood

практическая неполнота

Так это, ну вот мы программируем, но знаем, что логика наша с арифметикой как бы неполна.
Ну так и что, и не значит ли это, что, в частности, мы можем куролесить ад либитум, и ни нынешние наши знания, даже если их взять в совокупности, не могут ограничить будущее развитие; так что на самом деле новые трюки можно вбрасывать до бесконечности.

Тут, кстати, какой-то добрый человек где-то в фесбуке или в жж запостил 10 заповедей программирующего на джаве; в одной из заповедей таки милостиво разрешают синтаксическое исключение - crazybob's contraption, return new HashMap<String, Integer>() {{ put("one", 1); put("forty-two", 42); }}

Halleluja, спасибо, Боб должен типа кланяться и благодарить ветеранов программирования (которые, боюсь, помоложе Боба будут).