Каковы примеры эффективных языков с логическим выводом типов, подходящих для работы с многомерными массивами

Я не особо забочусь о сборке мусора, если она есть, она должна быть необязательной. Язык D отвечает всем требованиям, но я изучаю другие варианты. На мой взгляд, это малонаселенное место среди языков. Мне нужно что-то, с помощью которого я мог бы работать со скоростью 80% от скорости C.

Я также хотел бы, чтобы язык хорошо поддерживал многоядерность. Не обязательно через потоки, но все, что не связано с копированием лотов. Например, параллельный режим GNU для libstdc ++ для меня достаточно хорошая абстракция, но немного слабая в предоставлении предварительно запеченных примитивов массива (это не жалоба, это не его работа - предоставлять примитивы массива).

Я подозреваю, что я веду к OCaMl подобному языку с:

1. хорошей поддержкой многомерных массивов,
2. без (или необязательной) сборкой мусора,
3. примитивами параллельного программирования для код с интенсивным использованием массивов,
4. удобный C FFI,
5. и с разумными шансами работать на скорости 80% от C.

Я не уверен, какие теги использовать, поэтому предложения приветствуются. Я тоже хочу сделать это вики, но не знаю, как это сделать . Я слышал о Феликсе , но не знаю, подходит ли это здесь.