软件从某种意义上说，就是以各种程序设计语言记载、并运行在遍布全球的计算基础设施上的人类思想。人类社会文明程度越高，对软件的依赖越大。人类的思想异化为软件，但我们自身却迷失在软件所营造的异度空间中。软件的逻辑就是以言行事的逻辑，软件程序操控着人造世界，我们就生活在其中。从语言学视角对软件进行分析，有助于我们脱离细节的牵绊，从纯理论看待这个极其复杂的怪物。我们可以借用语言学的语法、语义和语用，把这三个因素表征为三维的坐标系。（1）语义维度我们可以把各类计算模型安排在语义维度上，数学家和计算机科学家已经构造出五花八门的计算理论，比如自动机、图灵机、冯诺曼机、函数式模型、逻辑式模型、并发模型、项重写等等。有许多模型是图灵等价的。（2）语法维度驱动着语法进展的是抽象的力量，抽象带来的语法糖虽然并没有增加计算模型的能力，但它大大提高了描述程序的效率、安全性和可读性。计算模型中控制、数据都可以进行抽象。抽象的基本手段是命名和参数化。历史上的结构化程序设计、面向对象程序设计是两次巨大的抽象语法维度的进展。（3）语用维度计算机语言语用一方面是语义、语法在计算机上实现范畴。另一方面就是软件以言行事的范畴，通过I/O操控外部世界。计算理论认为I/O是非本质的副作用的东西，但这却是人类为什么需要软件的原因。一、程序设计语言中的概念构造，可以比喻为这个理论三维空间中的点。例如类型构造，一般被认为是语法维度的 ...继续阅读 (20)

【摘要】软件从某种意义上说，就是以各种程序设计语言记载、并运行在遍布全球的计算基础设施上的人类思想。人类社会文明程度越高，对软件的依赖越大。人类的思想异化为软件，但我们自身却迷失在软件所营造的异度空间中。软件的逻辑就是以言行事的逻辑，软件程序操控着人造世界，我们就生活在其中。从语言学视角对软件进行分析，有助于我们脱离细节的牵绊，从纯理论看待这个极其复杂的怪物。我们可以借用语言学的语法、语义和语用，把这三个因素表征为三维的坐标系。（1）语义维度我们可以把各类计算模型安排在语义维度上，数学家和计算机科学家已经构造出五花八门的计算理论，比如自动机、图灵机、冯诺曼机、函数式模型、逻辑式模型、并发模型、...阅读全文 ...继续阅读 (8)

在豆瓣发表了书评，转载于此，立此存照。 《黑客与画家》书可点击链接。初次知道Paul Graham这个人，是在一个无聊的下午，通过google搜索“lisp”关键字，误打误撞到他的网站的。特别喜欢读他的一些关于lisp语言、创业指导和黑客精神的文章，于是成为PG随笔的忠实读者。这次知道“教主”的大作要出中文译本了，急忙买一本，精神支持一下，虽然大部分文章都已经看过了。先发个广告，尽管哥不是友人，也非出版商，至今尚未创业，只是叶公好龙的粉丝一个。通观全书，你会对“黑客”的含义有着更深的认识，那就是——追求卓越，在软件这个领域出神入化，象优秀画家创造出传世精品般，设计出艺术化的软件作品。而这个设计，必须是以用户为中心，考虑人性的，所以它不全然靠数理科学就能搞定的。如果运气再好点，软件设计还能顺利的转化为财富，那么黑客就更可以此改变世界，大如微软、Apple，小如PG的viaweb，都是走这条道来的。当然，这只是在一个自由的、包容的、保护人的创造性的社会环境中，才会有的成功梦想。为了心中那完美的理想国，许多黑客不是不问世事的隐士，而是积极介入公共社会、鼓吹民主政治理念的精英。PG也正是这样一个黑客，他的这本书中也不仅仅是技术随笔集合，更可以说是一首自由的赞歌。下面言归正传，正如译者在前言中所道 ...继续阅读 (27)

【摘要】在豆瓣发表了书评，转载于此，立此存照。 《黑客与画家》书可点击链接。 初次知道Paul Graham这个人，是在一个无聊的下午，通过google搜索“lisp”关键字，误打误撞到他的网站的。特别喜欢读他的一些关于lisp语言、创业指导和黑客精神的文章，于是成为PG随笔的忠实读者。 这次知道“教主”的大作要出中文译本了，急忙买一本，精神支持一下，虽然大部分文章都已经看过了。 先发个广告，尽管哥不是友人，也非出版商，至今尚未创业，只是叶公好龙的粉丝一个。通观全书，你会对“黑客”的含义有着更深的认识，那就是——追求卓越，在软件这个领域出神入化，象优秀画家创造出传世精品般，设计出艺术化的软件作品。而这阅读全文 ...继续阅读 (8)

今天整理硬盘时翻出一篇旧的翻译稿，那是多年前“计算机英语”课程上要求交的一篇作业，也是哥投身此行业后不多翻译过的东西（还有一篇记得是被面试时考官要求的），作为英语水平差强人意之人，当初挑这篇翻译是有小算盘的，代码多文字少，能少翻就少翻，免得“翻多必失”。 好久没空在博客园上发帖，只好把陈年旧货拿出来晒一晒，希望对想理解monad机制又不想学习范畴论的朋友有所帮助，当然高手就直接跳过算了。 说说我的心得吧，对Haskell引入程序世界的monad，先是不屑一顾，哥不需要，要副作用直接赋值就行了，吃饱了撑着搞那么复杂的东西干嘛。后来看许多大牛推荐，于是就有了好奇心了，到底是个嘛玩意，引无数英雄尽折腰的。起先企图从范畴论入门，结果苦不堪言，一直没能把这么抽象的东西和实际编程联系起来。后来学了一点Haskell，又看到这篇文章，才建立起一点直觉。而且惊奇的发现，它居然是比CPS更高的一个抽象，不仅感叹数学逻辑的力量真是强大。同样是编程序，数学家们居然构造出这么深刻的东西。这里是原文链接，以下为译稿：一个面向Scheme程序员的monad介绍Dave Herman I．简介 这是一篇从Lisp/Scheme角度对monad技术进行介绍的文章，读者需对延续、延续传递模式、累计器以及累计器传递模式有所了解。 monad ...继续阅读 (17)

【摘要】今天整理硬盘时翻出一篇旧的翻译稿，那是多年前“计算机英语”课程上要求交的一篇作业，也是哥投身此行业后不多翻译过的东西（还有一篇记得是被面试时考官要求的），作为英语水平差强人意之人，当初挑这篇翻译是有小算盘的，代码多文字少，能少翻就少翻，免得“翻多必失”。 好久没空在博客园上发帖，只好把陈年旧货拿出来晒一晒，希望对想理解monad机制又不想学习范畴论的朋友有所帮助，当然高手就直接跳过算了。 说说我的心得吧，对Haskell引入程序世界的monad，先是不屑一顾，哥不需要，要副作用直接赋值就行了，吃饱了撑着搞那么复杂的东西干嘛。后来看许多大牛推荐，于是就有了好奇心了，到底是个嘛玩意，引无数英雄尽.阅读全文 ...继续阅读 (8)

第七个女孩 电台播音员scheme（＊＊＊以下小说情节纯属虚构，供朋友们在紧张编程后轻松一下，如有雷同纯属巧合，切勿对号入座＊＊＊）一、天籁之音早班车上，每过一站，都是一阵汹涌的人流波动。我好不容易抢到一个座位，环顾四周，没什么老人孕妇，窃喜。最近一周倒霉，每次才占到空位，都迫于群众压力，当了雷锋，连假装看窗外都不成。我放心的坐下，随手抹了一把汗。其实我本可以坐11路车上班，路程还少两站，也没这么挤。可是那路车整天播新闻广播，主持人声音和破锣似的，哪能和音乐交通广播scheme姐姐的天籁之音比啊。不错，7：30节目准点开始，车上伴听传来那个我熟悉的女声，“听友marry通过本节目给她的男朋友点歌一首，她在发来的短信里说，漫漫人生路，有你长相伴……要点歌的朋友可以发短信到……”。我急忙掏出手机发短信，不用主持人说，那个SP特服号我太熟了。为什么呢，本公司正是音乐交通广播唯一指定短信合作伙伴，节目流程还是我设计的。呵呵，就算当公司产品的义务测试员了。就是短信信息费太贵，靠，一条5元，跟抢劫没什么两样。改天找我们麦总报销。二、 麦总是谁？麦总就是我大学那个老同学麦东啊。我就是受到他的邀请，才到现在这家公司的。大学毕业时，麦东一点都不为工作着急。我当时还百思不得其解，现在我才明白，还找什么工作啊，人家是为社会 ...继续阅读 (16)

【摘要】第七个女孩 电台播音员scheme（＊＊＊以下小说情节纯属虚构，供朋友们在紧张编程后轻松一下，如有雷同纯属巧合，切勿对号入座＊＊＊）一、天籁之音　　早班车上，每过一站，都是一阵汹涌的人流波动。我好不容易抢到一个座位，环顾四周，没什么老人孕妇，窃喜。最近一周倒霉，每次才占到空位，都迫于群众压力，当了雷锋，连假装看窗外都不成。我放心的坐下，随手抹了一把汗。其实我本可以坐11路车上班，路程还少两站，也没...阅读全文 ...继续阅读 (5)

（＊＊＊以下小说情节纯属虚构，供朋友们在紧张编程后轻松一下，如有雷同纯属巧合，切勿对号入座＊＊＊）第六个女孩 网络工程师perl一、风雨割接夜一个风雨交加的夜晚，我骑着我的小电驴，奔驰在东大街上。已是深夜，街上鬼影都没一个。突然一个塑料袋幽灵般的飞到我头上，我正惊魂未定，手机又响了。我拿起电话，不耐烦的说：“五点半才割接，你催什么催，我已经在路上了！”。那边传来一个冰冷的女声，“如果五点你没到场，你就等着扣钱吧。”。二、女魔头perl自从我们中标某市163网络扩容工程后，我就没过一天好日子。先是供应商到货延迟，为不误工期，我们只能加班加点安装调测，累得半死。没想到电信局方和我们配合的perl小姐，苛刻到极致。几个接入点都由于一些小事被她要求返工，把我气得吐血。然后她又规定割接时间必须在凌晨五点半，理由是网络监控发现此时上网流量最低，此时断网对用户感知影响最小。在邮电这样的垄断行业，虽然标语上说用户至上，心中一向把用户当根葱，居然能出这样一个同志，我简直无语了。这个吓死人的合理化建议果然被采纳，她是被领导表扬了，可我们这批建设队伍就倒了大霉。几个晚上下来，都没怎么睡，眼圈黑得和熊猫似的。到了机房现场，我正想发飙，先到的同伙小丁给我使了个眼色。仔细一看，里面各路大小领导来了一堆，还有人照相。我们的猪头老总正和perl小姐亲切握手呢，那个 ...继续阅读 (16)

【摘要】（＊＊＊以下小说情节纯属虚构，供朋友们在紧张编程后轻松一下，如有雷同纯属巧合，切勿对号入座＊＊＊）第六个女孩 网络工程师perl一、风雨割接夜　　一个风雨交加的夜晚，我骑着我的小电驴，奔驰在东大街上。已是深夜，街上鬼影都没一个。突然一个塑料袋幽灵般的飞到我头上，我正惊魂未定，手机又响了。我拿起电话，不耐烦的说：“五点半才割接，你催什么催，我已经在路上了！”。那边传来一个冰冷...阅读全文 ...继续阅读 (10)

（＊＊＊以下小说情节纯属虚构，供朋友们在紧张编程后轻松一下，如有雷同纯属巧合，切勿对号入座＊＊＊）第五个女孩 办公室秘书smalltalk一、引子每次大学校友聚会，我和二胖都有一爱好，就是找到我们的老班长黑哥，进行一番疯狂的摧残和蹂躏，其惨烈程度，让渣滓洞中美合作所都自愧不如。红酒、白酒加啤酒灌他，稍有不从，我们立马掏出毕业纪念照，众目睽睽下让他无话可说。要知道为什么有如此深仇大恨，就得追溯到大四时代了。二、分猪仔的毕业设计那年头真是风起云涌，家事国事天下事，事事激动人心。对我们计算机系学生来说，头等大事就是操作系统改朝换代了。闷热的暑期，电脑城里热火朝天，小贩扯着喉咙喊，“瘟都死95，新到光盘，数量有限，欲购从速”。开假回校一看，学校里除了计算中心这个最后的unix堡垒，其余实验室纷纷沦陷，全部被windows占领。本人以前一向看不起图形用户界面，觉得效率狂低，认为dos至少还可以称霸五年。没曾想形势如此急转直下，也只得认栽，开始认真看待windows编程。许多单位的mis系统也开始从dos向windows升级，这给我系带毕业设计的教授提供了无限商机。你想想，以组织实习和毕业设计的名义，抓一批比民工还便宜的大学生做工程，真的是一本万利啊！为避免教授们抢生源大打出手，我系一向有“分猪仔”的优良传统。即把毕业班学生按学业水平分几个层次 ...继续阅读 (21)

【摘要】（＊＊＊以下小说情节纯属虚构，供朋友们在紧张编程后轻松一下，如有雷同纯属巧合，切勿对号入座＊＊＊）第五个女孩 办公室秘书smalltalk一、引子　　每次大学校友聚会，我和二胖都有一爱好，就是找到我们的老班长黑哥，进行一番疯狂的摧残和蹂躏，其惨烈程度，让渣滓洞中美合作所都自愧不如。红酒、白酒加啤酒灌他，稍有不从，我们立马掏出毕业纪念照，众目睽睽下让他无话可说。　　要知道为什么有如此深仇大恨，就得追...阅读全文 ...继续阅读 (8)

（＊＊＊以下小说情节纯属虚构，供朋友们在紧张编程后轻松一下，如有雷同纯属巧合，切勿对号入座＊＊＊）第四个女孩 数学系师姐forth一个闷热的下午，我坐在梯形教室里，百无聊赖，听着讲台上一个白发大师的个人咏叹调。为加强理工科同学们的人文修养，出去泡妞不至于没词，丢我校的脸，学校新开了一批公共选修课，什么唐宋词、西方哲学史、小说欣赏等等。学校还规定，公共选修课学分不够，不能毕业。真够狠的，弄得我们这些老生还要和一大批新生蛋子一起补修养。本人一向有崇洋媚外之倾向（没办法，翻开我们计算机科学教材，除了封面的“编者”，几乎就没看到中国人名），于是就选了西方哲学史。大师的课上得飞快，我就逃了几次课，他已经从柏拉图讲到黑格尔了，跨越了千年。“就绝对者自身成为被规定、有规定的东西来说，绝对者是实体。就绝对者是自己规定自己、自己建造自己来说，绝对者又是主体。”天哪！虽然我清楚的听到了每一个词，但是听不懂他在讲什么！我感觉自己如同歌剧院里附庸风雅的音盲，处于极度郁闷状态中。突然，一个迟到的女生从外面冲进来。我旁边正好有一空位，她就坐下了。我们俩一对视，不禁笑了。原来是数学系师姐forth。我和师姐实在太有缘份了，去年跨系的英语六级辅导课，我们俩就碰到一起，这次又相会了。英语课上，我经常插科打诨，把她笑得前仰后合。有一次茶水喷了我一脑门，她急忙拿手帕 ...继续阅读 (18)

【摘要】（＊＊＊以下小说情节纯属虚构，供朋友们在紧张编程后轻松一下，如有雷同纯属巧合，切勿对号入座＊＊＊）　　　　　　　　　　　　　　　　　　　　第四个女孩 数学系师姐forth　　一个闷热的下午，我坐在梯形教室里，百无聊赖，听着讲台上一个白发大师的个人咏叹调。为加强理工科同学们的人文修养，出去泡妞不至于没词，丢我校的脸，学校新开了一批公共选修课，什么唐宋词、西方哲学史、小说欣赏等等。　　学校还规定，公共...阅读全文 ...继续阅读 (9)

（＊＊＊以下小说情节纯属虚构，供朋友们在紧张编程后轻松一下，如有雷同纯属巧合，切勿对号入座＊＊＊）第三个女孩 法国外教prolog张开双脚，轻轻的插入，调整一下，再插入，哇，怎么出血了！呵呵，各位没走错，欢迎来到博客园电视台“程序人生”栏目。实验室里，我满头大汗，摆弄着面包板和一堆元器件。也不懂上次哪个变态，做完试验后报复社会，把电阻管脚扭得和麻花似的。要插到面包板上，是不是要把管脚张开。你看，一不小心还把手指捅破了。说起来真没面子，都大三了，还在硬件实验室混。这要归功于一个人，美丽的prolog老师。她来自法国马赛大学，从小热爱中国文化，所以到中国过学术假期。我校计算机系多年盼想，终于等到了接待访问学者的机会。这么一个金发碧眼、前凸后翘的美女，往性压抑严重的理工科大学一放，那简直是“深水炸弹”啊！朝霞里，一批批青年学子在“锻炼身体 建设祖国”的标语下，迎着瑟瑟寒风，奔赴操场。他们的身影，多么的矫健！负责主抓全民健身的体育老师大老刘，饱含着热泪，都不敢相信自己的眼睛。这是多年未见的好景象，晨炼原来鬼都不来，教育部“211”院校检查期间，都动用武装力量押送了。这几天同学们怎么这么自觉呢？定睛一看，哦，为首那个红衣红裤的，不就是我们的prolog老师吗？还是外来的美女会念经啊！体育场上的 ...继续阅读 (17)

【摘要】（＊＊＊以下小说情节纯属虚构，供朋友们在紧张编程后轻松一下，如有雷同纯属巧合，切勿对号入座＊＊＊） 第三个女孩 法国外教prolog　　张开双脚，轻轻的插入，调整一下，再插入，哇，怎么出血了！　　呵呵，各位没走错，欢迎来到博客园电视台“程序人生”栏目。　　实验室里，我满头大汗，摆弄着面包板和一堆元器件。也不懂上次哪个变态，做完试验后报复社会，把电阻管脚扭得和麻花似的。要插到...阅读全文 ...继续阅读 (9)

（＊＊＊以下小说情节纯属虚构，供朋友们在紧张编程后轻松一下，如有雷同纯属巧合，切勿对号入座＊＊＊）第二个女孩 计算中心管理员小C操作系统课上，我们无比敬仰的课任老师“胖头余”唾沫横飞：“中国计算机事业的发展，需要一大批熟练掌握unix和c的专业人才……”“计算机系的第一母语，那就是c语言……”“招之即来，来之能战，战之能胜……”要不要这么上纲上线啊，知道的懂得是上操作系统课，不知道的还以为是文革红卫兵动员呢。今天真倒霉，来得迟了一些，挤在第一排，被喷了一脸的唾沫星子，抹一把，咦，还带广式月饼味的。“胖头余”的可恶之处还在于，不允许我们用pc机dos系统完成大作业，必须到东校区计算中心，用Bull小型机完成，期末要检查我们的系统帐户。他还美其名曰，“学操作系统就要使用原滋原味的unix”。不去不知道，一去吓一跳。大伙儿到计算中心都被深深震撼了，果然是“原滋原味”，里面的家什如果配上穿孔纸带什么，就可以直接改名为“计算机历史博物馆”。小型机躲在玻璃罩里，横躺着。我们都怀着瞻仰毛主席遗容的心情，从它旁边经过，到里 ...继续阅读 (21)

【摘要】（＊＊＊以下小说情节纯属虚构，供朋友们在紧张编程后轻松一下，如有雷同纯属巧合，切勿对号入座＊＊＊）　　　　　　　　　　　　　　第二个女孩 计算中心管理员小C　　操作系统课上，我们无比敬仰的课任老师“胖头余”唾沫横飞：　　“中国计算机事业的发展，需要一大批熟练掌握unix和c的专业人才……”　　“计算机系的第一母...阅读全文 ...继续阅读 (5)

程序员的语言“艳遇史”（一）（＊＊＊以下小说情节纯属虚构，供朋友们在紧张编程后轻松一下，如有雷同纯属巧合，切勿对号入座＊＊＊）地狱里，一个曾经的程序员经不过魔鬼们的严刑拷打，终于把埋藏在心里多年的年少荒唐史给招了。“好吧，魔鬼大王，我承认我是花心大萝卜，革命意志薄弱，没有管好自己，但我再坏也比不上陈冠希，您不能这样冤枉我啊！”“我靠！陈冠希才几个啊，你比他多多了！我们地狱的妇联都投诉了，说这样的流氓不严惩，全体女妖从明天起一律罢工！快老实交代你的罪行。”“我招，我招还不行吗？”程序员战战兢兢的打开地狱专用的日本Sany牌便携电脑，开始码字……大学期间第一个女孩——班长pascalpascal是我们计算机系93（1）班班长，长得一般，严谨得可怕。据说是某省的高考状元，还是党员，所以一入校就被我们辅导员当成宝贝，连民主选举都免了，直任班长。计算机系肯定有试验上机课啦。由于pascal学习好，机房上机时总是第一个完成。然后老师就叫她帮忙，对我们这些中学时连键盘都没摸过的菜鸟进行辅导。我当时上机，主要工作就是照着事先在纸上写好的代码，在键盘上找字母。简直是晕倒，一个简单的程序编译了几十次都过不去。我正绝望时，突然闻到一阵淡淡的如幽兰般的香气，原 ...继续阅读 (17)

【摘要】程序员的语言“艳遇史”（一）　　（＊＊＊以下小说情节纯属虚构，供朋友们在紧张编程后轻松一下，如有雷同纯属巧合，切勿对号入座＊＊＊）　　地狱里，一个曾经的程序员经不过魔鬼们的严刑拷打，终于把埋藏在心里多年的年少荒唐史给招了。　　“好吧，魔鬼大王，我承认我是花心大萝卜，革命意志薄弱，没有管好自己，但我再坏也比不上陈冠希，您不能这样冤枉我啊！”　　&ldq...;阅读全文 ...继续阅读 (9)

【摘要】最近看到园子里对程序员职业和培养方面讨论的挺热的，比如”老赵：我为什么要反对北大青鸟“，我作为博客园的新人，也想凑一凑热闹。　　先声明本人不是北大青鸟的托或粉丝，看了那篇文章我也觉得培训机构真够”水“的。不过，回过神想一想，这在国内程序员教育的环境中，是再正常不过了，倒也不必过于惊奇。我也是从计算机科班毕业，在职场混迹多年，被人面试过，也面试过别人。...阅读全文 ...继续阅读 (6)

【摘要】当爸爸后，我很快就知道了一个词——早教。有时候真的感觉现在中国的孩子太可怜了，为了让他们赢在起跑线上，从小就要被父母投入轰轰烈烈的教育事业中。什么脑电波音乐、幼儿简笔画、蒙氏数学、右脑识字、语训、跳舞班......，花样层出不穷。想当年我小时候，哪有这些东西，父母不管，到处乱跑，忙着打架、偷邻居家种的西红柿之类工作。这不，又被老婆大人抓差，陪孩子研究新到的”巧虎...阅读全文 ...继续阅读 (11)

【摘要】我在高中时第一次接触到单子（Monad）这个词，是在莱布尼兹哲学中。初看上去，这个生造的概念平平无奇，论原创古希腊人早就发明了原子论了，论科学性绝对不如现代物理学的微观粒子。过了很久我才恍然大悟，只有把这个词放在德国唯心主义这碗“调味酱”中拌一下，才能品出味道来。　　唯心主义的要义在于两个世界的划分。眼前的、世俗的世界是非本质的，后面还有一个本源世界。莱布尼兹单子论的本源世...阅读全文 ...继续阅读 (10)