是否有一种类型化的编程语言，可以像下面的两个示例一样约束类型？
概率是一个浮点数，最小值为0.0，最大值为1.0。
type Probability subtype of float
where
max_value = 0.0
min_value = 1.0
离散概率分布是一个映射，其中：键都应该是相同的类型，值都应该是概率，并且值的总和= 1.0。
type DPD<K> subtype of map<K, Probability>
where
sum(values) = 1.0
据我了解，Haskell或Agda不可能做到这一点。
本文收集自互联网，转载请注明来源。
如有侵权，请联系[email protected] 删除。
我来说两句