Standard ML快餐教程(1) - 初识 好久没写快餐教程了，下面开始一个新的系列，关于函数式编程语言的系列。打算写三种语言：Standard ML，ocaml和Haskell。 这几门语言都不是新贵了，其中Standard ML的知名度可能最低...
Standard ML快餐教程(1) - 初识 好久没写快餐教程了，下面开始一个新的系列，关于函数式编程语言的系列。打算写三种语言：Standard ML，ocaml和Haskell。 这几门语言都不是新贵了，其中Standard ML的知名度可能最低...
采自《ML程序设计教程》 一、名字和函数 首先可以输入： 2+2； ML回应： > 4 : int 注意整数（int）和实数（real）不能在同一个表达式里出现。可以将整数加小数点解决(2--&...val minutes = 60...
用 StandardML 编写的实用程序库。 将smlnjlib从 SML/NJ 110.77 移植到 。 支持的模块 SML# 支持以下模块。 “支持”在这里的意思是“可使用 SML# 编译器进行编译”。 模块 支持 控件 是的 文件 不 HashCons 是的 ...
存在像def这样的最小关键字，它们可以从视觉上分解代码，但是如果您熟悉Yeti，StandardML，OCaml和＆c，则可以使用其他关键字。 它应该相对简单。 它不在标准库中的一个位置。 标准库中没有运算符。 像(+)这样的函
VScode-settings配置文件-插件目录-个人常用配置导出。
导读：有程序员的地方就会有因为对编程语言的探讨而引发的战争(例如Linux之父Linus Torvalds炮轰C++ 一无是处，认为C++既无助于简化，以实际用于进行原型化或者简单的GUI编程，又不是像C那样的简洁的系统编程语言，...
聚/ML Poly/ML 是一种标准 ML 实现，最初是用一种名为的实验语言编写的。 从 4.0 版开始就完全兼容。 有关完整的历史记录，请参见。 Poly/ML 对标准 ML 语言采取保守的方法并避免不兼容的扩展。...
减少 一种可以在 lambda 演算中逐步找到项的(β-nf) 的工具。 它基本上是一种抽象函数式编程语言的解释器，它显示了评估过程中的每个计算步骤。 评估策略是call by name ，即它执行函数中的参数的替换（β-规则）而...
气味规格气味规范是一个受启发的小型 SML 测试框架。 注意：这仅在进行过测试。例子写一些 sml fun fact 0 = 1 | fact n = n * fact(n- 1 ); 写一些测试use " ./file_containing_fact_function.sml " ;...
SML/NJ 堆栈跟踪演示使用 SML/NJ 的回溯功能的示例程序。运行演示要运行演示项目，只需调用 test.sh 。 $ ./test.sh 你会得到如下的跟踪日志： ..(snip)..[TEST] run sample program.....(snip)..*** BACK-TRACE ***...
SML备忘单 概述 SML 是一种安排声明的语言 声明由;分隔（可选） 许多 REPL ;每次编译 文件扩展名是.sml 签名是.sig SML#还有一个接口文件.smi 用于在 NJ .cm编译，在 MLton .mlb以及 ...值/函数声明后面描述的模式...
沙盒只是一个在将想法转化为项目之前探索想法的区域。
撰写2015 Compose 2015 会议的 SML 模块示例。
COMP302 McGill 的编程语言和范式 - COMP 302 - 作业和课程作业
要测试 table2tree： table_root=f ./build table2tree test_bin
维克包 vicpack 是一个命令行工具，用于将常规图像 (PNG/GIF/TIFF/JPG) 转换为 C64 格式。 它导出为最常见的格式，如多色、雇用、MCI、FLI 等。 它还可以使用 ACME 汇编器生成可运行的程序，可从 ...
sml-streams 愿景：在 MLton 中使用标准 ML 进行大容量内存操作。 该模式基于通过延续组合而成的管道，其中将源包装为基于推送的流，通过延迟操作应用转换，并且热切组合器强制影响支持的内存中项目集合： ...
ML 中的并发编程 我通过工作。 资源
猜猜你接下来要做什么;-)。 待办事项清单 将 Humberto 的tiger.grm 复制到repo MIPSFrame.sml 新框架 分配本地 翻译 新关卡 ... llamar allocLocal en TransDec (FunDec y VarDec) 美洲驼 newLevel en TransDec ...
SML-Tiger-编译器 由 Jordan Ly (jl455)、Kevin Do (kkd10) 和 Cody Lieu (cal53) 撰写 Andrew Appel 的 Tiger 语言的基本编译器，用 SML 编写，用于 ECE 553 编译器构造。 该编译器在 SML/NJ 上进行了测试。...
原缓冲区 标准 ML 的协议缓冲区 注意：为了使用项目中除 TestRun.sml 和比较.sml 之外的任何文件，请编写以下语句： use "Load.sml"; 这将以正确的顺序导入所有其他文件。 作为一个软件库，Protocol Buffers for ...
Prolog-解释器 用 SML 编写的 Prolog 解释器。 分别使用 ML-Lex 和 ML-Yacc 完成令牌生成和解析。 规则统一和回溯是为了实现解释器的关系主干。
只是简单的 Abts 所以我可以不假思索地快速刮掉东西。 在SML辅助的过程中不要想太多。如何使用它如果你想使用这个库，这里是基本过程。 将此目录复制到您的项目中。 将simple-abt/sources.cm添加到您的sources.cm 为...
嗯我正在介绍 CMU 的函数式编程课程。 一堆人在问类型推断是如何工作的，我最终勾画了算法 W 的实现。 希望这最终会被打磨到足以与我 TA 的人实际分享。
厨房水槽 SML 库这个库是在 2011 年 DIKU 的一个项目期间开发的。我不再从事它了。 尽管如此，它还是很有用的。
服务端在标准 ML 中尝试使用 Web 服务器用法使用SML/NJ 在项目目录下启动sml 输入use "buffer.sml" ; use "parser.sml" ; use "server.sml" ; use "main.sml" ; use "buffer.sml" ; use "parser.sml" ;...
标准ML基础库 该存储库和相关的提供了一个平台，用于管理对规范的更改。 范围 SML基础库的设计目的是要限制其范围。 具体来说，它包含满足以下属性之一的功能： 需要特殊编译器支持的功能，例如字符串和数组。...
aplcompile：标准ML中的APL编译器 该软件在标准ML中实现了APL编译器。 请参阅。 另请参阅。 一个例子 这是编译并运行以下程序的结果： f ← { 5 + ⍵ } ⍝ Function adding 5 to its argument (⍵) ...
汉明数发生器 生成用户输入的汉明数 是只有2、3和5为素的正整数。 该程序将使用流和惰性评估有效地打印出海明数列表。 运行程序 该程序是在。 通过将以下行放入控制台来加载它： mosml 使用“ C：/目录/到/Hamming...
木炭 使用基于k-mer的分类学分析与sourmash去除基因组的受污染位。 仍处于早期开发阶段。 买家当心！ 这是龙！ 安装！ 简而言之：克隆此存储库，然后切换到顶级repo目录。 文件environment.yml包含运行木炭所需的...