![](https://img-blog.csdnimg.cn/20201014180756922.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
SML
文章平均质量分 88
自闭火柴的玩具熊
这个作者很懒,什么都没留下…
展开
-
Programming Languages PartC Week3学习笔记——子类型(Subtyping)的讨论
Programming Languages PartC Week3学习笔记——子类型(Subtyping)的讨论原创 2022-09-14 20:58:59 · 360 阅读 · 1 评论 -
Programming Languages PartA Week5学习笔记——SML进阶与编程哲学
Programming Languages PartA Week5学习笔记——SML进阶与编程哲学原创 2022-09-14 20:35:26 · 685 阅读 · 0 评论 -
Programming Languages PartA Week4学习笔记——SML函数式编程
Programming Languages PartA Week4学习笔记——SML函数式编程原创 2022-09-14 20:32:18 · 506 阅读 · 0 评论 -
Programming Languages PartA Week3学习笔记——SML基本语法第二部分
Programming Languages PartA Week3学习笔记——SML基本语法第二部分原创 2022-09-14 20:28:58 · 658 阅读 · 0 评论 -
Programming Languages PartA Week2学习笔记——SML基本语法
Programming Languages PartA Week2学习笔记——SML基本语法首先简单介绍使用的SML语言,参考维基百科:ML(Meta Language:元语言),是一个函数式、指令式的通用的编程语言,它著称于使用了多态的Hindley–Milner类型推论。ML能自动的指定多数表达式的类型,不要求显式的类型标注,而且能够确保类型安全,已经正式证明了有良好类型的ML程序不会导致运行时间类型错误。ML提供了对函数实际参数的模式匹配、垃圾回收、指令式编程、传值调用和柯里化。它被大量的原创 2022-05-09 23:24:27 · 2146 阅读 · 0 评论 -
Windows系统 Emacs运行SML REPL控制台报错 “Searching for program: no such file or directory, sml“
首先保证在smlnj官网,下载并安装了SMLNJ,然后再检查Emacs是否安装sml-mode(需要注意的是Emacs的sml-mode只是一种Emacs的编辑模式,并不包含SML的编译器之类的东西)M-x list-packages查看sml-mode,如图sml-mode显示已安装新建SML文件,C-c C-s命令输入 sml 之后却报错"Searching for program: no such file or directory, sml"网上比较多的解决方案是针对Linux或Mac的,主原创 2022-05-07 11:50:12 · 323 阅读 · 0 评论