> У раста есть огромный компайлтайм

Ок. Не буду спорить, глубоко в тему не закапывался. Гуру Раста себя не считаю, кодил на нём пока не особо много. Было интересно, чего все так пригорают с синтаксиса. Причину возгораний не понял до сих пор: синтаксис, как синтаксис / язык, как язык, не самый плохой.

> Safe-обёртки над C нужны не для того, чтобы создать новые абстракции, а чтобы записать C'шные абстракции на расте ... и т.д.

Ну я собственно, вроде как, это же и имел ввиду. Внутри описываем все привязки и все unsafe-ы, выставляем наружу для драйверов максимально-safe API, чтобы можно было полагаться на компилятор.

> Наверное пока не стоит делать ставок, потому что я не додумал мысль до конца, и не уверен что она удачная.

Как-то вот тоже, прочитал, задумался. Подумал, что может и не будут выкручиваться. Из серии: мы вам давали гарантии memory safety на уровне языка, вот они, а "вот это вот: туда ходи, туда не ходи" мы не договаривались, "тут наши полномочия, всё" (с).