While strong, static typing makes Haskell safe, type inference makes it concise. The result is potent: we end up with a language that’s both safer than popular statically typed languages, and often more expressive than dynamically typed languages. This is a strong claim to make, and we will back it up with evidence throughout the book.
— Real World Haskell
— by Bryan O’Sullivan, Don Stewart, and John Goerzen
2011.01.09 Sunday ACHK
戴得「勞力士」o既人，都唔會係靠勞力搵食o既人士。
（戴得起「勞力士」的人，都不會是靠勞力賺錢的人士。）
— 黃子華
玩得「大富翁」o既人，都唔會係大富翁。
（玩「大富翁」遊戲的人，都不會是大富翁。）
— Me@2011.01.09
2011.01.09 Sunday (c) All rights reserved by ACHK
.
All power tends to corrupt, and absolute power corrupts absolutely.
* Lord Acton, letter to Mandell Creighton, April 1887.
.
.
.
2011.01.09 Sunday ACHK
但是，即使不是「完全挑戰」，只是「嘗試挑戰」，要把你可以挑戰的那一百樣東西都「嘗試挑戰」的話，就已經十分麻煩。
（安：這是一個很有趣的講法。根據你的意思，一般人的「思考作業系統」，會令人生存到，但不會是上佳的「作業系統」。）
一般人的「思考作業系統」，會令人生存到，但不會令人快樂。
（安：這就解釋了為何這個地球的一般人是這樣的 —— 即使所處的現狀十分荒唐，他們仍然會視之為理所當然。）
我剛才所講的，就是他們的「苦衷」。
所以，我們應該主動看一些超凡的書籍、聽一些超凡的說話。超凡的人和書會提點我們，生活現況中的哪些東西，是最值得挑戰的。
— Me@2011.01.09
2011.01.09 Sunday (c) All rights reserved by ACHK
Physics Town 