smlnj

smlnj

文章 0 浏览 2

打开 SML 文件 - 使用失败

我使用以下命令在“SML of New Jersey”中打开了一个文件:use "c:\\work.sml",它给了我下一个问题: [openning c:\\work5.sml] [use failed: Io: op…

远昼 2024-11-10 04:35:47 0 0

与“SML of New Jersey”合作

我下载适用于 Windows Vista 的“新泽西州的 SML”。 我正在处理在 c 库中调用“a.ml”的 ML 文件。 现在我想将文件中的所有命令加载到解释器中,但我…

你在看孤独的风景 2024-11-09 23:46:18 0 0

SML 中的无限序列

我必须编写一个接收序列(有限或无限)并返回相同序列的函数,唯一的区别是,如果在序列期间发生异常,则该函数将序列返回到其开头。 换句话说,该函…

杀お生予夺 2024-11-09 05:15:21 1 0

令人困惑的类型声明?

我已经有一段时间没有使用 SML 了,我遇到了这行代码: type memory = string -&gt int 这是否将“内存”定义为一个接受字符串 a 返回 int 的函数,或…

昇り龍 2024-11-06 09:52:25 0 0

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

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

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

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

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

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

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

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

菊凝晚露 2024-10-25 19:59:13 0 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 1 0

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

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

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

sml懒人悬尾

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

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

ML赋值操作

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

缺⑴份安定 2024-10-20 08:25:54 2 0

标准ml值限制误差

您好,我需要帮助理解为什么我在这段代码中遇到值限制错误,以及如果可能的话如何解决它。 特别是在 val cnil 中,我试图创建一个空的 CLIST 结构来与…

小嗷兮 2024-10-19 23:55:42 2 0

标准 ML/CML 错误运算符 - 操作数错误

我正在尝试使用标准 ML 的 CML 扩展来实现并发列表,但我遇到了错误,这可能与我是标准 ML 的新手有关。我已将 clist 实现为具有输入和输出通道,并将…

公布 2024-10-19 08:28:53 1 0

SML-NJ,如何编译独立可执行文件

我开始学习Standard ML,现在我尝试使用新泽西编译器的Standard ML。 现在我可以使用交互式循环,但是如何将源文件编译为独立的可执行文件? 例如,在…

挖鼻大婶 2024-10-18 03:07:57 1 0

增加 SML/NJ 中的打印深度

我正在尝试让 SML/NJ 在顶层打印出结果,而无需 到处都放#号。 根据一些旧文档(以及 2001 年发布到该新闻组的帖子), 应该可以使用 Compiler.Contro…

为你拒绝所有暧昧 2024-10-18 02:26:53 3 0
更多

推荐作者

1CH1MKgiKxn9p

文章 0 评论 0

ゞ记忆︶ㄣ

文章 0 评论 0

JackDx

文章 0 评论 0

信远

文章 0 评论 0

yaoduoduo1995

文章 0 评论 0

霞映澄塘

文章 0 评论 0

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