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…
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…
如何在 SML 中打印类型信息？
在 SML 中执行命令后，将返回“it”，其中包含从命令返回的数据和类型。 例如： false val it = false : bool 假设我在一个程序中有一个绑定，如下所…
SML 函数调用不会将参数解析为参数
我在调用 SML 函数时遇到了似乎是优先级问题，替代： fun substitute v new (typevar q) = ... 我从另一个函数调用它： fun new_type_vars (typevar v…
如何自定义 SML/NJ 交互循环？
我是标准 ML 的新手，我正在尝试了解 SML/NJ 运行时环境。 我想根据我的需要调整它。 具体来说，我想： 默认使用 IntInf 防止它截断字符串和 IntInf …
