原创 隨筆12-4

幾天了,不想說一點話。   erlang程序設計看完了,不出意料,是一個本好書。寫的很多,但是都不是特別深入,屬於導論型。下面又要開始讀技術手冊了。。   這幾天的學習,說實話,erlang的語法實在是不怎的,最出彩的倒不是它是一門FP語

原创 emacs color-theme

(color-theme-gray30)這個主題還行

原创 停筆~

對於JavaEye沒有解決syntax highlight問題深表遺憾   而且最重要的排版能力。。   希望可以參考tex   這個也是大多數blog的通病

原创 Section 1.3

 1.29 cube :: Double -> Double cube x = x*x*x getSum term a next b = if a>b then 0 else term a + getSum term (next a)

原创 Section 2.1

2.1 {-data Ration x = R Integer Integer instance (Show a) => Show (Ration a) where showsPrec _ (R n d) = show

原创 SICP 第一章小結

--包括一些摘錄和感言,和零碎的代碼 1、要素   寫道 Every powerful language has three mechanisms for accomplishing this: * primitive exp

原创 Section 1.2

1.9 略 1.10 略 1.11 {- recursive style f3' n | n<3 = n | otherwise = f3(n-1) + 2*f3(n-2) + 3*f3(n-3) -} get

原创 Functional Programming For The Rest of Us

原文鏈接:Functional Programming For The Rest of Us 原文作者:Vyacheslav Akhmechet 翻譯:lihaitao (電郵: lihaitao在gmail.com) 校對:劉凱清 程

原创 Git日常命令

Git Daily Commands (Git日常命令) By jianingy on October 10, 2008 10:00 PM

原创 Section 2.2

2.17 {- Prelude.last -- | Extract the last element of

原创 Iterate abstract --Prelude

熟悉Haskell的同志對這個標題很熟悉,iterate Prelude。然而這裏的prelude只是本意,前奏曲。我想寫點東西,講講我對haskell的理解和學習記錄,這些文字即是開始。   計算機理論的發展,很大程度都是抽象的發展,i

原创 11-24自省

我在想,爲什麼現在我的提高很慢?   抽象無非就是三種:   1、數據的抽象 2、函數的抽象 3、模塊化   現在,我看書和做題目都沒有問題,haskell到現在,除了對Monad和更高級的技術不大熟,我覺得,精華我已經領悟了。但是又總是

原创 談談Haskell的抽象

數據抽象 原子 Tuples && Lists 代數類型 Monads 函數抽象 原子 高階函數 多態(函數類) 模塊化(Modules) 最牛的應該是函數可以像有機體一樣疊加,無語,不可以這麼強的。。

原创 爲什麼要學FP

1、抽象和模塊化大幅提高生產力 2、FP中函數是First-class elments,抽象能力進一步增強   由上,要進一步提高生產力,請學習FP

原创 Show and Read

還不是特別明白,但是已經可以工作了。   附件是一個講義