Системный язык высокого уровня, который компилируется в c?
Я ищу системный язык более высокого уровня, если это возможно, подходящий для формальной проверки, который компилируется в стандартный C, чтобы его можно было запускать на разных платформах с (относительно) низкими накладными расходами.
Два самых многообещающих таких языка, с которыми я столкнулся за последние несколько дней:
BitC. Хотя цели разработки этого языка соответствуют моим потребностям (он даже поддерживает функциональную парадигму), он находится в очень нестабильном состоянии. , документация устарела, и, как правило, для реального проекта это слишком мало.
Lisaac. Он поддерживает проектирование по контракту, что очень удобно и имеет относительно низкую нагрузку на производительность. Однако веб-сайт мертв, новых выпусков не было с 2008 года, и в целом кажется, что язык мертв.
Я также хотел бы отметить, что это не предназначено для системы реального времени, так что GC или вообще недетерминизм (в смысле реального времени) не является проблемой.
Проект включает в основном обработку звука, хотя он должен быть кросс-платформенным.
Я предполагаю, что кто-то указал бы мне на очевидный ответ - "простой старый C". Хотя он действительно кроссплатформенный и очень эффективный, количество кода, вероятно, будет больше.
РЕДАКТИРОВАТЬ: я должен уточнить, что я имею в виду кроссплатформенность И кросс-архитектуру. Поэтому я рассматриваю только языки, скомпилированные в C в первую очередь, но если вы можете указать мне другой пример, я был бы признателен :)