sml

sml

文章 0 浏览 4

SML - 如何通过树的后序扫描创建列表

如何在 SML 中实现获取树并返回列表的函数。该列表由根据树的后序扫描的树节点中的值组成。 树数据类型是: datatype 'a Tree = Leaf | Branch of 'a …

清醇 2024-11-04 07:24:49 7 0

将 ML 风格的模块添加到 Haskell 的主要理论困难是什么?

众所周知,Haskell 风格的类型类和 ML 风格的模块提供了不同的机制来指定接口。它们的权力(可能)相当,但实际上每个都有自己的优点和缺点。 由于我…

你的呼吸 2024-11-01 21:50:13 8 0

一个非常基本的 SML 问题,我似乎无法弄清楚(小代码)

只是一个基本的卡萨密码。我已经测试了所有的子函数,只是 encryptChar() 不是特别有效。我得到一个无限循环。它应该是递归的。这是所有代码: fun re…

甜心 2024-11-01 18:22:04 4 0

如何访问元组的随机成员?

我想访问元组的随机成员,但不确定如何将 #n 设置为变量。 这是我的代码: val lis = ("a","b","c","d") val randNumber = Random.randRange (1,4) (R…

笙痞 2024-11-01 04:22:43 4 0

smlnj中开启骑士之旅(回溯)算法

我必须编写SML代码来解决回溯中的骑士之旅问题。国际象棋骑士必须在棋盘上跑遍(大小:NxN),并且必须恰好访问每个方格一次(不需要最后回到第一个方…

椵侞 2024-10-31 21:39:15 2 0

SML 到 Haskell 的转换

将 SML 代码转换为 Haskell 的一些基本问题。 1)我习惯于在SML代码中使用本地嵌入表达式,例如测试表达式、打印等,它们在加载(评估)代码时进行本…

往事随风而去 2024-10-31 09:51:11 2 0

拆分列表的函数应该叫什么?

我想编写一个函数,根据哪些项目满足给定属性 p 将列表拆分为子列表。我的问题是如何调用该函数。我将在 Haskell 中给出示例,但在 F# 或 ML 中也会出…

遗弃M 2024-10-26 08:46:53 3 0

阶乘函数输入int,输出real?

这绝对让我发疯。我能想象到的最简单的事情我却做不到。 我只想计算阶乘输入一个整数并输出一个实数。 我尝试过以多种方式强制。 fun factorial 0 = 1…

菊凝晚露 2024-10-25 19:59:13 5 0

在 OSX 10.6 下运行 smlnj 时出现问题

我从此处使用 x86 的 DMG 下载并安装了 SML NJ 实现: http://smlnj.cs.uchicago.edu/dist/working/110.72 /index.html 但是,当我打开终端窗口并转到…

中性美 2024-10-24 20:37:33 6 0

以 SML 格式打印到标准输出

datatype term = node of string*term list | vnode of string 我有一个 term 类型的值。如何以 SML 格式将其打印到标准输出?…

与酒说心事 2024-10-22 22:27:37 1 0

在sml中使用操作(smlnj windows当前目录在哪里)

我从未在 Windows 机器上使用过 SML(之前在带有 emacs 的 unix 机器上使用过)。 在我的一生中,我在 sml 环境中找不到当前目录。如果我尝试:使用“…

女中豪杰 2024-10-22 18:47:17 5 0

sml懒人悬尾

我正在查看一些笔记,然后我意识到有些不对劲。 当模拟延迟计算(没有 open Lazy;)时,可以对一串流执行以下操作。 datatype 'a susp = Susp of (uni…

世界如花海般美丽 2024-10-21 23:19:36 3 0

使用流的 SML 惰性排序 int 列表

问题 1 流和惰性评估(40 分) 我们知道比较排序至少需要 O(n log n) 次比较,其中对 n 个元素进行排序。假设对于某个函数 f,我们只需要排序列表中的…

書生途 2024-10-21 22:32:01 4 0

SML - 列表替换函数的迭代翻译

我相信我在将第一个函数转换为仅使用赋值和循环方面处于正确的轨道上。我知道这违背了函数式编程,但这是教授想要的。 递归函数: fun sub (x, y, [])…

失与倦" 2024-10-21 00:40:11 3 0

ML赋值操作

大家,以下 ML 作业之间有什么区别, val n = 5; 以及 n := 1; …

缺⑴份安定 2024-10-20 08:25:54 6 0
我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
原文