SML 如何检查变量类型？
有什么方法可以检查/测试变量的类型吗？ 我想这样使用它： if x = int then foo else if x = real then bar else if x = string then ... else ..... …
机器学习新手：如何存储 a* a* a* 类型的返回值
我有一个返回 int*int 的程序 （用于说明目的的示例）： fun program(a,b) = (1,2) 我想做一些类似的事情： 趣味节目(a,b) 如果 a = 0 则 (1,2) 否则 …
SML如何在char列表上返回int？
我有点难以弄清楚如何将每个处理后的字符恢复为 int 值。 该函数应该像这样工作： val caesar = fn : int * int -> int 所以如果 k = 2466 且 n = 2…
标准 ML：返回不同类型
我需要根据传递到另一个函数的函数返回不同的值。 因此，鉴于： fun inc x = x + 1 并且： fun double([]) = [] | double(h::t) = 2 * h :: double(t)…
ML 中类型表达式的查询
所有， 这是我需要转换为 ML 表达式的类型表达式： int -> (int*int -> 'a list) -> 'a list 现在我知道这是一个带有 2 个参数的柯里化风格表达…
SML/NJ 不完全匹配
我想知道人们如何处理 SML/NJ 编译器中的非详尽匹配警告。例如，我可以定义一个数据类型 datatype DT = FOO of int | BAR of string ，然后有一个我知…
将标准 ML 中的列表中的元素插入树中
我刚刚开始自学 SML，并被教程中的一个问题所困扰。 假设我有： 树数据类型 datatype node of (tree*int*tree) | null 插入函数 fun insert (newItem,…
从命令式编程到函数式编程的转换 [Python 到标准 ML]
我有一个函数规范，指出它应该评估一个变量的多项式函数。函数的系数以列表形式给出。它还接受变量的实数值。 例如： eval(2, [4, 3, 2, 1]) = 26 (1*…
如何在标准机器学习中创建惰性树
我想在标准 ML 中实现一棵惰性树，并 datatype tr = N of int * unit->tr * unit->tr 尝试将其用作 fun form k = N(k,fn()=>form(k+1),fn()=>…
数据类型问题中的标准 ml 函数
我必须创建一个有关 peano 数的函数，定义为以下数据类型： datatype 'a peano = P of ('a -> 'a) * 'a -> 'a val zero = P(fn (f, x) => x) 我…
将字符串转换为标准 ML 中的列表
可能的重复： 在 ML(SMLNJ) 中打开文件 我有一个字符串值，其值如下： "[(1,2,3),(2,3),(6,8)]" -> string 但我想要像这样 int 类型的这些值： [(1…
SML 中作为返回值和值限制的多态函数
基本上，我想要一个函数来返回多态函数，如下所示： fun foo () = fn x => x 所以 foo 函数接受一个类型为 unit 的值并返回一个多态恒等函数 编译器…
