typeclasses:Elm的显式类型

时间:2024-06-18 03:53:33
【文件属性】:

文件名称:typeclasses:Elm的显式类型

文件大小:16KB

文件格式:ZIP

更新时间:2024-06-18 03:53:33

Elm

概括 他们说 Elm 不支持类型类。 它们的实际意思是它不支持隐式值。 可以将类型类定义为记录,并将其实例提供为显式值。 Elm 有问题,类型类可以解决这些问题。 这个包旨在做到这一点。 动机 当涉及到泛型操作时,Elm 在其设计上有一个粗略的优势:编译器提供了几个函数,可以神奇地泛化数字、可比较和可附加类型(有关详细信息,请参阅)。 这带来了几个后果: 您只有一组有限的预定义通用 API,它们只是数字、附加和比较操作: 您不能向自定义类型添加对此类 API 的支持; 您不能定义新的通用 API,例如:散列函数、自定义字符串转换、二进制编解码器、用于模糊测试(又名属性测试)的任意值生成器。 因为Set要求它的元素是可比较的,所以它限制你使用Int 、 Float 、 Char 、 String和这些值的列表/元组。 你不能在那里有自定义类型。 这不仅仅是Set 。 通常,您可以


【文件预览】:
typeclasses-master
----src()
--------Typeclasses()
----LICENSE(1KB)
----elm.json(909B)
----README.md(5KB)

网友评论