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