Хотя С++ 0x является довольно улучшением для С++ (вывод типа, анонимные функции и т.д.), я должен сказать, что Scala кажется еще лучше. Дело в том, что Scala работает только на JVM, хотя кажется, что он также может работать поверх С#.
В идеале, я бы хотел, чтобы язык был таким же приятным, как Scala, но выполнялся над "С++", используя стандартные библиотеки, легко связывая с объектными файлами C/С++ всю сделку. Я делаю много числового программирования, построенного из хорошо установленных библиотек C/С++ (быстро и надежно), и это не то, от чего я могу уйти.
Кто-нибудь знает о таком языке?
Update:
Я ищу следующие функции:
-
Бесшовная интеграция с библиотеками C/С++, так же как Scala может обращаться к библиотекам Java без необходимости создания/поддержки привязок
-
Сильная система типов с хорошо продуманной системой вывода типов, которая препятствует мне писать многословные и избыточные аннотации типов
-
Функциональные и OO-функции, встроенные в язык, с поддержкой собственных библиотек, вместо того, чтобы полагаться только на стандартные библиотеки C/С++.
Кажется, что большая часть работы clang/LLVM, выполняемая прямо сейчас, может облегчить работу в этих строках, но было бы неплохо найти, что что-то вроде этого уже обрабатывается.