tla typeof:tla edn的用法示例 源码

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