有可能表达这样的事情:
type id = int > 0
我知道它不可能静态地执行,因为这意味着F#具有依赖类型.在C#中,我习惯于使用代码契约来执行此类操作并获得运行时实施.我正在寻找类似的东西.
谢谢
编辑:感谢所有有各种利弊的答案.在那里,我只使用F#的一小部分,这是ocaml核心的一个子集,可以很容易地编程证明.所以没有课程.
f#
f# ×1