文件名称：tla-typeof:tla-edn的用法示例
文件大小：6KB
文件格式：ZIP
更新时间：2024-04-11 06:42:01
TLA
TLA Edn的用法 在这里，我们将基于称为TypeOf创建一个新的运算符。 这将是一个快速的讨论。 您应该至少了解一点TLA +。 对于Clojure，那里有大量的文档资料，请随时阅读。 这将是使用覆盖的运算符，该运算符返回值类型（此处只是一个字符串）。 当然，对于这样一个简单的示例，您可以毫无问题地使用Java，但是我们想展示其用法，因此暂时不要置疑。 启动REPL并在comment内评估spec/run行，您应该有类似以下内容 [ " TLC2 Version 2.15 of Day Month 20?? " " Running breadth-first search Model-Checking with fp 101 and seed -8784868898657545149 with 1 worker on 16 cores with 16384MB heap and
【文件预览】：
tla-typeof-master
----deps.edn(260B)
----src()
--------tla_typeof()
----Example()
--------Eita.tla(611B)
--------Eita.cfg(66B)
--------Types.tla(251B)
----README.adoc(4KB)
----Makefile(225B)
----pom.xml(972B)
----resources()
--------Types.tla(177B)
----.gitignore(49B)