自定义博客皮肤VIP专享

*博客头图：

格式为PNG、JPG，宽度*高度大于1920*100像素，不超过2MB，主视觉建议放在右侧，请参照线上博客头图

请上传大于1920*100像素的图片！

博客底图：

图片格式为PNG、JPG，不超过1MB，可上下左右平铺至整个背景

栏目图：

图片格式为PNG、JPG，图片宽度*高度为300*38像素，不超过0.5MB

主标题颜色：

RGB颜色，例如：#AFAFAF

Hover：

RGB颜色，例如：#AFAFAF

副标题颜色：

RGB颜色，例如：#AFAFAF

预览 取消 提交

自定义博客皮肤

-+
上一步保存

David Guru's Blog on 优快云

... because Lisp is, like life, what you make of it.

  • 博客(3)
  • 收藏
  • 关注
排序：
按最后发布时间
按访问量
RSS订阅

翻译 将语言编译为 Lambda Calculus（译）

（注：原文发表于 http://matt.might.net/articles/compiling-up-to-lambda-calculus/）我教授的编译器课程总是由一节关于 λ 演算的完整介绍开始。It leaves behind only the dedicated.Barendregt is a helluva drug.λ 演算是一门微型编程语言。尽管它只包含了函数应用、变量引用以及 ......

2016-01-22 12:26:29 664

原创 『惰性求值』初探

首先，以一个经典的问题来引入惰性求值1的概念：能否用定义函数的方式定义出if2控制构造？.......

2016-01-22 12:19:31 661

原创 学习 Lisp 语言的相关书籍

Lisp语言难以推广的原因有很多，而相对来说，比较高额的学习成本便是这众多原因的其中之一 ......

2016-01-22 12:04:31 5348 1

空空如也

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章？
取消 删除