文件名称：elm-refine:榆树的细化类型
文件大小：16.09MB
文件格式：ZIP
更新时间：2024-05-18 20:22:51
HTML
榆精 elm-refine将是Elm的类型检查器，它会引入优化类型。 它是计算机数学硕士学位论文的一部分。 什么是优化类型？ 让我们看下面的例子。 {- | @refine \int -> int /= 0 -} type alias IntWithoutZero = Int dividedBy : IntWithoutZero -> Int -> Int dividedBy a b = b // a 3 |> dividedBy 0通常将返回0 ，但是使用此类型检查器现在将引发错误： dividedBy expected the first element to be an IntWithoutZero but was given an Int instead. Hint: I can't convert 0 to IntWithoutZero because 0 /=