SML/ML Int 到 String 的转换
我有这样的代码： datatype 'a Tree = Empty | LEAF of 'a | NODE of ('a Tree) list; val iL1a = LEAF 1; val iL1b = LEAF 2; val iL1c = LEAF 3; va…
SMLNJ 在输出中展开#
我有以下内容： val it = DATAX ("hello",DATAX ("world",DATAX #,DATAX #),... 有没有办法让 SMLNJ 解释器展开“#”，以便我可以看到确切的数据是什…
机器学习新手：如何存储 a* a* a* 类型的返回值
我有一个返回 int*int 的程序 （用于说明目的的示例）： fun program(a,b) = (1,2) 我想做一些类似的事情： 趣味节目(a,b) 如果 a = 0 则 (1,2) 否则 …
将字符串转换为标准 ML 中的列表
可能的重复： 在 ML(SMLNJ) 中打开文件 我有一个字符串值，其值如下： "[(1,2,3),(2,3),(6,8)]" -> string 但我想要像这样 int 类型的这些值： [(1,2…
SML 中作为返回值和值限制的多态函数
基本上，我想要一个函数来返回多态函数，如下所示： fun foo () = fn x => x 所以 foo 函数接受一个类型为 unit 的值并返回一个多态恒等函数 编译器对…
在 ML(SMLNJ) 中打开文件
我需要读取 ML (SLMNJ) 中的文件并将其保存在某些结构中。我需要读取一些指向图形声明的数据：（ [( 1 , 2 , 13 ),( 2 , 3 , 3 ),( 2 , 4 , 8 ),( 2 ,…
SML/NJ - 模式匹配动态类型
是否可以编写具有动态类型输入参数的函数？ 我尝试过模式匹配，但显然它不能像这样工作。 我想做这样的事情： fun firstStr (0,n:string) = n | first…
