Затеи с "прозрачностью" и введением толстых слоёв с неявными механизмами (концентрация "умности" внизу) представляются вообще сомнительными. Увлекаются ими давно - и раз за разом.

Тут вон .NET-ы и ФП еле довели до нормального быстродействия. И, видимо, это предел "завышения уровня", дальше которого идти в универсальных инструментах не получится. И даже наоборот - надо бы маятник чуть сдать назад, до оптимального уровня между машинами и задачами.

Кроме того, тут вопрос не в конкретной ОС, а в методах построения таких систем (реактивные распределённые сервисы). Кои (методы) очень нужны; но ещё не сформулированы толком. С таким толком, как, например, структурный метод для традиционных систем.