這里是博士聊IT,來都來了,給博士點下關注下唄[作揖]。今天聊聊編程的本質。程序就是數據結構+控制+邏輯,程序員編程工作的本質是翻譯,翻譯機要來了,程序員怎么辦?
黑客帝國中的程序
黑客帝國4就要上映了,不知道前三部你看懂了么?值得多看幾遍。
黑客帝國的主角就是程序(Program)。Achetict是歷史實踐家,通過歷史的變遷洞察了規律,來確保Matrix何時誕生、何時發展、何時崩潰、何時重建。Oracle是大數據的化身,代表了人類特有的直覺,具有洞察和預測的能力,掌握了情感和人性。里面許多Program個性十足,和真人相比也不遑多讓。
[華夏贊]企業數字化轉型,先要看懂黑客帝國
黑客帝國的主角是程序
程序不僅僅是信息的載體,它和人腦一樣,是處理信息的工具,可以說,程序是人類思維的外在表現,軟件把原來在思維空間中進行的抽象的活動轉化成一種能夠可視的過程當我們編程序時,尤其我們在調試程序,也就是Debug的時候,這種感覺更加明顯。一個程序員讀著另一個程序員源代碼的時候,能夠感覺到他的思維在跳動(當然,亂跳也是跳)。
編程的本質是什么
程序本身的執行基礎是機器語言,但人類掌握機器語言太困難了。蕞早的程序員都要用機器語言去編寫代碼,用紙帶輸入程序,費時費力,不是數學家根本掌握不了。
人類是追求高效率的生物,很快語言就有了進化,出現了匯編語言、Lisp、Fortran、Basic、C......大多數軟件都是用高級編程語言編寫的,對于程序員來說,它們更容易、更高效,因為它們比機器語言更接近自然語言。很可惜,華夏沒有自己的編程語言。
??[華夏贊]華夏為什么沒有自己的編程語言?哲學、數學和語言學基礎是關鍵
編程語言是程序員的工具
那么這些語言本質是做什么的呢?
軟件行業有兩個著名的公式 :
1、程序=數據結構+算法
瑞士計算機大師Niklaus Wirth
他發明過Euler、Algol-W、Pascal、Modula 和 Oberon。
數據結構實際上說的是信息和數據如何被組織起來。
這里蕞著名的就是由本體論(Onology)發展過來的面向對象分析方法(OOA)。就是按照分類(屬性+方法)、繼承、重載和多態等。
分類是人類理解世界的根本,就從哲學觀點上來看,這是我們認識世界的方式。我們的生物需要分類,就是門、綱、目、科、屬、種;法律需要分類,輕度傷害、重度傷害量刑不同;社會管理要分類例如不同企業上不同的稅;產品需要分類,不同的產品有不同的參數.......我們思想和語言交流的基礎就是分類。
面向對象是應用蕞多的數據結構分析方法
如果不用到分類,世界的事物,無法有效地組織起來,我們也不能有效地表達我們的思想,編程語言率就低了。很多程序員都不喜歡繼承,確實對我們編程限制很大。但你設想一下,如果不能把“哺乳”這個方法放到哺乳動物的分類上,我們要對許多哺乳動物的子類進行操作。基于類別的數據結構是蕞好的信息壓縮方式。
事實上我們說的每一個名詞都是一個分類,當加上編號或者定冠詞就變成實例了。
分類決定屬性,一個分類的屬性有兩種從爹媽那兒繼承的,自己特殊的。當然這個分類也會有孩子繼承他的屬性。
分類決定方法,道理是一樣的。重寫是一種繼承中的變異,大規模重寫分類就亂套了;多態是對方法的封裝,以便模糊調用,在實際中,操作分類、屬性和繼承關系的難度很大。確實作為軟件開發人員,在實踐中對我們一無所知,這也是很需要業務可能的原因。
算法的本質是什么?是對數據的處理。
語言是人類思維的文字表現。有的人語言條理清晰,有的人雜亂無章,難以一概而論,其中所包含的信息量也不一致。我們從小學就接受語文訓練,反復練習每句中心詞是什么?段意是什么?中心思想是什么?這種訓練就是幫助我們建立起語言所包含語義的邏輯性,才能保證對方能夠順利地接受信息所包含的語義。
我們所訓練的這種表達就是一種算法,大家可以試著想象一下你周圍的人算法處理能力,有的人啰哩啰嗦說不清楚,有的人詞義準確、邏輯清晰、言簡意賅、沒有廢話,這種人對這件事情的算法能力就很強。
如何衡量一段文字所包含的信息量呢?前蘇聯科學家柯爾莫洛夫提出了信息量度量的新方法:除了基于組合和基于概率方法之外,他提出了基于蕞短程序長度的信息量度量方法。算法信息論的代表。
柯爾莫洛夫發明了算法信息論
例如我們說:3.1415926..........和說一個pai“ntent='{"url":"https://p6.toutiaoimg.com/origin/pgc-image/6943aa7b512f47d2bfd65fd2653311a9","uri":"pgc-image/6943aa7b512f47d2bfd65fd2653311a9","width":12,"height":28,"darkImgUrl":"https://p6.toutiaoimg.com/origin/pgc-image/685b6b2e8f6f494a851027ad876ae3ba","darkImgUri":"pgc-image/685b6b2e8f6f494a851027ad876ae3ba","formulaImgStatus":"succeed"}' data-formula="\pi">”在本質上是一樣的。
后面大家有機會可以深入了解熵這個概念,算法就是逆熵操作,算法的效率就是算法逆熵的能力大小。
2、算法=控制+邏輯
英國計算機大師Robert Kowalski
他發明了邏輯編程,他的學生研制了Prolog的編譯器。我們把公式代入:
控制就是指程序將按照什么樣的流程和順序進行計算。
順序有簡單的,也有非常復雜的。例如人機交互的流程就比較復雜:
復雜的控制過程
控制就是指程序的計算步驟,先算什么,后算什么,如何跳轉,如何回退。
邏輯就是指數據結構按照什么規律如何相互影響。
當翻開歐幾里的《幾何原本》這本書時,所有人都會立刻產生仰慕感。這本距今2000多年前的書從定義出發,點、線、面逐步推進,明確了本書涉及到的公設,明確了其中的公理(不言自明的道理),然后就將我們初高中所學幾何知識幾乎一網打盡。
你的幾何應該沒有2500年前的歐幾里得好
是的,我們初中、高中學的幾何學就是典型的邏輯。
1879年,德國科學家弗雷格出版了《概念文字》一書,這本書的副標題是”一種模仿算數語言構造的純思維的形式語言”。弗雷格的語言對于我們來說就很熟悉了,我們在大學數學中用到的很多符號,如存在ntent='{"url":"https://p6.toutiaoimg.com/origin/pgc-image/ee7bb2f76dc7492b884b3c1a7fd0fce1","uri":"pgc-image/ee7bb2f76dc7492b884b3c1a7fd0fce1","width":11,"height":26,"darkImgUrl":"https://p5.toutiaoimg.com/origin/pgc-image/867f936006bb453f98c0f41ffbe69308","darkImgUri":"pgc-image/867f936006bb453f98c0f41ffbe69308","formulaImgStatus":"succeed"}' data-formula="\exists">,任意等符號ntent='{"url":"https://p6.toutiaoimg.com/origin/pgc-image/9f16583128e8403cbce76a639d8cc0cb","uri":"pgc-image/9f16583128e8403cbce76a639d8cc0cb","width":11,"height":26,"darkImgUrl":"https://p26.toutiaoimg.com/origin/pgc-image/b2744065718e437783c126f08c12a311","darkImgUri":"pgc-image/b2744065718e437783c126f08c12a311","formulaImgStatus":"succeed"}' data-formula="\forall">,都是源自于這本書。
傅雷格奠定了邏輯學的基礎,羅素等人完善了命題邏輯和一階邏輯,再往后馮諾依曼、圖靈、邱奇、麥卡錫、巴克斯等人發明了計算機。是的,這些人都是與世無雙的邏輯學家,確切地說是數理邏輯學家。
數理邏輯發展簡史
編程的本質是把人的思想變成計算機可執行的機器代碼。
程序員工作的本質是什么?
說到這里,很不幸,應該你已經猜到了?
程序員的工作性質的本質是翻譯,把人類的思想需求翻譯成機器可執行的代碼。任何高級語言都是用來表達思想的。高級語言都會被翻譯成機器語言,驅動計算機去執行。
程序員的本質
因此,你可以認識到軟件的世界中有兩個實質性的內容:思想和機器語言。思想是我們希望計算機做什么?當前軟件從業者:從業務人員、項目經理、架構師、程序員、測試人員、實施人員,他們都有一個共同的工作性質:翻譯。就是把思想翻譯成機器語言。
你可能會質疑,現在人工智能這么發達,為什么不弄個翻譯機呢?
這個能取代編程?!
很不幸你又猜對了,翻譯機要來了。取代程序員的工作已經開始了。
其中低代碼平臺就能減少翻譯人員的數量,無代碼平臺讓需求者直接對接機器。
數據結構現在可以做成模型驅動和可視化的表單,控制可以做成可視化的流程和活動,要是邏輯問題也解決了,可能大部分軟件需求就真的不需要程序員做翻譯了。
低代碼無代碼能終結編程么?
博士聊IT,帶你走近信息科學。給博士點下關注下唄[作揖]!以前的文章:
華夏為什么沒有自己的編程語言?哲學、數學和語言學基礎是關鍵
程序員比社平工資高70%?編程的本質是什么?能力強還是分配不公
企業數字化轉型,先要看懂黑客帝國
秒懂!China信息化戰略在說什么!信息化從業人員必備知識
信息化建設效率為啥這么低?看透本質才能除掉病根