【文件属性】：
文件名称：a-tour-of-standard-ml:标准ML之旅（采用Go Tour风格）
文件大小：37KB
文件格式：ZIP
更新时间：2021-05-22 08:05:59
standard-ml StandardML
标准ML之旅
在旅中可以找到功能全面的之。
使用构建了标准ML之旅； 此存储库托管网站生成器的源。
什么是标准ML？
标准ML是具有正式规范的功能性编程语言。 它具有静态类型以防止各种各样的常见错误，而且还具有强大的类型推断功能，几乎不需要类型声明。 由于原因，很容易定义新的数据类型和结构，并且由于其强大的模块系统和 ，因此编写了抽象的，易于推理的代码。
有免费的，完整的程序优化编译器，可产生高效的本机代码，例如 。 并发扩展'Concurrent ML'提供了对进行支持，并由SML / NJ和MLton支持。
先决条件
安装新泽西州的标准ML： :
SML / NJ包含一个交互式编译器管理器/ REPL，将在本教程中用作示例。
SML / NJ还将安装标准库SML基础库的实现。
确保已将SML / NJ添加到适合您的体系结构的路径中
克隆此存储库，然后开始
【文件预览】：
a-tour-of-standard-ml-master
----css()
--------default.scss(2KB)
----.travis.yml(1017B)
----bin()
--------test-examples.sh(123B)
--------sml-expect.exp(474B)
----templates()
--------default.html(2KB)
--------tour.html(320B)
--------tour-index.html(108B)
----stack.yaml(2KB)
----LICENSE(1KB)
----site.cabal(421B)
----tour()
--------01-08-signatures.md(214B)
--------00-01-setup.md(2KB)
--------01-05-fun.md(926B)
--------02-09-mutable-refs.md(540B)
--------03-05-ivars.md(596B)
--------02-03-pattern-fun.md(237B)
--------01-01-let-expr.md(336B)
--------01-10-new-data-types.md(443B)
--------00-00-welcome.md(1KB)
--------02-04-cond-expr.md(282B)
--------03-04-mailboxes.md(203B)
--------01-09-functors.md(248B)
--------03-02-chan.md(405B)
--------03-00-cml-intro.md(2KB)
--------01-02-basic-data-types.md(162B)
--------01-04-functions.md(354B)
--------03-01-spawn.md(163B)
--------03-06-mvars.md(426B)
--------02-06-hofs.md(678B)
--------02-10-while.md(405B)
--------01-11-recursive-datatypes.md(1KB)
--------02-05-recursion.md(429B)
--------02-01-exhaustive.md(258B)
--------03-03-select.md(128B)
--------01-03-data-structures.md(388B)
--------01-00-values.md(676B)
--------01-06-modules.md(676B)
--------02-08-chaining.md(359B)
--------01-07-mod-sigs.md(575B)
--------02-07-inf.md(197B)
--------02-02-deconstr.md(284B)
--------02-00-pattern-matching.md(723B)
----examples()
--------signatures.sml(303B)
--------data-structures.sml(352B)
--------chan.sml(554B)
--------new-data-types.sml(478B)
--------ivars.sml(311B)
--------mod-sigs.sml(102B)
--------deconstr.sml(292B)
--------recursion.sml(248B)
--------mvars.sml(338B)
--------setup.sml(32B)
--------hofs.sml(481B)
--------pattern-matching.sml(204B)
--------inf.sml(74B)
--------pattern-fun.sml(455B)
--------recursive-datatypes.sml(697B)
--------chaining.sml(62B)
--------select.sml(902B)
--------functions.sml(188B)
--------functors.sml(469B)
--------mailboxes.sml(183B)
--------modules.sml(258B)
--------cond-expr.sml(340B)
--------let-expr.sml(139B)
--------values.sml(480B)
--------while.sml(113B)
--------spawn.sml(289B)
--------exhaustive.sml(118B)
--------mutable-refs.sml(328B)
--------fun.sml(246B)
--------basic-data-types.sml(433B)
----.gitignore(410B)
----README.md(2KB)
----site.hs(3KB)
----etc()
--------favicon.ico(1KB)
----.gitattributes(39B)