ml

0热度

1回答

ML中的数据类型声明

我在回顾一下我们在课堂上做过的一些Scheme到ML的转换，我对我们为什么（或没有）做了些什么感到困惑。第一次ML代码变为： fun sub(x,y,nil) = nil | sub(x,y,z1::z2) = if (x = z1) then y :: sub(x,y,z2) else z1::sub(x,y,z2); 第二届一个变为： datatype InputType=Nul

function types ml 2013-11-20

---

1热度

1回答

该代码的工作原理是什么？

我知道代码是如何工作的，除了X变量这里：有些Y => SOME（X :: Y） fun same_string(s1 : string, s2 : string) = s1 = s2 fun all_except_option (str, xs) = case xs of [] => NONE | (x::xs') => case (same_strin

functional-programming pattern-matching sml ml 2013-11-21

---

1热度

1回答

如何将类型设置为polyml中的函数参数？

我想覆盖ml的类型检测，并希望参数被允许按照指定的类型。

smlnj ml 2013-10-19

---

-2热度

1回答

ML语法功能程序

可能是什么可能的功能foo，它有一个类型 ’a * ’a -> int 在ML 。即具有以下输出类型的功能

syntax coding-style ml 2013-10-21

---

0热度

1回答

ML错误：用LPAREN替换DARROW

fun make_alt_record (stringlists, {x, y, z}) = case generate_alts (stringlists, x) of [] => {x, y, z} | alt::stringlists' => {name, y, z} generate_alts消耗一个字符串列表和一个字符串，并产生一个字符串列表。 mak

ml 2013-10-21

---

2热度

1回答

Mat，以ml为单位的训练数据opencv

我是opencv的初学者。我还没有详细了解opencv的主要概念。 所以也许我的代码太愚蠢了; 出于我的好奇心，我想尝试像KNN，ANN这样的机器学习功能。 我有一组尺寸为28 * 28像素的图像。我想要训练数字识别器。所以首先我需要组装火车和火车班; Mat train_data = Mat(rows, cols, CV_32FC1); Mat train_classes = Mat(

c++ opencv ml mat 2013-10-24

---

0热度

1回答

返回更大的元组值

我试图找到列表的模式，并返回该模式的元组以及它在列表中出现的次数。 我这有一个地步，我可以返回每个数字和之后发生的次数的列表，但它也给我出现过第一， fun counter(_, nil) = 0 | counter(a, x::xs) = if a = x then 1+counter(a, xs) else counter(a, xs); fun countList

list recursion sml mode ml 2013-10-27

---

5热度

2回答

在Python词法范围VS ML

我在一个大难题是，需要写在ML以下代码： val x = 1 fun f(y) = x + y val x = 2 val y = 3 val z = f (x + y) Z值是6。现在，如果我用Python语言编写相同的代码值的z应为7.并且两种语言都声称（实际上教授这些语言的老师声称这样）具有词法/静态范围。但它看起来像只有ML通过使用f函数时定义的函数被创建时创建的环境来调用 任

python scope sml ml 2013-10-27

---

0热度

1回答

ML不能统一“一个与诠释

的练习是代码ML的函数删除从二叉搜索树的元素。 下面的代码： datatype 'a tree = Lf | Br of 'a * 'a tree * 'a tree; fun deleteTop (Br(_, Lf, t2)) = t2 | deleteTop (Br(_, t1, Lf)) = t1 | deleteTop (Br(_, Br(v, u1, u2), t

ml polyml 2013-11-01

---

0热度

1回答

sml中的双射函数

我想定义一个函数，它接受一个整数n并返回一个整数n *，使得n和n *在1到n的整数集中，并且函数必须是双射的。 我尝试以下 fun bij(n) = let val ls = zip(upto (1, n), List.rev(upto (1, n))) val Tw_2 = fn(a, b) => b in Tw_2(List.last(ls,

sml smlnj ml 2013-11-02

---