sml 相关问题

标准ML是一种带有类型推断的高级函数语言。

在SML中将int转换为real

SML的新手我有以下代码返回列表的绝对值。我需要它是类型int列表 - >真实列表。我在哪里放置将其转换为真实的语句...

sml

回答 1 投票 2

如何创建一个将两个列表作为args的函数，如果第二个列表存在于第二个列表中，则返回true？

我必须在sml / nj中写这个我试了一下这就是我所做的：我希望all函数在运行函数时返回一个正数但是例如当我给[1,2,3] [1 ，1,2,3,1,2,3,1] ......

sml smlnj

回答 1 投票 0

在SML中使用二进制映射数据结构的问题

我想在SML中创建一个带有多个节点的有序映射。我到目前为止找到的所有内容都存在于此：https：//www.smlnj.org/doc/smlnj-lib/Manual/binary-map-fn.html。所以，我正在尝试像......

sml smlnj

回答 1 投票 -1

调用另一个函数的函数

假设我有两个SML函数Ping和Pong。我的代码是这样的：val arr = Array.array（10,0）fun Ping（arr，_，[]，_）= true | Ping（arr，0，（x :: xs），ping_list）= Ping（arr，1，xs，Pong（arr，ping_list，10））//

sml smlnj

回答 1 投票 1

在SML中重新定位元组元素的更短方法

目前，我在我的一个函数中使用了这样的东西:(所有变量都用于更复杂的函数，但是对于我将要求它并不重要而且我简化了）有趣的RecursiveCall（p，...

sml smlnj

回答 2 投票 0

空列表列表的模式匹配

我正在为大学做家庭作业，我正面临一个webassign门户网站的一个奇怪的问题（你把你的代码放入，并检查一切是否正常）。我们需要编写一个函数来...

sml ml

回答 1 投票 1

在SML中实现更快的Fifo

可以有一个Fifo的实现，支持其功能的一个子集，即Enqueue，Dequeue，isEmpty，并且初始化为空，一般是'一个对象，使用某种可变的...

sml mutable smlnj

回答 1 投票 0

这个定义的函数有什么问题？

任何人都可以帮忙吗？如果u1 <0.5那么它发布一个错误乐趣的缺陷（l1：real，l2：real）= let val u1 = uniform（0.0,1.0）val u2 = uniform（0.0,1.0）val l = l1 /（l2-l1） val h = ~ln u2 / l1 else val h =〜ln u2 / l2 ...

sml

回答 1 投票 -8

模式匹配冲突

我在sml程序中遇到模式匹配问题。我的代码是这样的：有趣的ff（arr，_，[]，_）= [] | ff（arr，0，（x :: xs），ping_list）= ping_list | ff（arr，K，（x :: xs），ping_list）= ...

sml

回答 2 投票 0

VSC中的SML REPL

我试图在Visual SC编辑器中使用SML / NJ，但无法弄清楚如何在VSC中运行SML REPL。我在VSC中安装了SML扩展，但没有任何文档可用于如何在VSC中配置SML？ ...

visual-studio-code sml vscode-settings

回答 1 投票 2

如何在SML中更新记录值？

我正在编写SML程序来更新列表中的记录。例如，我输入了person_name。 type person_name = {fname：string，lname：string，mname：string}然后我有person_bio，其中有person_name ...