看板
[ PLT ]
討論串[閒聊] 邏輯式語言與函數式語言
共 7 篇文章
內容預覽:
我是覺得還好啦。如果在語意中要描述有副作用的函數, 本來. 就是要把 state 當作另一個 argument 傳進去，再把新 state. 傳回來。在純 functional 語言中也是這樣寫的。. 當然，數學不比程式，前者不怎麼考慮模組化或是維護的問題。. 如果程式大了或複雜了，這麼傳來傳去很麻
(還有524個字)
內容預覽:
我想目前的趨勢仍是靠前者。目前 functional programming （以下. 簡稱 fp）最重要的會議 ICFP 的前身叫做 FPCA -- Functional Proramming. and Computer Architecture, 表示當時的熱門話題除了 fp, 還包括開. 發適
(還有717個字)
內容預覽:
不能這樣講，學術就是這麼一回事。. 經由這些年來的研究發展，現在它的實用性顯然比過去強得太多，許多觀念和. 技術也影響到其他程式語言的設計。. 而且我們可以考慮一種狀況：將系統拆解為許多的一次性輸入輸出，例如 web. 系統就是這樣的設計，網頁的生成就很適合純函數式語言來做，現在只是沒有. 相對完善
(還有610個字)
內容預覽:
我有個疑問，purely functional 在處理很多事情上會顯得很麻煩，. 例如 I/O, 或其他本身就具有各種 state 的問題…。如此一來，. purely functional 是否變得有些過分執著…？. 說到 Erlang, E 好像也蠻有趣的。從 CSSE 看到 actor mod
(還有390個字)
內容預覽:
就我所知，一般會拿來跟 functional 比較的是 imperative,. 即函數形式或命令形式的程式風格。而 functional programming. 一直不是主流方式，就我所知主要是因為在 turning machine 上. functional 的執行效率比之 imperativ
(還有286個字)