※ 文章網址: https://www.ptt.cc/bbs/Soft_Job/M.1653738685.A.4E6.html
推 NciscalA: 推APL跟BQN,不過APL是 1962 年由 ken Iverson 開始設 05/28 20:19
→ NciscalA: 計的,他也因此拿了Turing award。另外還有J、Q跟K都是 05/28 20:19
→ NciscalA: array programming language。BQN 的線上 REPL https: 05/28 20:19
→ NciscalA: //mlochbaum.github.io/BQN/try.html 05/28 20:19
→ NciscalA: 然後介紹 APL 一定要秀 game of life 啊 05/28 20:22
→ NciscalA: https://www.youtube.com/watch?v=a9xAKttWgP4 05/28 20:22
→ waterwalk: 最近爬文爬到一個很奇耙的語言 brainfuck 05/29 00:55
→ waterwalk: 如果太閒想學也可以 但我看完只覺得網路用得太多 05/29 00:55
推 er230059: brainfuck蠻適合拿來練習寫complier的 05/29 01:09
噓 CoNsTaR: fortran 是 functional,SQL 是 declarative? 05/29 03:28
→ CoNsTaR: 你真的知道你自己在說什麼嗎??? 05/29 03:28
推 gozule: 有程式經驗可以試試rust,生命週期的概念很有趣 05/29 11:09
→ DrTech: 原文應該沒寫過functional 就來嘴了。 05/29 12:56
→ DrTech: 另外 programming paradigm 現在早就不用語言來分了。許多 05/29 12:58
→ DrTech: 語言都有多種paradigm。 05/29 12:58
→ DrTech: 物件導向的做法C#, java,也不叫做 procedure,叫做 struc 05/29 13:00
→ DrTech: tured。 05/29 13:00
→ DrTech: 用語言來分 programming paradigm,現在2022年都不適用了 05/29 13:01
→ DrTech: 。 05/29 13:01
→ waterwalk: 各位前輩 像C++ 可以模擬物件導向的語言 該怎麼分類呢? 05/29 13:59
推 CoNsTaR: C++ 算 multi paradigm,但寫 C++ 重點根本也不在 paradi 05/29 23:54
→ CoNsTaR: gm 所以算什麼其實根本沒差 05/29 23:54
→ botnet: 感謝回覆 05/30 10:37
→ leolarrel: 原po我們不分類的,.我們只有鄙視鏈(沒跟你開玩笑 05/30 10:47
噓 CoNsTaR: 和鄙視鏈有關係?你說 fortran 是 functional,SQL 是 de 05/30 22:25
→ CoNsTaR: clarative 就像有人問你鳥和魚長怎樣你回答蝴蝶是鳥,海 05/30 22:25
→ CoNsTaR: 馬是魚一樣 05/30 22:25
→ CoNsTaR: 海馬(SQL)的確是魚(declarative),但一般的魚根本不 05/30 22:26
→ CoNsTaR: 長那樣,蝴蝶(fortran)也根本不是鳥(functional),你 05/30 22:26
→ CoNsTaR: 引用的 wiki 也直接說了它就是 imperative,唯一能和 fun 05/30 22:26
→ CoNsTaR: ctional 沾上邊的也只有它的 pure function,到底從哪裡 05/30 22:26
→ CoNsTaR: 看出來的鄙視鏈? 05/30 22:26
噓 CoNsTaR: 推文完全沒有任何人提到哪個 paradigm 是 superior 哪個 05/30 22:38
→ CoNsTaR: 是 inferior,到底哪裡來的鄙視鏈? 05/30 22:38
→ waterwalk: 感謝C大回應 05/31 23:44
推 CoNsTaR: declarative 最大宗就是 functional,functional 還比較 06/02 23:35
→ CoNsTaR: 多人用的最大宗就是 ML 家族 06/02 23:35
→ CoNsTaR: 如果要 declarative 和 functional 到極致可以去寫 Agda, 06/02 23:35
→ CoNsTaR: Coq 或 Idris2 之類的 06/02 23:35
→ CoNsTaR: 在這些語言裡面任何一個 term 都是 declarative 和 funct 06/02 23:35
→ CoNsTaR: ional 的,包含 types 06/02 23:35
→ CoNsTaR: 如果想要試試 declarative 的話,要找有支援 gadt 的 pur 06/02 23:35
→ CoNsTaR: e functional languages,否則 types 不知道是從哪來的 f 06/02 23:35
→ CoNsTaR: unction 也不一定 declarative,如果只是想要試試看 func 06/02 23:35
→ CoNsTaR: tional 的話 JavaScript 支援的東西就夠你玩了 06/02 23:35
→ CoNsTaR: 如果不想要 Agda, idris 那麼深,也不想要 JavaScript 06/02 23:38
→ CoNsTaR: 那麼隨便,那其實就去玩一般大家推薦的 fp 語就好了啊 06/02 23:38
→ wulouise: 感謝C大補充<O> 06/05 15:38