怎樣評價 LambdaConf 提出的「函式式程式設計技能表」?

時間 2021-05-29 23:00:28

1樓:何幻

語言本來就是溝通交流用的啊。。

2023年9月在美國奧勒岡州的波特蘭,

舉行了一次關於函式式程式語言和計算機體系結構的會議,FPCA'87。

人們提到了函式式程式設計社群的現狀。

社群中已經出現了十幾個非嚴格語義(non-strict semantics)的純函式式程式語言,

它們全都表現力豐富,而且建立在語義學基礎之上。

然而,沒有一門公共語言用來交流,妨礙了這些語言的廣泛使用。

於是,會議達成共識,決定設計一門新的語言,用來更快的交流新想法

這樣可以保證基礎更加牢固,也可以推動實際生產環境中的應用,

對於那些想學習函式式語言的人們,也方便了許多。

這門語言就是Haskell,以邏輯學家Haskell B. Curry命名。

A History of Haskell

2樓:

lambda和functional是對立的

We owe a great debt to Kenneth Iverson for showing

us that there are programs that are neither word-at-a-

timenordependent onlambdaexpressions, and for

introducing us to the use of newfunctionalforms.

—— Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs

3樓:rainoftime

題外話,其實我覺得,談到「函式式」就拿Haskell這種量級的作對比,作標桿,對推廣FP並非好事。。有很多人是真的覺得,「」沒GADT,HKT之類的也能幹活怎麼滴!」、「Coq的依賴型別我都弄不明白呵呵噠!

」。。對於社群推廣者,路要一步一步地走,必要時用JS也可以安利FP的;對於學習者,自己用著舒服開心最重要,先腳踏實地。。

回到正題,這分類自然是不合理的,比如Graph reduction, equational reasoning也不並多難懂,感興趣的莫被誤導。。

如何評價芭提雅?

又浪費了一次改名 應該說是大開眼界 和朋友去了步行街一家酒吧 朋友喝多了去上廁所,我在卡座度秒如年,左邊一老頭一女的在那啪敷啪敷 不懂的自己去查 那表情別提有多猥瑣,動作像鑑賞藝術品似的,把臉埋上去一邊揉一邊吸。坐右邊更一男的點了瓶酒,來了乙個女的把瓶蓋起開了,然後握起酒瓶就往某部位來回抽送了十幾下...

怎樣讓男生主動提分手

今天下午查了這個問題看了一圈沒有滿意的 晚上得出答案了 傷他的自尊讓他感覺你在羞辱他而你告訴他你只是心品氣和的講了實話就ok了 野孩子 快速的 戴綠帽 慢速的 時刻和他聯絡,做不到就說你不愛我了鬧脾氣,做得到可勁纏著他吧啦吧啦 用他手機,不給就說你不愛我了鬧脾氣,給了就以安全感為由刪他好友 讓他為你...

男生提分手怎樣才會復合?

Alice 一段感情,男生主動提出了分手,不一定是因為不愛了,但是一定是因為不想再愛了。不愛了和不想愛了是兩個概念,前者是真的對你沒有感情了,後者是還有感情但是已經愛不動了,不想再愛了。不管是男生還是女生,愛不動了一定是因為這段感情讓人感到疲憊。也許是頻繁的爭吵讓人心累,也許是一次次期待落空以後的失...