椰林星诺是双榆树的一个咖啡厅，就在宏状元粥店边上。因为这里提供的无线网络叫做 Yellow Stone，我和老婆总是称之为黄石咖啡。最初我们是因为不愿意交 ADSL 初装费，鸡贼地跑到这里上网，结果一发不可收拾，最近一个月的开销应该大大超出了初装费了。我最近沉迷于这里的龙舌兰咖啡，这样独特的东西在大众化的星巴克是不存在的。

 

BTW:刚刚吃完香喷喷的红烩牛肉，25 块钱，还有沙拉、汤和面包，作为夜宵，实在是太多了。

　　类型系统也学了一两年了，以前只知道它和 Category 的关系。最近摆弄类型系统的时候，才发现很多东西可以用代数系统来描述。

 

　　类型：

Harmonic: Melodic -> Harmonic(Functional Style)

 

Harmonic Hamonic::resonate(Melodic) (Object style)

 

　　可以表达为一元代数：

 

Algebra with infinite unary operators in Melodic and

 

m:Melodic(a:Harmonic) -> b:Harmonic

 

　　很容易推导出：

 

there is a limit in Harmonic,

 

for all M in Melodic, we have M(limit) -> limit

 

AND

 

there is an EQUALITY in Melodic

 

for all h in Harmonic, we have EQUALITY(h) -> h