1樓：MisT大野兔
1. 機器語言
2. 彙編，彙編裡個人感覺cisc（比如x86）比risc（比如mips）更難學一點
3. （個人意見）高階語言裡面強型別比弱型別難學一點，靜態型別比動態型別難學一點，函式式程式設計比其他程式設計正規化難學一點。但主流的高階語言都已經足夠容易入門了。
4. 精通任何一門語言都是極為困難的
5. 個人認為幾乎不可能有人精通C++（逃）另外我注意到有答友提到verilog，verilog和其他硬體描述語言是否屬於程式語言我個人持保留意見，在學習難度上我個人認為介於2、3之間
2樓：
這個問題難倒我了。有什麼特別難學的麼？對我來說 APL 系是相當讓人頭大的，因為她的 parse 次序很鬼畜，然而其在 IBM 輝煌的那會是很流行的語言，甚至只需要最基本的程式設計知識，比如會一點 C，就能開始學的程度。
BF 難麼，難個雞，本身也不過是個山寨版的學術語言，學術語言本來就是設計成能讓人學的，我天天見人搞 BF meta evaluator。INTERCAL 這種對稍微有點計算機知識能寫機器語言的就完全破功了，原理簡單的一比，就算是裡面故意設計成笑話的 come from （捏他 goto），蛤蛤，物件導向程式設計比這誇張多了。esoteric lang 只能說是難用，原理個個都很簡單，不然也不可能被一拍腦袋就設計出了。
要說有什麼能讓人公認的，就只能耍點小聰明了。
沒有被發明出來的程式語言。不存在的自然是無敵的。
和只留下名字的程式語言。想學也沒機會。比如 MINT Is Not TRAC。TRAC (programming language)
程式語言中， type, typed, typing 有什麼區別？
遊客賬戶0x0 type是型別，和term類似，是一系列元素的集合，typed是term的性質，表示在某個型別系統下這個term可以被賦予型別。typing是type context，比如說HM之後principal type，沒有principal typing，但是STLC有。也就是說HM不能把...
為什麼有人說漢字是所有語言中最難接近語言本身的文字？
椰樹 語言要分開來 語和言，語是口頭表達，言是文字表達。漢字擅長記意，弱於記音。其實，這也是漢語 字和語 的一種權衡取捨，重意而舍音 六經中 樂經 的丟失暗含這個取捨 所以漢字表達各種自然聲音的詞拙劣且缺乏。因此，可以說，漢字弱於表語，但極強於表言。方言對表語方面也就成了一種補強，無需具體漢字。漢字...
程式語言中內建型別是怎麼實現的？
Yunfei Lu 都有。一種語言，首先有基本型別，其實就是資料在記憶體的布局，方便表示不同種類的資料，例如整型和浮點是一定要有的，因為cpu的規範。再組合得到陣列，函式型別等，再發展出代數型別，然後包裝成介面 類 泛型等高階概念。基本型別在編譯器裡規定。至於標準庫中定義的型別，通常是某種組合的封裝...