简单易懂的程序语言入门小册子（4）：基于文本替换的解释器，递归，如何构造递归函数，Y组合子
递归。哦，递归。 递归在计算机科学中的重要性不言而喻。 递归就像女人，即令人烦恼，又无法抛弃。 先上个例子，这个例子里的函数double输入一个非负整数$n$，输出$2n$。 \[ {double} = \lambda n.({if} \; ({iszero} \; n ...
原文：简单易懂的程序语言入门小册子（1）：基于文本替换的解释器，lambda演算
最近比较闲，打算整理一下之前学习的关于程序语言的知识。主要的内容其实就是一边设计程序语言一边写解释器实现它。这些知识基本上来自Programming Languages and Lambda Calculi和Essentials of Programming Languages这两本书。 我还记得高中奥数竞赛培训时的老师这样说过： 解题时一定要抓住定义。 编程和解题一样，也要抓住定义。 所以在写解 ...
2014-04-17 11:29 5 2881 推荐指数：
相关推荐
打印小册子
将A4纸打印成小册子： 一.将文件按照A5纸大小排好版。 二.将文件输出为PDF格式（需安装Adobe Acrobat 8 Professional）。 1）.打开转换后的PDF文件，设置“打印”选项，在页面缩放方式里选择“小册子打印”，由于我们需要打印成双面A5页面的小册子 ...
Java 创建PDF打印小册子
概述 PDF打印小册子是指将PDF格式文档在打印成刊物前需要提前进行的页面排版，以便在打印后装订成册。下面以Java代码展示如何来实现。这里调用Free Spire.PDF for Java中的PdfDocument. createBooklet(java.lang.String ...
lambda演算入门
介绍如何进行简单lambda演算的计算（规约）：形如下面这样的题目： intro https://www.jianshu.com/p/ebae04e1e47c 这一篇很清晰，基本涵盖了本文的内容。 可跳过本节，基本对做题没帮助 关键字 小写单字符用以命名参数，也叫变量（数学含义 ...
node 文本替换
音乐分享： Travis Scott - 《Drugs You Should Try It》 Travis Scott今年无论是单曲、球鞋市场、八卦恋情 热度就没停过,前两天又出了厂牌联合专辑《 ...
python文本替换
...
[分享]正则文本替换器(已开源)
正则表达式的替换问题 正则表达式，功能很强大，很多稍微专业点的编辑器都提供正则搜索，但在替换功能上，最多提供一个对捕获组的引用（用“\n”来代码第n个捕获组），很多功能都无法实现，要么敲代码，写一个特定程序来完成，要么直接手动修改，简单重复。比如下面的场景。 3*4=?-6*12 ...
【Linux】awk文本替换
awk用法之：文本替换 awk的sub/gsub函数用来替换字符串，其语法格式是： sub(/regexp/, replacement, target) 注意第三个参数target，如果忽略则使用$0作为参数，即整行文本。 例子1：替换单个串 只把每行 ...