博客搬新家

鉴于blogger常年在墙外，严重影响了发贴的心情。终于搭建了自己的博客。 http://www.yi-programmer.com/blog/ 博客的成功运转跟下面这些光辉的名字是分不开，向创造这些东西的大牛们表示致敬，谢谢git，谢谢make，谢谢python，谢谢docutils，谢谢mako，谢谢pygments，谢谢latex。

hello

学习Haskell

发现自己学习一门新语言的时候总是去尝试找到一个能完全表达这门语言的最小子集，然后其他的都是语法糖。比如c语言这个子集基本就是汇编语言所提供的那些东西：分支跳转指针等，python的这个子集大概是些对象、类型、属性、duck typing之类的东西。这样可以帮助记忆。haskell的这个子集里都会有些什么呢？lambda、type、typeclass，这样考虑起来 haskell 语言的核心概念还是挺少的，就是有些理论还需要学习，函数式的风格需要转换过来。

monad与状态

最近重新捡起haskell来看了看，似乎对monad和程序状态的关系有点小小的明白了。强烈希望明白人指点一下。

 

话说用命令式语言写程序的时候，有明白人就强烈要求不要用全局变量不要用全局变量，其实要取消所有的全局变量也容易，不过就是增加几个参数而已，比如这样的程序：

 

int 全局变量=0;

void inc(){全局变量+=1;}

void dec(){全局变量-=1;}

void main(){inc(); dec();}

 

改成这样就成了：

 

void inc(int *变量){*变量+=1;}

void dec(int *变量){*变量-=1;}

void main(){int 全局变量=0; inc(&全局变量); dec(&全局变量);}

 

其实说起来，搞个全局变量也就是为了让函数少写几个参数而已。参数实在太多了，大不了就搞个 struct stat 把公用的参数给包装成一个。

函数式编程号称不准修改状态，那大不了就每次改都创建一份新的，然后返回了，这样程序就变成这样了：

void inc(状态,...){...; return 结果和新状态;}

void dec(状态,...){...; return 结果和新状态}

void main(){

    初始状态;

    新状态, 返回值 = inc(初始状态,...);

    新状态2, 返回值 = dec(新状态,...);

}

 

这样所有函数都要多加一个状态参数，要多返回一个新状态。麻是麻烦点，不过据说都要玩并行计算了嘛，忍了。

 

那么可以把状态这个东西本身抽象了一下，我们用python来模拟一下吧，假设原来的程序是这样的：

global_stat = []
def inc1(stat, input):
    return stat+['inc1'], input+1

def inc2(stat, input):
    ...
    return stat+['inc2'], input+2

a = 1
new_stat, a1 = inc1(global_stat, a)
new_stat, a2 = inc2(new_stat, a1)

为了简化这个问题，我们引入一个 bind 函数来进行抽象：

def bind(func1, func2):
    def lazy_bind(stat, value):
        new_stat, return_value = func1(stat, value)
        func2(new_stat, return_value)
    return lazy_bind

# 然后就可以这样来调用 inc1,inc2...

bind(inc1,
bind(inc2,
bind(xxx,
...
))...) (init_stat, defaut_value)

就我们这个例子来说，后面这种方式除了让程序更加诡异以外看不出来有什么特别的好处。
但是对于 Haskell 来说，很多基本的东西（IO）都是构建与这种类型的抽象之上，并且提供一些语法糖让代码变得更好看，这样一种抽象方式也就成为理解haskell程序很重要的一个东西了。
而haskell之所以说能够通过这种抽象方式来隔离纯代码和有副作用的代码（比如说具体的IO操作）就我个人理解就是因为可以把有副作用的代码放到bind里面执行，从而保证 inc1、inc2 这种函数的纯粹性。

所谓日久生情

不要怀疑，这个日就是你心里想的那个日，而且是被。 意思是说，再郁闷的东西，被郁闷久了，也总能从中发掘出一些稍微好玩一点的东西出来。 http://huangyilib.googlecode.com/svn/trunk/doc/js_best_practice.html 当然，玩python的兄弟就不要点了，主要是用来忽悠没玩过动态语言的朋友的。

无题

想起来也很久没有用python，尤其没有用来做web了，没想到还记得很清楚，不容易不容易。

linux下的半透明窗口

为了做一个显示歌词的小玩意，学习了一把x window，我希望歌词窗口能背景透明但文字清晰显示。理论基础就是 composite window manager（比如compiz）支持窗口使用 alpha channel。那么应用程序只要整好rgba的图像交给x服务器即可。 发现使用 gtk＋cairo＋pango 大大简化了工作。 代码：http://code.google.com/p/huangyilib/source/browse/trunk/py_transparent_window.py

关于设计模式

又看到关于设计模式的文章，突然联想到vim的作者说过一句大概是这样的话：学习vim的方法就是使用它，然后在使用过程中注意发现那些经常重复的行为，然后简化之。 写程序的模式又何尝不是如此呢？只不过程序的事情更复杂罢了，那些重复的模式往往需要灵感来发现，简化的方法也总是不那么明显，甚至需要思维方式的彻底改变。