Нужны, но подходы к созданию универсального процессора разрабатывались десятилетиями. Здесь и с архитектурой, и с компилятором все, в принципе, ясно. Другое дело, что роль универсального процессора в современной MPSoC все снижается — достаточно посмотреть на микросхемы для мобильных устройств.

Я думаю, студенты, которых ныне заставляют учить тонкости covariance/contravariance, с этим утверждением тоже согласны :)

А есть, кстати, какой-нибудь такого класса чип с достаточно хорошей документацией, чтобы можнр было его самостоятельно boot-нуть самописным кодом?

Универсальный? RISC-V не подойдет?

Я что-то (временно?) перестал понимать почему люди хотят заменить C в качестве системного языка. Да и что такое "системный язык" тоже перестал понимать.

Но если уж фантазировать на эту тему, то понятно, что есть 2 аспекта, и они почти не пересекаются. Одно дело, теоретически (принципиально) более оптимальный язык для современного железа и какого-то круга "системных" задач. Другое дело - язык, способный заменить огромное количество C/C++ кода на практике, т.е. которым согласятся пользоваться большие массы "системных программистов".

При этом теоретически стройный и эффективно компилирующийся язык сделать-то не проблема, но пользоваться им никто всё равно не будет. Есть же пример ATS прямо перед глазами уже не мало лет.

А на практике Rust не так уж сильно отличается от C с одной стороны, но при этом предлагает значительные преимущества с другой. Поэтому сейчас - самый реалистичный претендент.

C'est la vie. 🤷‍♀️ 😊

(Я если честно не шучу, это реальные слова физиков ядерщиков)

Господи, в одном случае стрелочка из А в Б, в другом из Б в А, что сложного?)

То есть практически у всех студентов с этим проблем нет? Выходит, что у меня неверная информация была :)

Ну. По идее любой, который можно приобрести в составе одноплатного компьютера или телефона.

Я думаю, студенты, которых ныне заставляют учить тонкости covariance/contravariance, с этим утверждением тоже согласны :)

Физики, кстати, очень хорошо должны разбираться в covariance/contravariance, но совсем не в том смысле :) Или изначально это тот же смысл, но убежавший в другую степь?

Я не знаю, вы какой смысл имеете ввиду?

Ну. По идее любой, который можно приобрести в составе одноплатного компьютера или телефона.

Тот, который я только и знал:
https://en.wikipedia.org/wiki/Covariance_and_contravariance_of_vectors