并非小说, 大概可能是随笔, 小品, 散文, 怪谈之混合罢. 虽然标题是魔法学概论, 但更近于魔术学 (TYPE-MOON) 概论. 应该会有许多程式语言写成的东西, 但这是不可避免的. 作者认为, 作为精确语言, 程式语言不仅可以用来表达计算, 也能够表达一般的思想. 程序, 是供人阅读的, 附带给机器运行.
个人主页: https://alpha-beta-eta.github.io/
前言
第一章 编程的基础
读取-求值-输出循环
字面量
变量
过程应用
表示过程的记号
定义
条件分支
and, or, not
递归定义
局部定义
高阶过程
计算行为
编程基础习题一
编程基础习题二
第二章 列表处理
序对
列表
利用图像表示序对结构
定义于列表上的函数
列表处理工具箱
列表处理工具箱续
列表处理习题一
列表处理习题二
列表处理习题三
列表处理习题四
第三章 状态和对象
赋值和变动
闭包和对象
消息传递
编程语言的邀请正式版
1 句法
1.1 抽象句法树 1.2 BNF文法 1.3 解释器的风味
2 绑定
2.1 环境
2.2 一个带有绑定的语言
2.3 一个带有过程的语言
2.4 de Bruijn索引
4 延续
4.1 延续和延续传递风格
4.2 延续传递风格解释器
编程语言的邀请遗弃版二
前言
句法
绑定
过程第一部分
过程第二部分
过程第三部分
过程第四部分
编程语言的邀请遗弃版一
编程语言的邀请12
编程语言的邀请13
编程语言的邀请14
编程语言的邀请15
编程语言的邀请18
编程语言的邀请19
编程语言的邀请20
古典人工智能的邀请
古典人工智能的邀请0 模式匹配
附余
编程语言书籍推荐
编译器写作日记
编译器写作日记一
我在小说网站学编程系列
可以可以，很有意思。
u老师，该上课了u老师（
几天不见书皮都变成sicp了啊
我准备SICP, The Little Schemer, The Seasoned Schemer, EoPL, Scheme and the Art of Programming, The Scheme Programming Language等书的封面轮着来.
前幾天ESJ出現古典太平記，現在又出現程式語言
歡迎來到esj一個多語言的線上百科全書，並以建立和維護作為開放式協同合作專案，特點是自由內容、自由編輯、自由著作權(笑)
如果要上傳的話，可以到文基文庫，只要作者死後五十年就可以上傳，歡迎更多人加入編輯維基的行列
我去，看封面就好牛
意外的很有趣
還不錯蠻有意思的
有意思。有興趣說一說logical programming嗎(如prolog)？畢竟和Scheme是另一種方向
对于我而言，要理解logic programming，首先应该理解unification。unification的话，用naive的观点看，其实是一种双向的模式匹配。对于我而言，prolog不够灵活（即便你会在关于prolog的书中看到一些有意思的东西）。不过，unification是有用的，比如类型推导。
c语言，入门到入土是吧
There is nothing about C ...