Без заголовка

у меня всё это в списке любимых тем последние лет пять. есть и свой подход к системе типов, позволяющей свободно использовать преимущества и OOP, и FP техник. и к практически-декларативной реализации парсинга бинарных потоков на этой системе (нативно, без добавления внутреннего DSL). и это лучше, чем STEPS. поэтому ставлю в первую очередь на себя. даже при отсутствии тех грантов и инвестиций - я на своём месте и верю в свои возможности. помимо этого. самое интересное, что находил за последнее время, как правило относилось к локальным проектам (как крупных компаний, так и отдельных разработчиков), ориентированным на одну цель или нишу. в плане наиболее важных research я ставлю на них. http://metalua.blogspot.com/ - один из таких проектов. без сверхновых идей. лучшая на данный момент реализация metaprogramming средствами самого языка. на порядок выше по качеству и удобству не только классической лисповской линии, но и реализаций в сегодняшних языках программирования (макросы Nemerle, etc). не ждал такого от "незаметного" проекта и был приятно удивлён. что же касается production, то наиболее привлекательные результаты по развитию языков программирования сейчас показывают Microsoft, с языками платформы .Net, и Python community, при поддержке Google. по части IDE/framework - более специфично, Smalltalk-линия и Java-линия пересекаются слабо и очень завязаны на семантику низлежащих языков и соответствующую психологию.