【文件属性】：
文件名称：UnionType:伊德里斯的UnionType
文件大小：17KB
文件格式：ZIP
更新时间：2024-05-30 23:36:08
Idris
联合类型
UnionType的开发目标是为Sum类型提供较不冗长的替代方案。 它与Haskell 软件包有相似之处。
虽然总和类型将导致类似以下内容：
record Whiskey where
constructor MkWhiskey
age : Nat
record Beer where
constructor MkBeer
type : String
data StandardAlcohol
= AlcoholWhiskey Whiskey
| AlcoholBeer Beer
unionType建议以下替代方法：
record Whiskey where
constructor MkWhiskey
age : Nat
record Beer where
constructor MkBeer
type : String
Alcohol :
【文件预览】：
UnionType-master
----union_type.ipkg(649B)
----.gitignore(21B)
----examples()
--------TypedArity.idr(4KB)
--------TypedAlacarte.idr(2KB)
--------Alacarte.idr(4KB)
--------Alcohol.idr(1KB)
----Readme.md(1KB)
----src()
--------Data()