我使用以下命令编译了以下代码：.end * m
val x : real = Math.sqrt 2.0 let val n : int = m*m m*n
end 并成功编译并运行了代码，结果如下： Standar
浏览 12提问于2021-03-28得票数 0
回答已采纳
5回答
我使用的是MacOSX10.7.5，但我似乎无法下载一个可用的REPL的标准ML编译器。这真的有那么难吗？有没有我应该下载的最好的ML。我已经尝试过SML/NJ和MLton，但都没有用。
浏览 1提问于2013-09-26得票数 6
1回答
我试图使用SML/NJ，我使用sml < source.sml来运行代码，但是它输出了太多的信息。例如，这是source.sml | fac n = n * fac (n - 1)print(Int.toString(r));Standard ML of New Jersey v110.77 [built: Tue Mar 10 07:0
浏览 1提问于2015-05-14得票数 11
回答已采纳
为了与我将要教授的一个类一起使用，我正在寻找一个用于Standard的快速编译器或字节码解释器。我正在寻找快速的编译时间；任何合理的运行时间都可以。如果编译模型简单明了，则额外奖励。班上的学生也会使用MLton来生成好的二进制文件，但是MLton的编译速度很慢，有时学生需要一些他们可以交互的东西。我已经知道的是：
新泽西的标准ML有一个交互式的读-古-打印-循环，但是它的编译规则有点奇怪，而且有点慢。不过，它可能是主要的竞争者。莫
浏览 11提问于2010-07-07得票数 8
回答已采纳
我开始学习标准ML，现在我尝试使用新泽西的标准ML编译器。另外，有没有其他的SML编译器(允许创建独立的二进制文件)？
浏览 1提问于2011-02-20得票数 49
回答已采纳
我不知道如何正确地使用该函数对SML/NJ (新泽西州标准ML )中的列表进行排序。以一个用例为例，例如排序(1,9,3,4)；以便得到1,3,4,9。
浏览 1提问于2015-10-12得票数 1
回答已采纳
1回答
我使用的是SML/NJ 110.79，它包括对后续ML项目定义的新结构的支持。其中包括结构。group is $SMACKAGE/sml-extras/v0.1.0/sources.sml.cm
但是，我得到了以下错误：Fn :3.3-3.45错误:从$SMLNJ-BASIS
浏览 11提问于2016-01-11得票数 5
回答已采纳
1回答
处理键盘中断
、、、、
我在SML/NJREPL中运行了一个最小的TCP服务器，我想知道如何在键盘中断上优雅地关闭侦听器套接字。Standard ML of New Jersey v110.76 [built: Thu Feb 19 00:37:13 2015][opening test.sml\n"; handle Interrupt => Socket.close s(然后在REPL中
浏览 5提问于2015-06-07得票数 3
回答已采纳
1回答
我试图安装一个用新泽西标准ML (SML/NJ)编写的软件。我不知道这种语言，但从逻辑上讲，我只是使用以下命令在我的机器上安装了SML/NJ：然后，该软件的作者解释说，有一个CM文件，需要编译使用CM.Make(=$SMLNJ-LIB/HTML)/html-lib.cm: unable to find $ml-yacc-
浏览 1提问于2015-10-13得票数 0
3回答
在Windows上运行标准ML
、、、、
我一直在寻找一些关于如何在windows上运行Standard ML的好文档。有谁对此有很好的指导吗？我尝试过用cygwin编译sml/nj，使用这个指南：config/install.sh: Using shell /bin/sh.config
浏览 6提问于2012-04-11得票数 4
回答已采纳
Q1:，有人知道对伊莎贝尔/ML是否有魔力吗？我有一个很大的计划来学习Scala，在那里我的主要应用程序将处理一个THY来生成一个TEX文件。所以，我要大转换到Isabelle/ML，因为学习ML的几个月，以及正在进行的对它的研究，将成为一个巨大的工具，我可以用来证明伊莎贝尔的证据，以及语法之类的低级设置。我之所以一开始没有选择ML，是因为它不具备Scala编写脚本的所有优点，但我应该能够使ML工作。
但是有一个很大的问题，那就是
浏览 8提问于2014-03-27得票数 0
回答已采纳
我以前在SML中做过一些工作，但现在我开始了解更有趣的部分。签名/结构不只是abstypes的更一般版本吗？
浏览 1提问于2011-09-04得票数 17
1回答
我需要安装ML的单元测试库。对于新泽西的标准ML，CM库规范‘qcheck.cm’应该是您所需要的。make -f Makefile.nj的默认目标将要求CM构建和稳定此库。我在Mac中使用了brew install smlnj来安装ML，所以在/usr/local/Cellar
浏览 6提问于2015-08-06得票数 2
回答已采纳
我正在复习教程.
val fourth = hd o tl o tl o tl o explode;然后被使用
浏览 2提问于2015-10-31得票数 0
回答已采纳
2回答
到目前为止，我一直在几个小项目中使用Poly，其中所有的源代码文件都在同一个目录中。要构建这些项目，我所要做的就是在REPL中运行以下命令：但是现在我有了一个项目，它的规模使得将所有源代码文件放在同一个目录中是不切实际的。有什么方法可以使在Poly中使用嵌套目录结构构建项目的过程自动化吗？
P.D.：我看过SML/NJ的编译管理器和MLton的ML基础系统。虽然它们无疑
浏览 4提问于2015-03-28得票数 2
回答已采纳
所以，我正在用SML写一个程序。它会产生这个错误： uncaught exception Overflow [overflow]
raised at:Basis/Implementation/num-scan.sml:268.20-268.28 我认为我应该使用IntInf结构，而不是int。
浏览 25提问于2019-06-04得票数 4
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
