functoria:DSL来调用超凡的函子

该存储库已弃用-改为查看 Functoria-用于组织函子应用程序的DSL 这个是来做什么的？ Functoria是一种DSL，用于描述一组模块和函子，它们的类型以及如何应用它们以产生完整的应用程序。 主要用例是海市rage楼。 有关详细信息，请参见存储库。 如何写配置文件？ 有许多配置文件的示例。 即使在海市rage楼的背景下，它们中的大多数也应该是相当笼统且可以理解的。 我们可以在config.ml区分两个部分：定义新模块并使用它们。 为了定义一个新模块，我们使用foreign函数。 在它的各种参数中，它采用模块名称和类型。 该类型与DSL的组合器和@->运算符组合在一起，后者表示函子箭头。 let main = foreign " Unikernel.Main " (console @-> job) 在这里，我们声明函子Unikernel.Main ，该函数采用一个应为c