Наблюдается активное внедрение функциональщины повсеместно, даже в таких, казалось бы, захолустьях как C++ и Java. Функциональные языки активно переманивают разработчиков в привычных средств (Scala), а то и целиком захватывают целые направления (Erlang). Языка без поддержки хотя бы базовых элементов функциональщины уже и не найти.
В связи с этим несколько вопросов:
1. Как видно, преимущества функциональщина имеет и без чистоты. Ждет ли нас ползучее проникновение чистоты в языки или этот барьер не будет преодолен?
2. Заметно сращивание чистых языков и систем доказательства теорем, что дало толчок этому процессу — зависимые типы?
3. Может нам уже пора писать на Idris и Agda, минуя Haskell и т.п.?
4. Ждут ли нас статически типизируемые макросы на AST?
5. Ну и в качестве легкого троллинга: сколько усилий нужно, чтобы написать на чистом языке (с зависимыми типами или без) что-то типа Qt, нужно ли оно и сколько будет компилироваться?
