lambda calculus 最讓你震撼人心的是什麼?

時間 2021-06-01 01:10:53

1樓:

說說自己比一切皆函式更進一步的理解吧:函式與值的統一。

1.一切皆函式。所以lambda calculus是只有一條歸約規則的最簡運算模型。

2.一切皆值。所以lambda calculus對函式與值的操作是完全一致的。這種計算模型可以實現高階函式,成為了函式式程式設計的基礎。

相比之下,圖靈機的tape和transition function兩個概念還是分離的。

另外個人用計算模式的抽象過程可以模擬計算機的發展。

起初我們有算盤,它可以用來記錄特定資料,但我們依舊需要腦內的方程來進行運算。

後來我們有了差分機等等special purpose computer,它們本身相當於乙個與具體數值無關的方程,即一階方程。它可以運算元值,但不可以操作其他函式。

最後我們有了馮·諾依曼,在他的general purpose computer中,值與函式在底層的實現是統一的。硬體並不去分辨一段***是具體的值還是函式。馮·諾依曼的機器相當於乙個高階函式直譯器,高階函式(可以操作函式的函式)抽象的具體實現,其對待值與函式的方式與lambda calculus直譯器是一致的。

所以我們就知道了,馮諾依曼的general purpose computer結構為什麼一定會被設計成這樣。

什麼時候最迷茫 最孤單?

拜拜 當你面臨困難無人幫助時,會孤獨,當你面對壓力而無人關心時,會孤獨,其實這些孤獨都是自己給自己強加上的,怎麼能定義何時是最孤獨的時候呢?1 孤獨是不受時間和場合限制的,即使在喧鬧的人群中也會有孤獨的感受,獨自一人也未必就會孤獨,2 不被理解,孤立無援,失去摯愛的,無論什麼,只要是這些,就會讓人孤...

你寫過的最文藝的,最逗比的,最傷感的話?

溫柔是只鬼 1 世間無限丹青手,一片傷心畫不成。唐代高蟾 金陵晚望 譯文 這世上有無數的丹青聖手,可都畫不出內心的傷感。2 自在飛花輕似夢,無邊絲雨細如愁。宋代秦觀 浣溪沙 漠漠輕寒上小樓 譯文 窗外,花兒自由自在地輕輕飛舞,恰似夢境,雨淅淅瀝瀝的下著,漫無邊際地飄灑著,就像愁緒飛揚。3 一聲梧葉一...

夜不能寐 最清醒還是最糊塗。?

水一方 我每一次要做一些狠心的決定我都會選擇在深夜,因為這個時候能干擾我情緒的只有我自己腦子的想法,所以即使過後我會後悔,我依然覺得這是對的,痛苦就是痛苦,深夜不會欺騙自己。所以我覺得深夜自然是我最清醒的時候,當然,因人而異吧! 好好的 你要是理智清醒就會明白,夜不能寐就很難早起,明天搬磚就要遲到,...