Только тезис, обоснования не будет, как обычно?
Я походил по ссылкам и вообще ничего не понял, если честно. Ссылаются на какую-то непонятную PDF-ку, в которой речь о замене Java на Python, а в записи в блоге речь про Standard ML.
И потом, там же чётко написано:
The functional and imperative programming classes are independent of one another, and both are required for the new data structures class.
То есть от "императивщини" никто никуда не уходит. Правда там Сишечка простая.
Much of the course will be conducted in a subset of C amenable to verification, with a transition to full C near the end.
Но я всё-равно обоснований, что ООП антимодульно и антипараллельно не увидел нигде. Может, в сообществе адептов лямбы принято просто декламировать без обоснований в виде, например, ссылок на исследования...
Так 2011 года запись то! Результаты то есть от замены ООП на ФП?