-
欢迎来到 Racket
Racket 是一种编程语言（programming language）—— Lisp 语言的一种方言和 Scheme 的一种派生语言；
简介
1958 年，人工智能之父 John McCarthy 发明了一种以 Lambda 演算为基础的符号处理语言， 1960 年 McCarthy 发表著名论文 Recursive Functions of Symbolic Expressions and Their Computation by Machine, 从此这种语言被命名为 LSIP (List Processor），其语法被命名为：符号表达式(S-Expression)。 LISP 构建在 7 个函数 [atom car cdr cond cons eq quote] 和 2 个特型 [lambda label] 之上。
Lisp诞生之初是为了纯粹的科学研究，代码执行像数学公式一样，以人的大脑来演算。 直到麦卡锡的学生斯蒂芬·罗素将eval函数在IBM 704机器上实现后， 才开启了Lisp作为一种计算机语言的历史。1962年，第一个完整的Lisp编译器在MIT诞生， 从此之后Lisp以MIT为中心向全世界传播。之后十多年，出现了各种Lisp方言。
1975年，Scheme诞生。Scheme同样诞生与MIT，它的设计哲学是最小极简主义， 它只提供必须的少数几个原语，所有其他的实用功能都由库来实现。在极简主义的设计思想下， Scheme趋于极致的优雅，并作为计算机教学语言在教育界广泛使用。
1984年，Common Lisp诞生。在二十世纪七八十年代，由于Lisp方言过多，社区分裂， 不利于lisp整体的发展。从1981年开始，在一个Lisp黑客组织的运作下， 经过三年的努力整合后，于1984年推出了Common Lisp。由于Scheme的设计理念和其他Lisp版本不同， 所以尽管Common Lisp借鉴了Scheme的一些特点，但没有把Scheme整合进来。此后Lisp仅剩下两支方言： Common Lisp 和 Scheme。
从二十世纪九十年代开始，由于C++、Java、C#的兴起，Lisp逐渐没落。直到2005年后， 随着科学计算的升温，动态语言JavaScript、Python、Ruby的流行，Lisp又渐渐的回到人们的视线。 不过在Lisp的传统阵地教育界，Python作为强有力的挑战者对Scheme发起冲锋； 在2008年，MIT放弃了使用Scheme作为教学语言的SICP（计算机程序的构造和解释）课程， 而启用Python进行基础教学。同时美国东北大学另立炉灶，其主导的科学计算系统PLT Scheme开始迅猛发展； 2010年，PLT Scheme改名为Racket。近几年，The Racket Language连续成为年度最活跃语言网站，并驾齐驱的还有haskell网站。
S-表达式
首先说一下S-表达式：S-表达式的基本元素是list与atom。list由括号包围， 可包涵任何数量的由空格所分隔的元素，原子是其它内容。 其使用前缀表示法，在Lisp中既用作代码，也用作数据。如：
1+2*3写成前缀表达式就是(+ 1 (* 2 3))。- 优点：容易parse，简单纯粹，不用考虑什么优先级等，也是实现代码即数据的前提；
- 缺点：可读性不是很强；
高阶函数
高阶函数至少满足下列一个条件：
- 接受一个或多个函数作为输入；
- 输出一个函数；
微积分中的导数就是一个例子，映射一个函数到另一个函数。在无类型 lambda 演算中， 所有函数都是高阶的。在函数式编程中，返回另一个函数的高阶函数被称为Curry化的函数。 Curry化即把接受多个参数的函数变换成接受一个单一参数（最初函数的第一个参数）的函数， 并且返回接受余下的参数而且返回结果的新函数的技术。如
f(x,y)=x+y, 如果给定了 y=1，则就得到了g(x)=x+1这个函数。Lambda 表达式
Racket中实用Lambda表达式来定义匿名函数，《如何设计程序》书中给出的使用原则是： 如果某个非递归函数只需要当参数使用一次，使用Lambda表达式。 如果想用Lambda表达式来表达递归，就需要引入Y组合子，Y 就是这样一个操作符， 它作用于任何一个 (接受一个函数作为参数的) 函数 F，就会返回一个函数 X。 再把 F 作用于这个函数 X，还是得到 X。所以 X 被叫做 F 的不动点(fixed point)，即 (Y F) = (F (Y F)) 。
惰性求值
惰性求值(Lazy Evaluation)，说白了就是某些中间结果不需要被求出来， 求出来反而不利于后面的计算也浪费了时间。参见：惰性求值与惰性编程。 惰性求值是一个计算机编程中的一个概念， 它的目的是要最小化计算机要做的工作。惰性计算的最重要的好处是它可以构造一个无限的数据类型。 使用惰性求值的时候，表达式不在它被绑定到变量之后就立即求值， 而是在该值被取用的时候求值。语句如 x:=expression; (把一个表达式的结果赋值给一个变量)明显的调用这个表达式并把计算并把结果放置到 x 中，但是先不管实际在 x 中的是什么，直到通过后面的表达式中到 x 的引用而有了对它的值的需求的时候，而后面表达式自身的求值也可以被延迟，最终为了生成让外界看到的某个符号而计算这个快速增长的依赖树。
闭包
闭包在计算机科学中，闭包（Closure）是词法闭包（Lexical Closure）的简称， 是引用了自由变量的函数。自由变量是在表达式中用于表示一个位置或一些位置的符号， 比如 f(x,y) 对 x 求偏导时，y就是自由变量。 这个被引用的自由变量将和这个函数一同存在，即使已经离开了创造它的环境也不例外。 在函数中(嵌套)定义另一个函数时，如果内部的函数引用了外部的函数的变量， 则可能产生闭包。运行时，一旦外部的 函数被执行，一个闭包就形成了， 闭包中包含了内部函数的代码，以及所需外部函数中的变量的引用。 其中所引用的变量称作上值(upvalue)。网上有很多讲 JavaScript 闭包的文章，如果你对 LISP 有系统的了解，那么这个概念自然会很清楚了。
快排的Racket实现
#lang racket (define (quick-sort array) (cond [(empty? array) empty] ; 快排的思想是分治+递归 [else (append (quick-sort (filter (lambda (x) (< x (first array))) array)) ; 这里的 array 就是闭包 (filter (lambda (x) (= x (first array))) array) (quick-sort (filter (lambda (x) (> x (first array))) array)))])) (quick-sort '(1 3 2 5 3 4 5 0 9 82 4)) ;; 运行结果 '(0 1 2 3 3 4 4 5 5 9 82)通过这个例子，就可以感受到基于 lambda 算子的 Racket 语言强大的表达能力了。 高阶函数、lambda 表达式和闭包的使用使得 Racket 所描述的快排十分的精炼， 这和基于冯诺依曼模型C语言是迥然不容的思维模式。
安装
在 Racket 官网下载对应系统的安装包，安装完成后，就可以在命令行里使用 racket 命令。
执行 racket 脚本
新建
hello.rkt文件：#lang lisp (+ 1 1)打开命令行，执行
racket -t hello.rkt, 就可以看到输出2。
-
使用 Windows Live Writer 发布博客
很早以前，使用 wordpress 搭建博客的时候，尝试过 Windows Live Writer 这个工具。一些操作界面记忆犹新。
图片来源于网络。
早期的记录：
https://groups.google.com/g/ircubuntu-cn/c/CkxGsARUDV8
22:01:57 <Kandu> wsdjeg: wsdjeg.tk 22:02:06 <Kandu> wsdjeg: <img src="http://127.0.0.1/wordpress/wp-content/themes/twentyten/images/headers/path.jpg" 22:02:07 <wsdjeg> 怎么了 22:02:35 <wsdjeg> 为什么不现实图片呢 22:02:46 <szsloss> 你的是什么服务器啊？？ 22:02:54 <szsloss> apache or nginx?? 22:03:12 <wsdjeg> 我自己的电脑阿 22:03:26 <wsdjeg> 不知道 ubuntu 22:03:31 <wsdjeg> 刚装的lamp 22:03:33 <szsloss> 要 环境的啊 22:03:35 <wsdjeg> 不会设置 22:03:37 <szsloss> 哦 22:03:43 <wsdjeg> 怎么杨设置阿 22:03:46 <szsloss> 那就是 apache 了】 22:03:50 <RuiZi> J :#ubuntu-cn 22:03:54 <myke2> Q :Read error: Connection reset by peer 22:04:05 <wsdjeg> 帮个忙 怎么设置 我就想做一个boog 22:04:20 <jiero> blog已经不流行了。 22:04:21 <jiero> 哈哈 22:04:43 <szsloss> 你 在 apache 里配置 一个 host 就可以了 22:04:45 <wsdjeg> 那该怎么设置下呢 有高手指点下么 22:04:54 <wsdjeg> 如何配置呢 Evanescence wsdjeg: you can set up Wordpress following official tutorial Evanescence wsdjeg: and ubuntu wiki is usful too 22:06:27 <szsloss> wsdjeg: http://carrot.iteye.com/blog/232558 22:07:01 <szsloss> wsdjeg: http://clin003.com/servers/windows-configure-apache-virtualhost-1850/ 22:07:09 <szsloss> 网上多的是啊 22:10:26 <wsdjeg> 还是高不明白 22:10:29 <shellex> ACTION 在咕噜牛奶 22:10:33 <bluek> sudo gedit /usr/share/gnome-session没有啊 22:10:48 <wsdjeg> 直接点阿 在什么地方加什么文件 内容是什么 22:11:48 <wsdjeg> 具体怎么弄阿 大哥 22:21:27 <caleb-> wsdjeg: 开了服务记得要设置防火墙 22:21:35 <caleb-> wsdjeg: 裸奔不是好习惯 22:21:48 <wsdjeg> 不懂 22:21:53 <wsdjeg> 怎么设置呢 22:22:18 <caleb-> wsdjeg: ubuntu 默认有图形介面的感觉当年的聊天记录现在看了，都看不下去了，当时申请的 tk 域名，后期就没再用过。
虽然现在无法下载原来的 Windows Live Writer，但是感谢开源社区维护了一个开源的版本：OpenLiveWriter
-
大学毕业了
2006年，这一年我考上了苏州大学。家里人都非常高兴，就如同2003年那会儿考上了仪征中学一样。 在选择专业的时候第一志愿直接选择了生物科学专业，因为高中期间，几门课程当中生物课学的最好。 依然记得，新生报道是我的父亲陪同一起来的大学。 我们提前了一天来到了苏州，当时小姑姑住在白马涧那边，我们还去了白马涧公园玩了一下，河里的水清澈见底，还有桃花水母。
第二天，我和父亲一起来了学校报道。 报名好了整理完宿舍的时候，父亲再三叮嘱一些事情就离开了。 我也不太记得具体是什么事情，没过多久父亲又回来找到了我，他的脸色不太好，有些发白。 他没有说，其实我是知道的，父亲很少坐车出远门，折返回来坐车一定是晕车了。 父亲的话很少，仍然是叮嘱了那几句话就回去了，然而，这次叮嘱，明显感觉声音在哽咽。 从小打到，我记忆中就没见过父亲掉眼泪，他脾气其实不太好，和妈妈、爷爷奶奶经常拌嘴， 是个很要强的人，这是我记忆中第一次见到父亲落泪。想来也是，以往高中、 初中基本上就在家附近，哪怕是高中也是周末都回家，上了大学离家太远了。
我更新这篇日志是2024年，距离大学毕业过去了整整十四年。回过头来再看， 发现居然没人任何物件可以支撑这四年的记忆，回忆起来挺吃力的，感觉记忆也是零碎的， 前后错乱的，似乎都没有一个时间主线。依稀就记得那么一些人和事，可能再过几年，这些记忆应该慢慢会更加的淡化。
-
模块化 vimrc 初体验
Vim 使用已经快有4个年头了，从最早期的只有一个
~/.vimrc文件，到之前一个完整的~/.vim目录， 期间配置文件结构也改变了很多。配置也变得越来越臃肿。体验过 eclipse 这样的工具后，回过头来在看看 Vim 的配置，似乎也可以把一些功能做成一些模块， 然后根据自己实际的需求载入这些模块。
在这里，我们使用 Bundle 这款工具来管理插件，大致的思路如下：
主文件结构
~/.vimrc:
" 将插件管理器加入 rtp set rtp+=~/.vim/bundle/bundle call bundle#begin() " 模块逻辑 let g:modulars = ['core', 'java'] " 根据模块变量载入模块 for m in g:modulars exe 'so ~/.vim/modulars/' . m . '.vim' endfor call bundle#end()模块结构
我们以 Java 模块为例：
~/.vim/modulars/java.vim:
Bundle 'javautil.vim' Bundle 'javaclass.vim' " 插件配置 let g:java_util_foo = 'xxx'
-
Lua 数据库访问
-
Lua 面向对象