我公开了一个带有两个参数的函数，一个是最小界限，另一个是最大界限。例如，如何使用类型确保最小界限不大于最大界限？
我想避免创建一个智能构造函数并返回 Maybe，因为它会使整个使用更加麻烦。
谢谢
这并不能完全回答你的问题，但有时有效的一种方法是改变你的解释你的类型。例如，代替
data Range = {lo :: Integer, hi :: Integer}
你可以用
data Range = {lo :: Integer, size :: Natural}
这样，就无法表示无效范围。
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
