作者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