OA
пример: сисколы
Size: a a a
2020 March 09
DF
Контракты бывают и внутренние
DF
Например в ядре винды
OA
ну вот я и говорю
DF
И здесь типизация решает хорошо
OA
если ты - ядро - ты хочешь обмазаться контрактами и типами
DF
Но не в Винде кек
OA
но наружу будут все равно сисколы
OA
которые по сути мессаджи
OA
и голимые буферы
DF
Это необязательно
DF
Можно сделать типизированные сисколы
OA
потому что даже в няшном свифте, где дженерики могут быть динамическими, как только ты экспортируешь интерфейс, у тебя non-frozen АДТ сразу в режиме resilience:on и везде нужен non-exhaustive matching
DF
Например микроядро с системой типа виндового кома
OA
кстати, в расте тоже
DF
Ком позволял статически связывать компоненты
DF
С поддержкой типизации
OA
не уверен что КОМ остался в нашей памяти как большой успех
DF
Ну я его видел примерно как он устроен
DF
Тот же Мигель де иказа им вдохновлялся