您是否使用规范来获取静态类型如利益？这些限制有哪些？

Question

在静态语言中看待类型声明的一个方法是将其视为一种测试，它可以选择可能的不兼容代码路径。例如，数据传送给代码不兼容。

在静态语言中，由于声明与代码内联，测试的工作量减少，推理允许一些注释渗透 - 虽然如此，但似乎 Clojure 的 spec 功能可以用来取得类似的结果。

您是否使用规范来获取静态类型如利益？这些限制有哪些？

编辑：将此内容为一个问题和我的想法移至 gists...

https://gist.github.com/olivergeorge/9ae12592b49f8da4d911650b793dcbda

Answer 1

你能总结一下你在这里实际上提出了什么问题吗？

我读完了整篇文章，但这似乎更像是一组观察而非可在此回答的问题。

Comments

感谢您花时间阅读。

我感兴趣的是探讨在提供静态类型的一些好处时，spec检查的价值和限制。

也许我的方法太过于开放。

这是不是一个鼓励讨论成功技术和注意事项的地方？

编辑：我已经更改了标题。

---

就像Quora和StackOverflow，这是一个提问和获取答案的地方 -- 但我实在不知道你在问什么问题。我认为如果你能够编辑它，使其更专注于你要询问的问题，这样人们就会清楚地知道应该回答什么，这将有所帮助。

我认为clojure.spec与静态类型不可比，所以即使新标题用疑问词表述，我也不知道应该怎么回答（我们自clojure.spec的第一个alpha构建以来就已经是一个非常重度用户了）。

---

我将我的想法重新编排并移动到了一个gist...

https://gist.github.com/olivergeorge/9ae12592b49f8da4d911650b793dcbda

---

好了，问题现在清晰了。我很想看看你会得到什么答案！

---

我认为应该将要点链接到问题中。

---

完成了。谢谢。

Answer 2

因为你还没有收到任何问题的答案，我将把我的最新博客文章链接放到这里

https://corfield.org/blog/2019/09/13/using-spec/

如你所见，这篇文章最初是为Quora上一个关于Spec的更加开放的问题而撰写的。