2017年7月27日 星期四

Haskell中用foldl實現foldr

假設折疊中的折疊函數是$f(x,y)$,要折疊$[1,2,3]$,初始值是$0$。
左折疊的精神如下:
$f(f(f(0 , 1) , 2) , 3)$
遞迴呼叫是發生在左邊的參數。
參數求值是從左到右的。因為一定要先遞迴到最深才能取得參數值,所以不能使用在無窮串列上。

2017年7月24日 星期一

windows上的gvim如何設定預設字型

gvim上設定預設字型向來是一件麻煩事,尤其在windows上。
問題是參數不知道應該長怎樣,隨系統的不同而不同。

windows上,開啟gvim之前系統會執行"_vimrc"的內容。
首先用視窗界面("編輯"→"設定字型")來設定字型。
接下來利用":set guifont?"指令來觀察參數應該長怎樣。
然後在_vimrc中最後一行輸入 「 set guifont="剛剛看到的參數" 」就可以了。
我的gvim 8.0,windows 7,最後結果是這樣

set guifont=Source_Code_Pro_Medium:h12:cANSI:qDRAFT