functoria:DSL来调用超凡的函子

时间:2024-05-29 08:00:29
【文件属性】:

文件名称:functoria:DSL来调用超凡的函子

文件大小:63KB

文件格式:ZIP

更新时间:2024-05-29 08:00:29

OCaml

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


【文件预览】:
functoria-master
----.travis.yml(678B)
----functoria-runtime.opam(1KB)
----dune-project(33B)
----tests()
--------dune(292B)
--------test_core.ml(6KB)
--------test_core.mli(12B)
--------app()
--------test_full.mli(12B)
--------test_full.ml(9KB)
--------lib()
----app()
--------dune(195B)
--------functoria_command_line.mli(4KB)
--------functoria_command_line.ml(9KB)
--------functoria_app.ml(32KB)
--------functoria_app.mli(5KB)
--------functoria_graph.ml(13KB)
--------functoria_graph.mli(3KB)
----CHANGES.md(6KB)
----LICENSE.md(821B)
----.gitignore(46B)
----functoria.opam(1KB)
----lib()
--------dune(139B)
--------functoria.ml(10KB)
--------functoria.mli(12KB)
--------functoria_misc.ml(4KB)
--------functoria_key.mli(10KB)
--------functoria_misc.mli(2KB)
--------functoria_key.ml(13KB)
----Makefile(511B)
----README.md(5KB)
----runtime()
--------dune(119B)
--------functoria_info.ml(887B)
--------functoria_runtime.mli(3KB)
--------functoria_runtime.ml(3KB)
--------functoria_info.mli(1KB)

网友评论