我试图做一个函数在标准的ML，需要2个参数，并返回一个布尔，和2参数可以是任何类型，在规范中它被写为'a * 'a -> bool，但每当我尝试它，它使2参数自动整理。我怎样才能让这个函数有2个参数类型'a。 以下是函数香港专业教育学院一直在努力执行： fun lessThan (a, b) =
if a < b then true
else false;
但是写上述功能之
我试图做一个函数在标准毫升，需要一对int值的列表，我应该返回一个int列表，其中包含来自对的最大元素。 (int * int) list -> int list。到目前为止，我已经编写了一个代码，但它不起作用，我似乎无法从它给出的错误中找出问题。 下面的代码： - fun maxpairs x =
= foldr (fn (a, b) => if a > b then a else b) []
我做的类型数量数据类型，它可以是一个int或真实的，我需要的功能，增加了2个号型的“数字”，而我在使用是什么问题用定义这样的语法的语法，我尝试了以下，但似乎没有工作。 代码我写的有以下几种，下面的代码是这样写的检查功能识别电量为数字类型： fun plus n:number = "type number";
fun plus n:I = "type int of number";
fun
我想为在标准ML一个新的数据类型的功能，数据类型intnest叫，定义如下添加元素： datatype intnest =
INT of int
| LIST of intnest list;
，我想打一个功能在intlist中添加了所有整数，我尝试了以下代码： fun addup (INT n) = n
| addup (LIST x::xs) = x + addup(
我想制作一个函数标准ml，它需要一个列表和函数，并使BST不在列表中。该函数的类型是：'a list -> ('a * 'a -> bool) -> 'a tree，但我有一些问题吧，下面是我写的代码： datatype 'data tree =
EMPTY
| NODE of 'data tree * 'data * "data tree;
fun makeBST [] f =
我正在为分数编写一个简单的抽象数据类型，并且我甚至无法让构造函数工作，我只是在SML语法上迷失了方向。 signature fracs = sig
type fraction
exception zero_denominator
(* constructor *)
val // : int * int -> fraction
/**************************