//大概要學過點函數式編程才能往下看,畢竟我也就是隨便寫寫,都沒怎麼準備仔細解釋。
擺脫現實的限制
我們終究要靠機器來運行我們的想法,為此我們不得不做出妥協。比如機器這個實體是無法理解無限這個概念的,無論是無限的大還是無限的精確亦或是其它一切與無限相關的事物,於是我們需要把我們的想法限制在有限這樣的范圍之內。另一個限制則是時間,一切實體都無法跨越時間而存在,而概念確可以貫穿時間。
然而Haskell是有無限的概念的,它巧妙地改變瞭往常人向機器(Real World)妥協的傳統——盡管無法讓機器實際理解無限,但是我們可以“命令”機器表現出理解瞭無限的樣子。這個命令便是惰性,讓程序保持懶惰,僅僅是“盲目”得去相信無限遠處的真實,而不是徒勞地探索那不可及的區域。仔細想來,作為人類,我們對無限的理解也是起源於“惰性求值”外加對邏輯的執念——這和現在的Haskell對無限的理解大致處於同一層次。當然瞭,現在我們對無限有瞭一些更深的理解。Haskell向幻想鄉邁出的另一步就是純粹的函數式,完全不帶副作用,由此思想擺脫瞭時間這另一個現實的固有屬性。
純粹的思維領域
Haskell的抽象層次隔離瞭實體的一些固有屬性,讓機器向人類的思維方式更靠近瞭一些,這使得人類獲得瞭不少解放——我們可以用一種更加接近描述的方式來引導程序的執行,描述的完成同時意味著程序的完成,這意味著我們可以把更多精力放在看清問題(事物)的本源,並去定義這個問題(事物)。一個純粹的沒有實體痕跡的由概念交織而成的思維領域,這大概是Haskell最讓我興奮的地方瞭,純粹函數式的無副作用,實際可以理解為它從一堆概念中又析取出瞭一個新的概念,而這整個過程都與實體(包括時間)無關。
----
最近看Scala,Golang,覺得還是要把Haskell這樣純粹的函數式語言仔細看一看。我也算是二刷Haskell瞭吧,隻不過一直實踐的少,果然最後想寫點感想就寫成上面這樣的風格瞭。
(報告出品方/作者:開源證券,諸海濱,趙昊)1、公司情況:深耕智能終端產品,2021年營收上漲39%1.1、發展歷程:成立於2011...