haskell - 将数字限制在一个范围内(Haskell)

Question

我公开了一个带有两个参数的函数，一个是最小界限，另一个是最大界限。如何使用类型确保例如最小界限不大于最大界限？

我想避免创建一个智能构造函数并返回一个 Maybe，因为它会使整个使用变得更加麻烦。

谢谢

Answer 1

这并不能完全回答您的问题，但有时有效的一种方法是改变您对类型的解释。例如，而不是

data Range = {lo :: Integer, hi :: Integer}

你可以使用

data Range = {lo :: Integer, size :: Natural}

这样，就无法表示无效范围。