智能越來越人工了， 機器越來越會學習了。人，還能幹什麽？我推薦一下

拜馬來人的問題，我突然想到問自己，人工開始智能 機器都在學習。人，還能幹什麽？

當年，計算機之父圖靈的圖靈機概念為第一個計算機語言 FORTRAN 立下了 imperative language 的groudwork。而圖靈的老師 Alonzo Church 搞了 lambda calculus，造就了 第一個 functional language: Lisp

早期 是 imperative language 和 functional language 之爭，好像 imperative language略勝幾籌。

AI 的概念也幾乎同時就有了，而且早期的AI研究中，Lisp是最重要的主角。從 symbolic 處理到 prototyping，非 Lisp不可。七十年代認為，到了九十年代，95%的計算機工作都是 AI。實際情況是，到了九十年代，做 AI的不到 1%。那時，AI和Lisp 雖然一直被看好，但一直蟄伏。

接著 Prolog出場了，這是一種全新的語言，declarative 語言，因為都人工智能了，不需要命令式的imperative語言，而是 declarative 語言，直接告訴機器你要什麽。

雖然現在Prolog做的專家係統，幾乎壽終正寢了。但是 智能越來越人工了，機器越來越會學習了。imperative語言，AI都會編寫，還會比大多數專業的編的好，那麽還需要學 imperative語言嗎？如果不 的話，學什麽呢？

我推薦一下新的declarative語言，這些才是程序員和AI進行交流，告訴AI你需要什麽的語言：

1） D 語言，兼備 imperative語言和declarative語言，非常好的兼顧，適合 performance critical AI 程序
2）Idris 語言 類似 Haskell。隨著AI編程Python越來越亂，Idris提供可靠的AI編程
3）Oz 語言，適合 AI 程序的整合
4）Racket 非常 flexible, 可能在 Robotics 大顯身手
5）Scala 適合大數據

現在這些語言並非主流，但未來可期

所有跟帖： 

• 虛心請教，近期熱門的docker是幹嘛的？ -Pilsung- ♂ (0 bytes) () 05/03/2024 postreply 22:18:45

• 這玩意已經被淘汰了吧？ -我是誰的誰- ♂ (0 bytes) () 05/03/2024 postreply 22:24:24

• 沒有，為何我的油管老給我推這個。 -Pilsung- ♂ (0 bytes) () 05/03/2024 postreply 22:29:23

• Docker正熱，還整合進 Kubernetes -兄貴- ♂ (0 bytes) () 05/03/2024 postreply 22:30:25

• dockers是集裝箱化後台的主要工具。 -總要注冊- ♂ (0 bytes) () 05/04/2024 postreply 04:27:57

• 用於isolation的 -兄貴- ♂ (364 bytes) () 05/03/2024 postreply 22:28:04

• 謝謝。另外ML，你們都是用tensor flow嗎？ -Pilsung- ♂ (0 bytes) () 05/03/2024 postreply 22:31:14

• tensorflow 不行了，Google隊伍都解散了。現在是PyTorch, -兄貴- ♂ (0 bytes) () 05/03/2024 postreply 22:34:48

• 哈哈，看來學都趕不上變化。。。。 -Pilsung- ♂ (0 bytes) () 05/03/2024 postreply 22:35:44

• 所以，童子功還是體育、閱讀與數學，其它的都是product，coming to you -我是誰的誰- ♂ (0 bytes) () 05/03/2024 postreply 22:38:07

• 是，以後那些建立網站的估計都跟Wix一樣，可以打包做成一個user friendly interface。 -Pilsung- ♂ (254 bytes) () 05/03/2024 postreply 22:40:03

• Google隊伍解散還不到一個星期 lol -小糊塗仙2000- ♀ (0 bytes) () 05/03/2024 postreply 23:41:56

• 讚一下，超出了我的認知能力範圍了：） -兩女寶媽- ♀ (0 bytes) () 05/03/2024 postreply 22:21:30

• 除了Scala，前四個都不認識 -成功的兔- ♀ (0 bytes) () 05/03/2024 postreply 22:26:26

• 你牛：） -兩女寶媽- ♀ (0 bytes) () 05/03/2024 postreply 22:28:13

• 我也是，但是我不明白為什麽Scala適合大數據，我覺得Scala能做的python也都能做 -小糊塗仙2000- ♀ (176 bytes) () 05/03/2024 postreply 23:40:57

• scala運行在jvm上，速度比python快。python問題是速度慢, youtube最初是python後改java -兔快跑吧- ♂ (0 bytes) () 05/04/2024 postreply 04:54:54

• 我看懂這句。在整個學習過程中，激發，保持，維護小孩對 CS 的興趣，是非常重要的。學數理化一樣？再問兄貴？ -馬來人- ♀ (0 bytes) () 05/03/2024 postreply 22:49:04

• 對於普娃，天賦普通，數理化朝深學，很怕打擊他們信心，我不敢拿競賽題出來，怕娃覺得難而不喜歡數學。現在想超前學，娃自己推 -馬來人- ♀ (833 bytes) () 05/03/2024 postreply 22:54:51

• 對，不管學什麽，千萬不能使小孩產生厭學情緒。當然也要小孩明白，有些科目，也是非學不可 -兄貴- ♂ (174 bytes) () 05/03/2024 postreply 23:03:31

• 九十年代中用過一個叫Scala 的數據庫係統。不知很此語言有沒有啥關聯 -julie116- ♀ (0 bytes) () 05/03/2024 postreply 22:58:39

• 不知道Scala 數據庫。Scala語言強在 數據庫 libraries -兄貴- ♂ (0 bytes) () 05/03/2024 postreply 23:06:50

• Scala不少用在處理Big data 方麵。數據量大 -jonjon- ♀ (206 bytes) () 05/04/2024 postreply 04:32:00

• 我娃上過一門Cryptography，據他說用的都是他數學競賽學的技能。 -ginger2003- ♂ (0 bytes) () 05/04/2024 postreply 06:02:33

• 教授是以色列理工數學係畢業的博士。 -ginger2003- ♂ (0 bytes) () 05/04/2024 postreply 06:03:28