05 2022 档案

Programming Languages PartA Week2学习笔记——SML基本语法
摘要：首先简单介绍使用的SML语言，参考维基百科和百度百科： ML（Meta Language：元语言）是由爱丁堡大学的Robin Milner及他人在二十世纪七十年代晚期开发的一个函数式、指令式的通用的编程语言，它著称于使用了多态的Hindley–Milner类型推论。ML能自动的指定多数表达式的类型， 阅读全文
posted @ 2022-05-09 23:25 自闭火柴的玩具熊 阅读(1018) 评论(0) 推荐(1) 编辑
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 阅读全文
posted @ 2022-05-07 11:50 自闭火柴的玩具熊 阅读(103) 评论(0) 推荐(0) 编辑

点击右上角即可分享
微信分享提示