- DDD
- GoF
- SICP
- Мифический человеко-месяц
- "Why functional programming matters"
- "Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs"
-
Turing Machine (BF lang)
-
Lambda-calculi
-
Process calculi (CCS + Pi-Calculi)
-
Duck typing
-
Dependency injection / IoC
-
SOLID
-
XP, Agile, Canban, Scrum, Waterfall
-
Серебрянная пуля
- What is OOP?
- What is Object-based?
- SOLID
- GoF
- Map / Reduce
- Fold / Unfold
- flatMap / Monad
- side-effects
- expression-oriented programming
- point-free / tacit programming
- OLTP / OLAP
- Data Cube
- Normal forms, normalization / denormalization
- Ad-hoc poly, overriding
- Parametric poly, generics
- Lambda-calculi
- Turing machine
- Process calculi, Actors
- Reactive, event-driven, ???
- strong / weak type system
- static / dynamic type system
- Declarative / Imperative programming