//大概要學過點函數式編程才能往下看，畢竟我也就是隨便寫寫，都沒怎麼準備仔細解釋。

擺脫現實的限制

我們終究要靠機器來運行我們的想法，為此我們不得不做出妥協。比如機器這個實體是無法理解無限這個概念的，無論是無限的大還是無限的精確亦或是其它一切與無限相關的事物，於是我們需要把我們的想法限制在有限這樣的范圍之內。另一個限制則是時間，一切實體都無法跨越時間而存在，而概念確可以貫穿時間。

然而Haskell是有無限的概念的，它巧妙地改變瞭往常人向機器（Real World）妥協的傳統——盡管無法讓機器實際理解無限，但是我們可以“命令”機器表現出理解瞭無限的樣子。這個命令便是惰性，讓程序保持懶惰，僅僅是“盲目”得去相信無限遠處的真實，而不是徒勞地探索那不可及的區域。仔細想來，作為人類，我們對無限的理解也是起源於“惰性求值”外加對邏輯的執念——這和現在的Haskell對無限的理解大致處於同一層次。當然瞭，現在我們對無限有瞭一些更深的理解。Haskell向幻想鄉邁出的另一步就是純粹的函數式，完全不帶副作用，由此思想擺脫瞭時間這另一個現實的固有屬性。

純粹的思維領域

Haskell的抽象層次隔離瞭實體的一些固有屬性，讓機器向人類的思維方式更靠近瞭一些，這使得人類獲得瞭不少解放——我們可以用一種更加接近描述的方式來引導程序的執行，描述的完成同時意味著程序的完成，這意味著我們可以把更多精力放在看清問題（事物）的本源，並去定義這個問題（事物）。一個純粹的沒有實體痕跡的由概念交織而成的思維領域，這大概是Haskell最讓我興奮的地方瞭，純粹函數式的無副作用，實際可以理解為它從一堆概念中又析取出瞭一個新的概念，而這整個過程都與實體（包括時間）無關。

----

最近看Scala，Golang，覺得還是要把Haskell這樣純粹的函數式語言仔細看一看。我也算是二刷Haskell瞭吧，隻不過一直實踐的少，果然最後想寫點感想就寫成上面這樣的風格瞭。