文件名称:a-tour-of-standard-ml:标准ML之旅(采用Go Tour风格)
文件大小:37KB
文件格式:ZIP
更新时间:2024-06-11 01:52:39
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)