Fw: [問卦] 寫程式語言的語言是怎麼來的？

[okcool ( )]

※ [本文轉錄自 Gossiping 看板 #1RhWSNPG ]

作者: jserv (松鼠) 看板: Gossiping
標題: Re: [問卦] 寫程式語言的語言是怎麼來的？
時間: Fri Sep 28 18:48:47 2018

※ 引述《greattower (一劍定江湖)》之銘言：
: 小弟最近離開了SAS S+轉到C++軌道，
: 有一個問題一直困擾小弟很久，
: 寫出程式語言的語言到底是什麼？
: 一切的起源是怎麼來的，
: 又是誰規定，print hello world就一定是印出呢？
: 有沒有理組歷史系的大大來解釋一下？

這問題困擾我超過 25 年，身為「文組」的我，希望可以解答部分提問。
致力於人文和科學教育的 Crash Course [1] 有部很棒的短片，可在十分鐘內
回覆上述大部分問題，請見:
    https://www.youtube.com/watch?v=RU1u-js7db8

短片中提及人類史上第一個編譯器，A-0 System [2] 開發於 1951-52 年間，注意
到當時的用語是 "System"，而且名稱 A-0 代表 Arithmetic Language version 0，
與其說是今天我們提及的高階語言編譯器，不如說是程式的載入器 (loader) 或連結器
(linker)。

A-0 System 背後的人物非常關鍵，是 Grace Murray Hopper 準將 [3]，以下摘錄自
單維彰教授撰寫的介紹 [4]:

* 本姓 Murray，Hopper 是夫家的姓
* 1941 年，Grace 在她的人生中產生了極大的改變。 當時歐戰爆發，Grace 有了
  從軍的念頭，她想加入海軍。當時女人從軍都是做後備軍人，大部分都是護士，
  再不然就是擔任後勤。 如果是受過高等教育的女性，就會被分配要去做有關計算的
  工作，例如： 計算彈道，讓前線的砲兵知道如何使用砲彈。
* 她被分派到哈佛大學的一個後勤的計算局。當時的主持人是 Howard Aiken，也是
  Mark I, II, III 這一系列電機計算機的設計及製造者
* 1945 年 9 月 9 日，發生了一樁對電腦界而言非常重要的軼事。那天因為天氣很
  熱，他們都把窗戶給打開了，飛進來一隻蛾，結果那隻蛾被打死在一支繼電器裡面，
  造成電路不通，讓機器當機，使他們沒辦法算出他們要的結果。經過了近一天的
  檢查，Hopper 找到了那隻蛾，她用她的髮夾去把那隻蛾給弄出來，還把那隻蛾的
  屍體貼在她的管理日誌上，上面寫著：
  「就是這個 bug，害我們今天的工作無法完成。」
  這個消息傳開之後，那個實驗室裡的人每逢老闆詢問為何還沒做出結果時，都把
  過錯推給 bug。爾後，在電腦界中，遇到程式中有錯，就稱之為  bug。 除錯叫做
  debug
* 最大的貢獻是發明了全世界第一套編譯器，叫做 A-0。 在當時是沒有任何組合語言
  及程式語言存在的，所有的程式設計人員，都是要把程式翻譯成機器碼，就是翻成
  0011000101.. 這樣的形式，在紙上打洞，再送到機器裡面去讀。 ... 她便有了一種
  想法，她想設計一種程式，讓人可以用類似英文的語法，把想做的事寫下來， 然後
  用這個程式把英文翻譯成機器的語法，交給機器去執行。這個想法就是今日的編譯器
* 她提出這樣的構想時，眾人皆曰不可。所有人都告訴她電腦只能做計算，只能加減
  乘除，只能處理數字，電腦是不懂英文的 ... 1950 年代，大部分人尚未意識到電腦
  是用來處理資訊的工具，所有的人就是認為電腦是個計算機而已。
* 她的名言有很多，她自己最喜歡的:
  "A ship in port is safe, but that is not what ships are built for."
   (船泊港灣是安全的，但那並不是我們造船的目的)

延伸閱讀:
* Grace Hopper's compiler: Computing's hidden hero [5]
  By Tim Harford BBC World Service, 50 Things That Made the Modern Economy

如果你對編譯器的實作議題有興趣，歡迎參閱以下教材 (有錄影):
* 編譯器和最佳化原理篇: https://hackmd.io/s/Hy72937Me
* 編譯器原理和案例分析: https://hackmd.io/s/H1ZzeiCIQ

另外，printf (注意後面的 "f") 背後有很多學問，可以追溯到 1960 年代。下次如果
還有其他網友討論到 C 語言的歷史時，我再來整理分享。

[1] https://thecrashcourse.com/
[2] https://en.wikipedia.org/wiki/A-0_System
[3] https://en.wikipedia.org/wiki/Grace_Hopper
[4] https://bcc16.ncu.edu.tw/pool/3.06.shtml
[5] https://www.bbc.com/news/business-38677721

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 140.116.245.162
※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1538131735.A.650.html
推 stevekevin10: 有神先拜
推 ruokcnn: 有神先推
推 james732: 推認真回覆
推 Asbarla: 就知道會釣出來
→ saiulbb: 樓下碰到成大資工教授想趟麻?
推 jellyfishuan: 太神啦釣到大神了
→ jellyfishuan: 求教授讓我過啊不然要幹嘛
→ abian: bug
推 ts05593818: 推
推 james80351: 推
推 Nitricacid: 你文學系?
推 aa23512b: 有神快拜
推 imanda0324: 推推，終於知道bug由來
推 tw88: 大推宅瑟夫！！！！！！！！！
推 chrisgod: 太神啦
推 fs78123q: 先推再說
推 storyu59: 太神啦
推 kaj1983: bug原來是真的bug...
推 g5637128: 推
推 heinse: 先推
推 netio: 有神快拜
推 seeking214: 大推!!
推 beypola: 這ID還不拜個
推 Lamuneforty: 推  原來debug是這麼回事
推 jerryzero: 有神快推
推 cangyisu: 推 我理組我還沒研究過
→ jserv: @Nitricacid, 是啊，我致力於「文C雕龍」
推 iapf: 知識文！
推 kis28519: 有神快拜
推 cmcmcmcm2: XD 推推
推 Ericz7000: 推 這個故事我有聽過
推 chuegou: 有神先拜
推 kevin28: 大神
推 akway: 程式語言是女人發明的
推 shiyeh: 你啾啾鞋?            跪求啾啾鞋做這集XD
推 silentence: 語言  文組無誤（O
推 GTR12534: 一個語言最重要的是 compiler 吧嗎？
推 BaGaJohn5566: 程式語言也是語言 算文組科目
推 KirkSynder: 先推再看
推 cj010811: 先推再說
推 c00823ue: 每個人都把過錯推給bugXD
推 hni: 最近在寫這方面的小說，程式語言的起源跟駭客
→ jserv: @hni, 期待!
→ hni: 有很大的關係
推 saint01: 好
推 apflake: 有一句話的語法怪怪的,所謂資訊就是0與1
→ apflake: 的集合,怎麼會沒有人知道電腦是用來處理
→ apflake: 資訊
推 GUANYA: ！
推 thomaskov: 推個
推 followwar: J大
推 KLSAKKOCK: 有神先拜
推 capdie159753: 原來Bug是這樣來的
推 ShinRuei: 你程射系？
二戰期間，賓州大學和阿伯丁彈道研究實驗室共同負責為陸軍每日提供6張火力表，
每張表都要計算幾百條彈道，儘管改進了微分分析儀、聘用 200 多名計算員， 一張
火力表仍要算兩、三個月。電子計算機發展的迫切需求摧生了 ENIAC。

彈道研究實驗室發起 ENIAC 電腦，專案進行一年後，當時研究氫彈的 John von
Neumann 注意到這台電腦，隨後他所屬的洛斯阿拉莫斯國家實驗室深入參與 ENIAC
專案，以至於首度測試執行是計算氫彈相關資料，而非火力表。輸出資料是 100 萬
張卡片。

推 bbo6uis122: 推
推 StNeverRush: 喬瑟夫 推推
※ 編輯: jserv (140.116.245.162), 09/28/2018 19:16:41
推 AuroraSkyFox: 是真神人 快拜
推 freedls: 有神快拜
推 a122112259: 推
推 kevin31a2: 高級打字員沒那麼好當
推 a2470abc: 有神快拜
→ jserv: @ShinRuei, 先補上火力表計算驅策電腦發展
推 s890510: 推
→ jserv: @apflake, 應該是資訊「價值」認定不同所致
→ jserv: 好比說現在研究生多半是為了畢業證書而學
推 bochengchen: 推推推
推 xianyuyu:
→ jserv: 忽略了研究所的「研究」一詞背後的意義
※ 編輯: jserv (140.116.245.162), 09/28/2018 19:21:36
推 wkunhui: 有神必推
推 game610006: 推推
推 coolda: 跪下 你們這些凡人
推 yuting90: 推
推 fuhu66: 先拜再說
推 Neisseria: 我跪著看這篇文章
推 pig250907: 有神快拜
推 asmiocv: 原來bug是這樣阿
推 darkmn0131: 有神快拜!
推 tkc7: 娘子阿 快和牛魔王出來看上帝
推 APC: 推
推 rongyaya: 老師最近很有空發文
推 woaifafewen: 釣到了XD
→ jserv: @rongyaya, 餵奶換尿布的過程，我都在放空
推 tony5361627: 推 優文
推 LOWJ: 神
推 ThreeNG: 程式語言之女神!
推 Boyzone: 跪
推 appleball200: 推
推 no4: 我媽問我為什麼要跪著用電腦
推 asglay: 拜！
推 kiwi0530: 老師如果是文組，那理組都要撞牆了
推 gR7P4zXH: 現在加選來得及嗎
推 louis0724: 這句話好讚喔 真的很有遠見
推 shinobunodok: 膝蓋這東西本來就要貼在地上的
推 dvdplayer: 推
推 froce: 自從上次推jserv的文後，我的伺服器就不會
→ froce: 當機了
推 Gold740716: 比較想聽 printf 的故事，有資源嗎？
1960 年代初期 MIT 開發的 CTSS 作業系統 [6] 中，終端機命令就包含了 printf，
後者一路從 Multics 和 Unix 繼承至今

在 CTSS 原始程式碼 [7] 的檔案 com3 中可見到這行:
    STMTDC PRINTF,11,T,T25

前一行註解寫 "The following tables are the dictionaries of statement types"

檔案 com4 有其用法:
    OR WHENEVER E.($PRINTF$,$O$)

[6] https://multicians.org/thvv/7094.html
[7] http://www.piercefuller.com/library/ctss.html

推 soheadsome: 跪惹
推 ljsnonocat2:
※ 編輯: jserv (140.116.245.162), 09/28/2018 19:51:48
推 roxcido: 推
推 sqin: 跪
推 LierX: 原來是這樣啊  推一個
推 location: 很期待 vfprintf 的介紹～ 印個hello wo
→ location: rld 裡面真的好多知識
推 dennisto: tuning machine
推 sam612: 看到神先推
推 justastupid: 嗯嗯 跟我想的一樣
推 sdf611097: 推
推 da21510: 有神快推
推 john801110: iota什麼時後要起飛
推 w199381: 媽我在這!!!!!!
推 hellomotogg: 膝蓋一軟
推 Daichiuri: 大大
→ jserv: @john801110, 我下半年還沒撒幣，之後再漲
推 dodoju: 推！
推 FrogXD: 第一次推文組！
推 VOLK11: 好文，長知識
推 oscar3197: 原來我的高中老師沒唬爛我 bug的由來真
→ oscar3197: 的是因為這個！
推 Bookdaily: 1950、1960年代的人都像外星人一樣強
推 xm32: 讚讚讚
推 geroge0820: 電腦發展史其實蠻有趣的
→ geroge0820: 尤其是賈伯斯和比爾蓋茲的恩怨情仇
推 justtakethat: 先推
推 djyunjie: 神降臨了
→ jserv: 回顧 Bill Gates 當年的預測和對比現況
推 wow924: 請收下我的膝蓋
→ jserv:  => https://hackmd.io/s/BJ1gF_GBb
推 Lacher: 竟然是jserv本人！
推 gn01642884: 推
推 cool9203: 推
推 genaro:
推 XNCI714: 好文
推 vi000246: 有神快拜
推 zeroforcing: 大神推
推 FinallyPeace: Bug故事計概老師應該都會講
推 Debian: 我一直以為我不會腳軟，直到我看了作者的i
推 PeterSu1983: 先推 等等看
→ Debian: d膝蓋就不知不覺著地了。
→ fallinlove15: compiler 和 組語讀資工都有教吧
推 v9290026: 先跪
推 microtek1990: 推
推 cocota: 已跪
推 cy4v: 推
推 anyweather: 已跪
推 johnson35762: 太厲害了.....
推 ditto0718: 推
推 vespar: 文組推
推 ahahahahah: 先推
推 watashino: 有神
推 bug147123: 有神先拜
推 kindaichitom: jserv!!
推 notneme159: 推個
推 Elemath519: RRRRRRRRRR 先跪
推 a5245242003: 推
推 marisaac: 推
推 as80110680: 編譯器在資工應該不是必修了
→ a80055power: 宅色夫 跪
推 kindaichitom: 組語在很多學校也不是必修了
→ kindaichitom: 頂多計組這門課會教到一點點吧
推 xLiC: 太猛惹
→ leven0: 認真文推
推 smilephoto: Orz
推 applejam: 推
推 janrowang: 有神快拜
推 cary3410: 推
→ jserv: @as80110680, 在成大資訊系，編譯器必修(挺
推 shiwa: 推推推
→ jserv: @kindaichitom, 我女兒滿月時就會組合語言
推 jqskdo10502: 推
→ jserv: 只是女兒的「指令集」只有肚子餓和肚子痛
推 worf1128: 怎麼沒理組出來噓文組
推 bravo233295: 有神
→ jserv: 外加簡單的條件判斷和分支(哭著等喝奶)
推 silentence: 不是還有找爸爸媽媽討抱嗎
推 gonnaberay: 朝聖！
→ newversion: 宅家裡最安全 但不是我們被生出的目的
推 babyface1977: 跟著拜QQ
→ FlynnZhang: 有神
推 wlo1520748: 我只覺得那個大頭照很可愛 想認識
推 tcancer: 光看到引用膝蓋就軟了
推 Trista0717: 推bug的由來
推 Zzzip: 推
推 harrybbs: 一般人根本學不來的領域……
推 nottt: 推 jserv本人降臨
推 omegajoker: 推
推 sunday4you: 有神快拜
推 anann: a
推 Innocenceye: 大拇哥
推 johnny010111: 推
推 xjpjeass: 推系上神師
推 johnnyivw: Jserv 必須推
推 SKII588: 程式語言講古
推 saham002: 推
推 Jimmynick: Jersv!
推 gp03dan: 優質必推
推 morinokaze: 老師車上回文
推 y30048: 推
推 kaworu0612: 有神快跪 寫程式時從未想過這些由來耶
→ kaworu0612:  我最討厭debug了！除的掉上天堂 除不
→ kaworu0612: 掉下地獄
推 rex44391: 推
推 LiaoooSave1: 推
推 billy4195: 看到jserv先推一波
推 domon0525: 推
推 timbao: 太神ㄌ
推 davide68: 大神快拜
推 j10joey: 這ID我先跪
推 unknow: 神串朝聖！
推 cchcorporal: 草蜢本身就是一隻bug
推 jasonchangki: 有神快拜
推 RuinAngel: 太神啦 朝聖
推 wdianrdk: 神串留名XD
推 chang564: 哇賽，推
推 mackyou: 朝
推 workat60474: 神出現了！
推 tweence:
推 y2468101216: 大大先推
推 death3000: 先跪了
推 JacobSu: 推
推 vickysh: 推
推 xiaomeimei: 推
推 s9245034: 推推 這個起源很有趣
推 ATND: 原來bug是這樣來的
推 imjeffreylee: 認真文組？
推 MattOwl: 有趣
推 kevin801117: 先推再說
推 Anth: 推文組
推 lin900117: 推
推 tom1621: debug!!
推 AlvaroMorata: 朝聖
推 yao860718: 推
推 greattower: 隨便釣都釣到，太神辣
推 kt102441: 116
推 SMNOONMS: 拜神
推 Mood10207: 推
推 xkiller1900: 跪了
推 mdkn35: 居然釣到...
推 haleyye: 這ID先拜,影片真的超有用！！
推 onsy6: 圖中強者我麻吉 先推
推 yw1002: 從j大那裏可以學到很多東西 又不吝藏私
推 ryohei67: 這不推不行！！
推 jitaomef: 推
推 u35k6: 朝聖啦
推 clisan: 推
推 foreverwings: 有神快推～
推 zu00405479: 請問神哪邊可以將程式語言學的紮實?
推 helluin: 推推
推 yw1002: 回樓上某樓: 當你自以為已經很紮實 沒有
→ yw1002: 什麼需要在學了的時候 也是你停止進步之時
→ yw1002: 知識追求就是要無中生有 不滿足於現狀
推 tonyscat: 推
推 cshe096: 哇，版主足曾經經歷紙卡寫程式的時代或ap
→ cshe096: ple 2的時代?
推 leveger0903: 程式語言也是語言 所以這些人都是文
→ leveger0903: 組 咦？
推 neimad: 推
推 a731977: 跪了
推 lai526: J大開釋 有神快拜
推 Trulli: 推
推 ck97756: 推
推 homer00: 哇，釣到j大
推 happyjia: 朝聖推
推 kojojo: 有神阿
推 rex662624: 未看先推
推 tryme123: 推 不過這個故事不是很有名嗎
推 benjumin: 長知識了！
推 twetto912: 推
推 yin0123: 有神快拜
推 joseph93234: 朝聖
推 kqalea: 只能拜讀了
推 hkai: 推啊
推 MuziKAY: 跪著看完 淚
推 kbook: 推
推 Overpowered: 朝聖
推 gydiaw: 長知識！
推 Lpll: 好棒的科普阿，看了淚流滿面，謝謝老師
推 xhung: 推
推 Pcinereus: 再戰女啊台男們
→ mami5566: @@
推 CKYSChiang: 教授好
推 s900037: 推
推 Chiang51: 跪惹  有神快拜
推 kksoc123: J大！
推 Blunt: 跪
推 Dulcia: interesting
推 jeromeshih: 推
推 jssmile: 推...
推 Nick12356464: 先推
推 thomas81: 朝聖推
推 woifeiwen: 推推
推 we81712: 神串留名啊！！！
推 papple23g: 推
推 e761031: 推！！！！！！
推 casual001: bug的由來國小資訊課就教過了= =
推 Jruffian: 有神快拜
推 jpadesky: 有學有推
推 nightpigpig: 有神快拜
推 asqw2834: 推
推 Abelite: 有神快拜
推 Cybermark: ENIAC被丟在機房很長一段時間,因為沒人
→ Cybermark: 知道要把計算式改寫成打孔卡片.
推 jacky81005: 宅色夫！
推 kevinptt: 朝聖dada推XD
推 gg889g8: 神推
→ gipo776: 推
推 EvilKnight: 長知識推推
推 mikazeray: 真的，學資訊科技的人卻很少有人去探究
→ mikazeray: 這個起源 推
推 cosmicray: 看到一半發現id竟然是jserv大神!!是說
→ cosmicray: 身為理工宅還真的不知道這歷史...
推 pemit: 跪推
推 Demenz: 推 有神
推 pilitiger: 推！
推 ddd1264: 推！她的貢獻莫大
推 mmarty: 推
推 f29804937: 推推
推 Pictor: 推
推 aacs0130: 有神快拜！難得看到真大神
推 rosydark: 推
推 Phillse: 推
推 gn22431347: 推推
推 rescueM7: 大神先推再說
推 xiefengan: 朝聖推
推 lin0129: 真假，我書讀不多不要騙我
推 stw0975: 推
推 bnd0327: 電腦科學與馬尾，哪個才是你的最愛？
推 holoJ860825i: 神
推 gary886: 謝謝科普
推 Noopsfilm: 只有我不知道這id是誰嗎~求解
推 yzkeroro: wow是jserv大神
推 l7916213913: 釣出大神囉 老師我這學期修你的課
推 AlarmBell: 湊熱鬧
推 Joe90352: 大神!!!宅色夫
推 king23: 跪
推 ArtisChz: 原來是教授...
推 Yunyung: u神
推 simon80247: 推 有神快拜
推 j53815102: 膝蓋就給你了
推 Qoohunter: 有神快拜
推 a2975667: 有神先拜
推 bopanda: 優文
推 bobo03312: 有神快拜
推 sarsman: 跪推
推 momocatonly: ————-我只能出來拜神了————
推 gn0502900: 推
推 abb123456: 推
推 tsub: 有跪有推
推 major1394: 原來bug的典故是這樣來的喔！！！！
推 RWAllenL: 原來Bug來由是這樣 學了一課
推 LucasChen: 推
推 shawnext: 有神快拜
推 carriechu: 我也要推一下
推 hway: 推
推 whyuan: 哇靠
推 yukinoba: jserv大大教師節快樂～
噓 BitTorrent: 嘩眾取寵，
推 dafashrek: 有神快拜
推 Yenfu35: 看八卦板長知識
推 arue: 推
推 tsaodin0220: 推
推 ericjc: 有掛有推
推 Angola512: 推推
推 GWFreedom: 推
推 rereaa: 媽我在這！
→ jserv: @cshe096, 還好我用過 CP/M 作業系統
→ jserv: @BitTorrent, 鄉民不就是聊八卦取取暖嗎？
→ ai8051: 推到最後,一切都是電子驅動的是嗎
→ ai8051: 我推到最後，覺得電的發現真是一大奇蹟
→ jserv: @ai8051, 不透過電學，要打造計算機很辛苦
→ jserv: 木頭跟彈珠做的二進位加法器 =>
→ jserv: # https://youtu.be/GcDshWmhF4A
※ NoPTT:轉錄至看板 specialman                                     09/29 13:05
推 maxwellbkwt: 推
推 sakon: 文...文組.....
推 lpoijk: 有神快拜
推 jahfone: 召喚成功
推 thehoodguy: 推啊
→ smallcar801: 現在計概不教這些了嗎？
推 mike5312: 有神 快出來看
推 calamus: 好文推~有閒時細看覺得好有意思 謝謝分享
推 gestapo: id很眼熟…但我想不起來了，sorry
推 bugle: 朝聖推
推 osiris860411: 有神快拜
推 qwer5168: 朝聖推
※ 發信站: 批踢踢實業坊(ptt.cc)
※ 轉錄者: okcool (79.35.130.181), 10/06/2018 05:10:44