Я думал о Safe Haskell, и мне интересно, насколько я могу доверять ему?
Некоторые вымышленные сценарии:
-
Я немного хакер, пишущий программируемую игру (думаю Robocode), где я разрешаю другим программировать свои собственные сущности, чтобы конкурировать друг с другом. Большую часть времени пользователи будут запускать некоторые ненадежные программы на частных машинах. Неверный код, вероятно, будет проверен перед его запуском.
-
Я программист приложения, которое используется несколькими клиентами. Я предоставляю api, чтобы они могли расширить функциональность и побудить моих пользователей делиться своими плагинами. Сообщество пользователей небольшое, и большую часть времени существует взаимное доверие, но иногда кто-то работает над совершенно секретным проектом клиента, и любые dataleaks оказались бы катастрофическими.
-
Я... Google (или Facebook, Yahoo и т.д.) и хочу разрешить моим клиентам script их учетные записи электронной почты. Скрипты загружаются и запускаются на моих серверах. Любые нарушения доступа будут фатальными.
Учитывая эти сценарии:
- Безопасный Haskell должен быть подходящим для обеспечения песочницы и ограничения доступа?
- Если кто-то в данных ситуациях может доверять promises?