o组合操作符(如val x = foo o bar,其中foo和bar都是函数),只能用于单参数函数和/或参数数量相等的函数吗? 如果不是,那么如何将foo(x,y)与bar(x)组合起来的语法是什么。
例如: vagrant@precise32:/vagrant$ rlwrap sml Standard ML of New Jersey v110.76 [built: Mon May 12 17:11:57 2014] - TextIO.StreamIO.inputLine ; [auto...
我刚开始学习SML中的函数式编程,我想知道如何将以下两个函数合并为一个函数。函数isolate使用辅助函数'removes'来删除任意类型('a)列表的重复项。 fun isolate [] = [] | isolate (l as x::xs) = x::isolate(remove(...
我刚接触SML,在调试时通常会打印变量以查看它是否与我预期的相符。我想要在函数内部打印出一个变量。现在我有以下代码:function header.. let val prod val prod = c + x * y; in (print "product "; prod mod ...
我正在使用Mac OSX 10.7.5,但似乎无法下载带有REPL的可用的Standard ML编译器。这是应该很困难吗?有最好的ML我应该下载吗?我已经尝试过SML / NJ和MLton但都没有成功。
考虑以下 SML 函数: fn x => x x 这会产生以下错误(New Jersey标准ML v110.72): stdIn:1.9-1.12 Error: operator is not a function [circularity] operator: 'Z i...
我是SML的新手(实际上也是编程的新手)。 fun readlist (infile : string) = let val ins = TextIO.openIn infile fun loop ins = case TextIO...