emacs
文章平均质量分 87
自闭火柴的玩具熊
这个作者很懒,什么都没留下…
展开
-
Programming Languages PartA Week5学习笔记——SML进阶与编程哲学
Programming Languages PartA Week5学习笔记——SML进阶与编程哲学原创 2022-09-14 20:35:26 · 700 阅读 · 0 评论 -
Programming Languages PartA Week4学习笔记——SML函数式编程
Programming Languages PartA Week4学习笔记——SML函数式编程原创 2022-09-14 20:32:18 · 532 阅读 · 0 评论 -
Programming Languages PartA Week3学习笔记——SML基本语法第二部分
Programming Languages PartA Week3学习笔记——SML基本语法第二部分原创 2022-09-14 20:28:58 · 672 阅读 · 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 · 2251 阅读 · 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 · 329 阅读 · 0 评论 -
Emacs基础使用教程及常见命令整理
前言:最近使用Emacs,因此整理了官方中文教程中的一些知识点和常用的命令,方便查阅使用。对于用习惯Windows的人来说,想要入门Emacs不是一件特别容易的事,但好在Emacs提供了官方的教程文档,比较清晰和详尽的讲述了Emacs的基本使用方法。首先是Emacs的基本布局,如图:C-h-h查看帮助窗格Emacs提供了大量帮助信息,可以在帮助窗格中查看。C-h t 官方教程C-h t可以打开官方的使用教程,本文档基于此进行整理。首先需要理解Emacs命令(快捷键)的构成:值得注意的原创 2022-04-20 23:32:43 · 7489 阅读 · 0 评论