Но ведь 1й уровень это KOS есть? Запустили ядро, забутстрапили драйвера и отдали им необходимые ресурсы. Дальше приложения из-под гипервизора или нативные ходят к драйверам за ресурсами.
Это же микроядро. По большому счёту нет разницы у тебя запущен процесс с приложением или процесс с драйвером. Просто кому-то замапили доступ к железу, а кому-то нет и они вынуждены ходить через тех кому замапили — через приложения-драйвера.
Не понял чем предложение отличается от того, что есть? КОС, под ней барахло в гипервизоре плюс куски дров и приложений в юзерспейсе.
Если предлагается все дрова выселить в один домен безопасности, то это тоже можно сделать. Но не понятно зачем делать всю инфраструктуру уязвимой сразу ко всем возможным аппаратным атакам.
В паскале мутирующее присваивание выглядит как хер с яйцами и ничего, все довольны. А тут вдруг стрелочка и всё, взрыв мозга. Фантастические отличия, ничего не понятно!
Хаскель отличный императивный язык. Уж чего-чего а с такими подкатами это точно не к нему.
Переносится всё ровно такими же методами, как и в каком-нибудь питоне. Разница начинается в том, что будет после — питонокод останется и сгниёт. По хаскельному будет видно где можно упростить и отрефачить.
Это же микроядро. По большому счёту нет разницы у тебя запущен процесс с приложением или процесс с драйвером. Просто кому-то замапили доступ к железу, а кому-то нет и они вынуждены ходить через тех кому замапили — через приложения-драйвера.
Если предлагается все дрова выселить в один домен безопасности, то это тоже можно сделать. Но не понятно зачем делать всю инфраструктуру уязвимой сразу ко всем возможным аппаратным атакам.
Что я упустил?
c — component
Судя по сигнатуре это процедура навешивания компонента на сущность (в мире, который знает как такие компоненты навешивать).
Не явно. Я обучал студентов питону и были постоянно проблемы со всеми элементами синтаксиса, от кавычек до скобок, не говоря уже про операторы.
https://magiccookies.haskell.games/
Proxyтолько один из способов указать компилятору на тип. Я не уверен, что он в рантайме куда-то передаётся т.к. несёт ноль информации.В новых версиях можно явно передавать типы как аргументы без накладных расходов даже без оптимизаций.
var-begin-end-нотация в паскале никого не смущала, а do это прям отвал башки.
Восьмикласников отлично обучают хаскелю на https://code.world
Топология тоже математика.
Тут же как с "альтернативной медициной". Она либо не работает, либо работает и называется просто "медициной".
Не видел я там дикое количество ругани. Обычно всё довольно по делу.
В паскале мутирующее присваивание выглядит как хер с яйцами и ничего, все довольны. А тут вдруг стрелочка и всё, взрыв мозга. Фантастические отличия, ничего не понятно!
Хаскель отличный императивный язык. Уж чего-чего а с такими подкатами это точно не к нему.
Переносится всё ровно такими же методами, как и в каком-нибудь питоне. Разница начинается в том, что будет после — питонокод останется и сгниёт. По хаскельному будет видно где можно упростить и отрефачить.
Может быть математическая. Как понять? В чём вообще разница?