Clojure安全:信息流+能力系统

Question

摘要

是否有类似于http://en.wikipedia.org/wiki/E_programming_language的DSL在Clojure中存在？

背景

我知道：

• http://bit.ly/N4jnTI和http://bit.ly/Lm3SSD

但是，两者都没有提供我想要的。

上下文

我是能力系统和信息流的忠实粉丝。我想知道是否有人已经为这两种技术开发了Clojure DSL。以下是理想的做法：

• 所有对象都有一些标记(例如在它的元表中)，它列出了当我想以用户" foo“的身份运行查询时，谁具有对对象的访问权限，我设置了一个上下文变量”现在，只使用foo的功能“--然后当函数试图到达对象时，要么获得对象(如果foo可以访问它)，要么获得零(如果foo没有访问它的权限)。泄露有关对象存在的信息对我来说目前并不是什么大事。

问题

所以问题是--这件事做起来很容易吗？其中每个对象都有一些功能标签，我们可以在特定的标记下执行一些函数/代码，运行时系统确保没有人能够访问他们不应该访问的东西。

谢谢!

Answer 1

您可以使用元数据和先决条件来实现这一点，然后创建宏来向其添加DSL/语法，不过我建议跳过宏，只使用先决条件和元数据。

每个对象都有一个带有它的capabilities.

• Each函数列表的元数据，它有一个检查元数据的先决条件。