AZ
Типы проверяются внутри одного секьюрити домена.
не понимаю что ты хочешь сказать
Size: a a a
2020 March 09
AZ
ты знаешь как в сингулярити/мидори устроена система безопасности?
AZ
обжект капабилити, вот это все?
OA
Обжект капабилити это прекрасно
AZ
Обжект капабилити это прекрасно
так вот в сишке этого нет. А в нормальных системах типов - есть
AZ
короче полезное чтиво
AZ
у него один фатальный недостаток - нет защиты от сайд аттак
AZ
но это вряд ли релевантно обсуждению
OA
А трейты во что компилятся и когда?
Всегда мономорфизация или в каких-то случаях рекорд-пассинг?
Всегда мономорфизация или в каких-то случаях рекорд-пассинг?
DS
А можно библиотеки слинковать статически, если хочется?
OA
А можно библиотеки слинковать статически, если хочется?
Да
OA
И с whole module optimization
p
Вот что ответили
OA
так вот в сишке этого нет. А в нормальных системах типов - есть
Обжкап - это несомненно лучший вариант ооп, но он не отменяет динамический диспатч. То, с чего я начал, «снаружи интерфейс, а мутабельность - личное дело объекта», остается. И штуки типа move semantics нужно дизайнить как банк, что не оч масштабируется.
OA
Т.е. внутри одного процесса компилятор может все проверить и в зерокост сделать мемкопи, а между процессами нужно держать табличку с аккаунтами и балансами
OA
Чтоб копию жетона второй раз отфутболить
AZ
Обжкап - это несомненно лучший вариант ооп, но он не отменяет динамический диспатч. То, с чего я начал, «снаружи интерфейс, а мутабельность - личное дело объекта», остается. И штуки типа move semantics нужно дизайнить как банк, что не оч масштабируется.
если мутабельность личное дело - почему ты настаиваешь чтобы она была?
Т8
блядь, хуй чё понятно, лучше б это было на английском