Capability-Based Security, Linear Types

[emil14]

https://roscidus.com/blog/blog/2023/04/26/lambda-capabilities/

---

• https://en.wikipedia.org/wiki/Supply_chain_attack
• https://en.wikipedia.org/wiki/Capability-based_security

[emil14]

В данной системе вводится новый вид данных — типы, запрещающие копирование ссылки на объект
Подробнее: https://cyclowiki.org/wiki/%D0%9B%D0%B8%D0%BD%D0%B5%D0%B9%D0%BD%D1%8B%D0%B5_%D1%82%D0%B8%D0%BF%D1%8B

Любой тип может иметь модификатор линейности (в clean она называется "уникальностью") - скажем Int и *Int. "Уникальность" означает, что на данное значение в данный момент времени существует единственная ссылка (а система типов это гарантирует) - если примитивно - то переменную уникального типа можно передать параметром только один раз функцию, а система типов этот контроль обеспечивает (в первом приближении - проверяя что все ее испльзования взаимоисключающие с точки зрения потока данных).

[emil14]

https://roscidus.com/blog/blog/2023/04/26/lambda-capabilities/

Тут другое и попроще

Любая функция только явно через аргументы которые мы ей передали. Если мы ей передали net значит

1. Мы сразу видим, что она его принимает и, следовательно, может делать сетевые вызовы
2. Раз передали, значит, сами обладаем этим

Также добавляем сюда идею, что все эти сайдэффектовые штуки приходят с самого верхнего уровня из main и таким образом легко отследить что программа юзает