Posts

  • 30th June 2012

80分钟8语言

今天要做一个关于不同编程语言的演讲,我介绍了Scheme, Smalltalk, Lua, Perl, Ruby, Prolog, Erlang, OCaml, Haskell,其中Perl是作为反例出现的。这些语言大多是这一年用零碎时间学的,像Lua、Prolog、Erlang、OCaml都只是看完了一两本入门的书,对它们的特点、优点短处、擅长领域有了个比较粗浅的认识;Scheme、Smalltalk则是一本书都没看完,理解就更为肤浅了;Haskell虽然看过两本入门教材,也翻看过不少文章,但它博大精深,广博之处只能窥见一二,精妙之处也无法领会太多,但还是列出了一些我所知道的。

…

Read more →
  • 2nd June 2012

Evil--在Emacs中模拟Vim

这篇文章过时了,参见皈依Emacs,现在我对操作方式有较大调整。

Vim模拟

平心而论,Vim的modal editing确实比Emacs强,而Emacs默认的按键绑定设计不好,不适合使用,要让它适合做工作环境往往要改大量按键。“一千个读者心中有一千个哈姆雷特”,Emacs的配置也确实大相径庭。

…

Read more →
  • 7th April 2012

gcc中sqrt实现

对于sqrt(3);,Visual Studio会报告有歧义的重载函数调用,而gcc却能把这个解释为对sqrt(double)的调用。研究了一下gcc的实现,发现sqrt其实是《C++ Templates: The Complete Guide》中提到的type function,使用了名为SFINAE (substitution failure is not an error)的技术。这里是给出一个使用该技术的sqrt的简易实现:

…

Read more →
  • 14th March 2012

给xbindkeys添加key sequence支持

xbindkeys不支持emacs风格的key sequence,不过由于它可以调用guile来支持scheme的配置文件。xbindkeys的tarball里有一个配置文件,支持key sequence的特殊形式:两个键的序列。

最近正好学了些scheme,就好好折腾了一把,写了一份配置文件,可以支持任意长的key sequence(当然太长的一般用不到)。

…

Read more →
  • 25th February 2012
  • 11th February 2012

Haskell学习笔记

机缘巧合,写了两个用到Parsec的Haskell程序。一个是Untyped lambda calculus,另一个是 po2db。adam8157对神器Pandoc大为赞赏,这也是Parsec的应用。Parsec 也有不少其他语言的复刻版,不过不少语言都缺乏Haskell自定义中缀操作符的功能,实现一个parser所写出来的代码可能会冗长很多。

…

Read more →
  • 19th January 2012

根据计划求解Rush

Rush Hour是一款滑板游戏(这个词并不陌生,常见的滑板游戏还有华容道、八数码等)。规则很简单,看这里的图就明白了。

…

Read more →
  • 11th January 2012
  • 8th January 2012

计算所有后缀的排名

占位。以后补上解释。

Prefix-doubling algorithm。

…

Read more →
  • 24th December 2011

网络学堂feeds2mail

用网页来看网络学堂的公告很费时间,就打算像 rss2email 那样,把消息制作成邮件。 用 Ruby 的 mechanize 来和网站交互,读取“课程公告”和“课程文件”中的消息, 把链接 sha1 后判断是否生成过提示邮件,没有则跟踪链接,用 w3m 输出成纯文本, 生成的邮件用 sendmail 投递。

…

Read more →