sml - 数据类型的未绑定(bind)类型构造函数

标签 sml smlnj

如果我初始化了 int*int 的数据类型 dataype dd = DAT,如何为函数初始化该类型。

最佳答案

该类型称为 Cint,而不是 CI,因此您必须在需要类型的地方使用 Cint:

fun cadd(a:Cint, b:Cint) =

或者,如果您想继续使用数据类型构造函数 CI,则可以使用不同的语法(涉及模式):

fun cadd(a as CI _, b as CI _) =

关于sml - 数据类型的未绑定(bind)类型构造函数,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/52777248/

相关文章:

functional-programming - SML/NJ 新手。从列表列表中添加数字

pattern-matching - 未解析的 flex 记录(需要知道此上下文中所有字段的名称)

sml - SML 中的 If Else 中的多个语句

sml - 如何在标准 ML 中构造一个只有一个元素的元组?

local - SML 中 "local"和 "let"之间的区别

SML - 未捕获的异常为空

sml - SML中的 curry 匿名函数

sml - 如何使用减号而不是波浪号将负整数转换为 SML 中的字符串?

recursion - 仅使用映射和折叠在 ML 中实现 powerset 函数

list - 合并 SML 中的无限列表