中語言超酷特性 之 多維泛指

2021-06-13 09:52:31 字數 1080 閱讀 6120

中語言計算技術研究與發展聯盟

舒生羽  [email protected]

泛指的基本意義在於使用多個名字的高自由度的組合來實現指稱,而且是帶有某種計算的組合。我們對泛指作出了一些細緻分析,從中認識到漢語裡面的指稱存在著深刻的內在結構。

事實上,結構在思維和計算中無處不在。如果我們分析這種組合形式的指稱方式,那麼就會發現在這些有著修飾和限定辭的,引數形式的泛指佐數也是帶有結構的,因此我們應該在語言中明確表達這一點。然而在通常的c++的模板方式的模板佐數冊子是乙個線性的序列,直觀上並無結構。當然事實上,通過使用模板類來巢狀模板的方式能夠實現一定的結構,但這會變得複雜而不便。

為此中語言提供了多維泛指這一概念來擴充套件泛指的概念。多維泛指其實也就是在泛指佐數裡面引入乙個維度概念,使得泛指佐數從乙個一維線性結構變成乙個二維平面結構。

它的形式大致如下:

-[維名]…. -[維名]泛指名字

在這樣的結構下,我們會讓程式變得出人意料的富有表達力。首先在可讀性可以增加許多,而且幾乎通常的漢語都程式了。比如

我》-愛(你);

我》-[很]愛(你);

我》-[跟]他》-[都]愛(你);

當然要使這種形式在實際的程式設計工作中發揮巨大的效用,我們還需要對程式的基礎資料結構和演算法方面作些深入研究。然而,這的確帶來表達上的根本進步。我們將可以從中語言的華庫(等價於c++的高階標準庫,以gcc libstdc++v3.0為基礎)和中語言內部的計算機代數系統上看到這一點。

這樣形式的符號串行都將是有嚴格計算意義的程式。但在當前中語言的形式中,由於缺乏豐富的實踐和充分的理論思考,以及其它經驗上借鑑,維名的嚴格語義並沒有正式定義。有興趣的朋友可以參與進相關討論。

下面是乙個使用中語言多維泛指構造的示例程式。這裡再次從公孫龍子的一篇文章---《堅白論》出發來構造出乙個簡單的例子程式。

下面是程式:

樸庫.標準進出;名;}

道: ()->()=

程式的執行結果如下:

官網檔案參考:

超酷程式/多維泛指.html

C語言陣列之多維陣列

多維陣列 可以理解為存放陣列的陣列 以宿舍或公寓為例 元素 就是乙個乙個房間 1001 一層 相當於是一維陣列 一棟樓 就相當於二維陣列 乙個園區 就相當於三維陣列 乙個高教區 就相當於四位陣列 乙個城市 就相當於五維陣列 多維陣列定義演示 int arr 10 10 10 10 10 10 pri...

C語言入門之多維陣列的指標變數

c語言入門之多維陣列的指標變數 一 多維陣列位址的表示方法 設有整型二維陣列a 3 4 如下 0 1 2 3 4 5 6 7 8 9 10 11 設陣列a的首位址為1000,各下標變數的首位址及其值如圖所示。在前面曾經介紹過,data c c語言允許把乙個二維陣列分解為多個一維陣列來處理。因此陣列a...

物件導向語言三大特性之多型

這篇文章不是和剛剛入行的萌新,適用於中級以上的程式設計師。這是後話 今天我們一起來聊聊多型。如果有人問你什麼是多型,相信大家肯定能夠說上兩句。但是對於核心部分的東西相信很多人還是說不清楚 多型的定義 同一種操作對於不同的物件有著不同的定義,不同的解釋,不同的執行結果。即同乙個物件呼叫乙個相同的方法得...