Здравствуйте, коллеги.

В очередной раз компилируя проект с использованием boost и наблюдая за минутами компиляции, подумалось — А есть ли языки в которых такие же возможности (использование статического полиморфизма) сочитаются с быстротой компиляции?
Может ли кто-нибудь назвать идеальный язык, который:
1) Позволяет использовать шаблоны классов/функций
2) Имеет быстрый компилятор (Хочу компиляции секунды,а не минуты!)
3) Позволяет подключать к себе C/C++ библиотеки
4) Имеет сходный с C++ синтаксис (чтобы быстро перейти на него)
5) Готовые программы не кушают гигабайты памяти и 100% процессора, когда надо сложит 2+2