Re: [閒聊] 邏輯式語言與函數式語言
※ 引述《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
推
02/25 17:46, , 1F
02/25 17:46, 1F
討論串 (同標題文章)
PLT 近期熱門文章
PTT數位生活區 即時熱門文章
