我能否使用 spec 作为类型提示？

Question

模式的一个酷特性是它很好地与类型提示一起工作，
因此我可以用它进行验证、编译器优化和文档，直接在函数上使用。我想知道是否可以用 spec 做同样的事情，如果能，请给出一个真实示例。谢谢！

Answer 1

目前不可以使用 specs 作为类型提示。