解理解范疇中的高階結(jié)構(gòu)和弱等價(jià)之間的對(duì)應(yīng),會(huì)使得我們對(duì)數(shù)學(xué)的理解更上一個(gè)臺(tái)階。 撰文?|?葉凌遠(yuǎn) 前言 今天這篇文章是 集合論 vs 范疇論 = 匯編語言 vs C++?|范疇論哲學(xué) I 的續(xù)篇。上
展卷 ? 華東理工緊急排查,上海為什么不恐慌? ? 11月15日 集合論 vs 范疇論 = 匯編語言 vs C++?|范疇論哲學(xué) I ? 胰島素百年路:小小蛋白,四屆諾獎(jiǎng)|世界糖尿病日 ? 11月16
熱評(píng):
驅(qū):Fortran 編譯器(1957) ? 第一臺(tái)現(xiàn)代計(jì)算機(jī)并不容易操作。那時(shí),編程真的是要手動(dòng)“編”成的,研究人員需要用電線將成排電路連接起來。后來隨著機(jī)器語言和匯編語言的出現(xiàn),用戶才得以使用代碼編
經(jīng)過層層編程之后最終才落實(shí)到電子脈沖里。這是一個(gè)經(jīng)歷了層層編程、機(jī)器語言、匯編語言、高級(jí)語言、人類其他的努力等設(shè)計(jì)出來的,你不可以一口氣還原到下邊去。 人類的認(rèn)知,還有我們情緒的感知,在大腦里都是經(jīng)歷
都怕。 ? 比如說,有個(gè)擅長用匯編語言寫保護(hù)模式代碼的程序員,用自己開發(fā)的字處理軟件寫小說,一不小心跨界拿了《聯(lián)合報(bào)》文學(xué)獎(jiǎng)中篇小說大獎(jiǎng),死了二十多年還被人當(dāng)成寫字界的標(biāo)桿。 ? 他就是王二王小波
件描述語言——Chisel。包云崗解釋,在芯片設(shè)計(jì)行業(yè),很多人仍在使用上世紀(jì)80年代初發(fā)明的Verilog語言,就好比軟件業(yè)以前用的匯編語言,開發(fā)效率很低。過去幾十年,軟件行業(yè)逐漸用上了C、Java
伯克利的團(tuán)隊(duì)于2012年推出的一種新的硬件描述語言——Chisel。包云崗解釋,在芯片設(shè)計(jì)行業(yè),很多人仍在使用上世紀(jì)80年代初發(fā)明的Verilog語言,就好比軟件業(yè)以前用的匯編語言,開發(fā)效率很低。過去
層次時(shí),為了照顧代碼安全性,都會(huì)選擇高級(jí)語言或匯編語言。前者邏輯較為清晰,但驗(yàn)證安全性需要較為強(qiáng)大的編譯器;后者則更多需要在運(yùn)行階段才能查出錯(cuò)誤。Libra選擇了二者的折衷。其采用字節(jié)碼
,那是一臺(tái)IBM650,還有轉(zhuǎn)鼓那樣的東西。那時(shí),沒有編程語言,John 用的匯編語言也只有10個(gè)符號(hào),他也從來上過編程課。 ? 作為一名電子工程系的學(xué)生,John也上實(shí)驗(yàn)課,但他很快意識(shí)到,自己其實(shí)并
圖片
視頻
展卷 ? 華東理工緊急排查,上海為什么不恐慌? ? 11月15日 集合論 vs 范疇論 = 匯編語言 vs C++?|范疇論哲學(xué) I ? 胰島素百年路:小小蛋白,四屆諾獎(jiǎng)|世界糖尿病日 ? 11月16
熱評(píng):
驅(qū):Fortran 編譯器(1957) ? 第一臺(tái)現(xiàn)代計(jì)算機(jī)并不容易操作。那時(shí),編程真的是要手動(dòng)“編”成的,研究人員需要用電線將成排電路連接起來。后來隨著機(jī)器語言和匯編語言的出現(xiàn),用戶才得以使用代碼編
熱評(píng):
經(jīng)過層層編程之后最終才落實(shí)到電子脈沖里。這是一個(gè)經(jīng)歷了層層編程、機(jī)器語言、匯編語言、高級(jí)語言、人類其他的努力等設(shè)計(jì)出來的,你不可以一口氣還原到下邊去。 人類的認(rèn)知,還有我們情緒的感知,在大腦里都是經(jīng)歷
熱評(píng):
都怕。 ? 比如說,有個(gè)擅長用匯編語言寫保護(hù)模式代碼的程序員,用自己開發(fā)的字處理軟件寫小說,一不小心跨界拿了《聯(lián)合報(bào)》文學(xué)獎(jiǎng)中篇小說大獎(jiǎng),死了二十多年還被人當(dāng)成寫字界的標(biāo)桿。 ? 他就是王二王小波
熱評(píng):
件描述語言——Chisel。包云崗解釋,在芯片設(shè)計(jì)行業(yè),很多人仍在使用上世紀(jì)80年代初發(fā)明的Verilog語言,就好比軟件業(yè)以前用的匯編語言,開發(fā)效率很低。過去幾十年,軟件行業(yè)逐漸用上了C、Java
熱評(píng):
伯克利的團(tuán)隊(duì)于2012年推出的一種新的硬件描述語言——Chisel。包云崗解釋,在芯片設(shè)計(jì)行業(yè),很多人仍在使用上世紀(jì)80年代初發(fā)明的Verilog語言,就好比軟件業(yè)以前用的匯編語言,開發(fā)效率很低。過去
熱評(píng):
層次時(shí),為了照顧代碼安全性,都會(huì)選擇高級(jí)語言或匯編語言。前者邏輯較為清晰,但驗(yàn)證安全性需要較為強(qiáng)大的編譯器;后者則更多需要在運(yùn)行階段才能查出錯(cuò)誤。Libra選擇了二者的折衷。其采用字節(jié)碼
熱評(píng):
,那是一臺(tái)IBM650,還有轉(zhuǎn)鼓那樣的東西。那時(shí),沒有編程語言,John 用的匯編語言也只有10個(gè)符號(hào),他也從來上過編程課。 ? 作為一名電子工程系的學(xué)生,John也上實(shí)驗(yàn)課,但他很快意識(shí)到,自己其實(shí)并
熱評(píng):