Хроники типизации.
На фоне народной функционально-императивной войны разгораются битвы между статической и динамической типизацией. Одни говорят, что надо всех динамических типизаторов замочить, а динамически-типизированные языки уничтожить. А другие, привязанные своей привычкой к наиболее понимабельным и лёгким языкам с динамической типизацией и представить себе не могут, как ввести статическую типизацию, для их родного языка :)
В смертельной битве, в которой выграют только производители попкорна, зафиксирую свою позицию.
Тем не менее, наблюдение за спорщиками, вообще полезное занятие :) Так вот, например, попытка пофантазирировать на счет статически типизированного лиспа у меня была и заняла несколько вечеров. Но получаемый результат кажется совсем не экономичным по количеству исходного кода, если писать на нем программы.