作者godfat (godfat 真常)
看板PLT
標題Re: [閒聊] 邏輯式語言與函數式語言
時間Sun Feb 25 16:40:21 2007
※ 引述《reader (讀者)》之銘言:
: 這應該是指 purely functional programming language 才是這樣。
: 像 Haskell 和 Clean 都是,這十年來 Haskell 當紅,成為函數式語言的
: 代表性語言,所以才讓人覺得函數式語言都是這樣。
我有個疑問,purely functional 在處理很多事情上會顯得很麻煩,
例如 I/O, 或其他本身就具有各種 state 的問題…。如此一來,
purely functional 是否變得有些過分執著…?
: 但實際上 "不純" (impure) 的函數式語言反而比較多,像早年比較熱門的
: LISP, Scheme 到 ML, 或總是被當成明日之星,卻始終沒起色的 Erlang,
: 都不是純函數式語言。
說到 Erlang, E 好像也蠻有趣的。從 CSSE 看到 actor model 就對此抱持
高度好奇。可惜要看的東西實在太多了,就一直沒仔細研究過…。
另外 E 跟 functional 好像也沒什麼關係就是了。
http://en.wikipedia.org/wiki/E_%28programming_language%29
: 而在 OO 熱門之後,像是 CLOS, Dylan, Objective Caml 這類結合 OO 的
: 函數式語言,也都流行過一陣子。
: 拋開學生最愛的 Haskell 不談 (若無 lazy evaluation 的出現,純函數式
: 語言幾乎被認為是一種無用的學院派程式語言) ,商業上最成功的 Common
: Lisp, 就是什麼都有的,以函數式語言為主的混合式語言。
Alice 在 Standard ML 上加了 lazy evaluation,
用起來是否會比 Haskell 要來得方便許多…?
不過他的實作有點讓我乍摸之下搞不太清楚要怎麼用,
不知道有沒有實用的可能。
http://en.wikipedia.org/wiki/Alice_%28programming_language%29
--
Hear me exalted spirits. Hear me, be you gods or devils, ye who hold
dominion here:
I am a wizard without a home. I am a wonderer seeking refuge.
Sacrifice
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 220.135.28.18
1F:推 ephesians:我想問題在於functional會不會遭遇state的挑戰 02/25 17:46