т.е. могут быть смешанные модели. Здесь ключевое то из чего мы в принципе исходим. Мы диктуем поведение, либо машина

ты в какой-то своей реальности живёшь

ну потому что рядовой адепт не отличает isa и машину.

хотя вон там уже маркетинг учит про микроархитектуру и всё такое. А то у домохозяек так бы и было x86 == x86

как вон выше у адепта с формализация == формализация

пока дядям не захочется поменять общественное мнение - оно будет таким. И толку на него ссылаться?

Можно просто посмотреть на то какими свойствами обладает llvm, а какими jvm.

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

Ну хотя кривость сравнения уже очевидна из факта сравнения жопы с пальцем, языка и железяки, о чём я говорил выше

поэтому си имеет модель исполнения, а раст нет. Си имеет модель многопоточности, а раст нет. Это такое же основной свойство скриптухи, исполнением которой занимается vm.


И рассказы про плохую сишную модель(именно из той методички идёт это pdp7-методичка) особенно фатальны здесь. И я об этом уже говорил. Язык первичный может изменить свою модель исполнения, может что-то от неё хотеть. Язык вторичный - нет. И завязывание на плохую модель исполнения хейтя её - это такое себе занятие

Это не совсем так, добустим арм8 специльно менял свою модель памяти чтоб быть более простой и  похожей на с11

почему раст не имеет?

и почему Си имеет?

Ну значит он просто не влез в абстракцию. Что-то может быть реализовано разными способами. Здесь си ничего не диктовал - он просто взять у других. Но в целом да, вполне может быть такое, что абстракция может быть сильнее реализации. Вопрос в том какого уровня эта абстракция и к чему она приведёт

Ну потому что скриптуха. Основное свойство такое. Всё это слишком сложно. Вернее оно скриптуха в следствии этого. А почему - не смогли

ну так си - тоже скриптуха

нет, он не обладает этим свойством. llvm сделан так, как нужно си. А не наоборот

а вот раст сделан так, как нужно llvm, т.е. как нужно си

обладает

это скриптуха

я так сказал

т.е. си может изменить что угодно и раст это изменит