類型的讀音 類型的意思
類型 (技術名詞)類型(type)以及類型系統的起源以及研究與發展是獨立于OOP的。早在五十年代的FORTRAN語言編譯器實現中,就已經采用類型系統作為類型檢查的一種手段。廣義的類型一般被定義為一種約束,也就是一種邏輯公式。而在對類型的研究過程中產生多種方法,比如【C&W 1985】等。而代數方法(algebraic approach)是一種非常好的建立類型的形式化規范的方法。代數中的一個類型對應于一系列元素,在它們之上定義代數操作。同時在此基礎上二階λ演算已經被用于繼承和模板所支持的模型。在上面兩種方法中,類型被認為是一系列滿足確定約束條件的元素,更抽象的方式可以把一個類型當作規定一個約束條件,如果我們規定的約束條件越好,相對應的被定義元素的集合就越精密,所以邏輯公式(logical formulas)就成為描述類型特征的最合適工具。在這里,我們不想深入的探究對于類型理論的各種不同的數學模型,我們需要明白的是類型(type)以及類型理論這個在編程語言中經常應用到的概念的內涵是極其豐富的,而其自身理論的發展并非局限于OOP之中,但當兩者相結合的時候就對我們的程序觀產生了巨大的影響。 類型 (漢語詞語)類型,指包含由各特殊的事物或現象抽出來的共通點的抽象概念;在 .NET 框架中,類型(type)又被稱作組件(component)。通常情況下,應用程序既包括我們自己創建的類型,也包括微軟和其他一些組織創建的類型。
- 類
- 型
“類型”的讀音
- 拼音讀音:
- [lèi xíng]
- 漢字注音:
- ㄌㄟˋ ㄒㄧㄥˊ
- 簡繁字形:
- 類型
- 是否常用:
- 否
“類型”的意思
基本解釋
基本解釋
類型 lèixíng
(1) [type;pattern]
(2) 由各特殊的事物或現象抽出來的共通點
(3) 邏輯演算中關于主目的不可兼的分類譜系之一
辭典解釋
類型 lèi xíng ㄌㄟˋ ㄒㄧㄥˊ 由各種具有共同特征的事物或現象所形成的種類。
如:「由于每個導演的創作意念各有不同,因而電影的類型也就有了多元化的發展。」
英語 type, category, genre, form, style
德語 Typ (S)?, Typus (S)?
法語 type
網絡解釋
類型 (技術名詞)
類型(type)以及類型系統的起源以及研究與發展是獨立于OOP的。早在五十年代的FORTRAN語言編譯器實現中,就已經采用類型系統作為類型檢查的一種手段。廣義的類型一般被定義為一種約束,也就是一種邏輯公式。而在對類型的研究過程中產生多種方法,比如【C&W 1985】等。而代數方法(algebraic approach)是一種非常好的建立類型的形式化規范的方法。代數中的一個類型對應于一系列元素,在它們之上定義代數操作。同時在此基礎上二階λ演算已經被用于繼承和模板所支持的模型。在上面兩種方法中,類型被認為是一系列滿足確定約束條件的元素,更抽象的方式可以把一個類型當作規定一個約束條件,如果我們規定的約束條件越好,相對應的被定義元素的集合就越精密,所以邏輯公式(logical formulas)就成為描述類型特征的最合適工具。在這里,我們不想深入的探究對于類型理論的各種不同的數學模型,我們需要明白的是類型(type)以及類型理論這個在編程語言中經常應用到的概念的內涵是極其豐富的,而其自身理論的發展并非局限于OOP之中,但當兩者相結合的時候就對我們的程序觀產生了巨大的影響。
類型 (漢語詞語)
類型,指包含由各特殊的事物或現象抽出來的共通點的抽象概念;在 .NET 框架中,類型(type)又被稱作組件(component)。通常情況下,應用程序既包括我們自己創建的類型,也包括微軟和其他一些組織創建的類型。
“類型”的單字解釋
“類型”的相關詞語
* 類型的讀音是:lèi xíng,類型的意思:類型 (技術名詞)類型(type)以及類型系統的起源以及研究與發展是獨立于OOP的。早在五十年代的FORTRAN語言編譯器實現中,就已經采用類型系統作為類型檢查的一種手段。廣義的類型一般被定義為一種約束,也就是一種邏輯公式。而在對類型的研究過程中產生多種方法,比如【C&W 1985】等。而代數方法(algebraic approach)是一種非常好的建立類型的形式化規范的方法。代數中的一個類型對應于一系列元素,在它們之上定義代數操作。同時在此基礎上二階λ演算已經被用于繼承和模板所支持的模型。在上面兩種方法中,類型被認為是一系列滿足確定約束條件的元素,更抽象的方式可以把一個類型當作規定一個約束條件,如果我們規定的約束條件越好,相對應的被定義元素的集合就越精密,所以邏輯公式(logical formulas)就成為描述類型特征的最合適工具。在這里,我們不想深入的探究對于類型理論的各種不同的數學模型,我們需要明白的是類型(type)以及類型理論這個在編程語言中經常應用到的概念的內涵是極其豐富的,而其自身理論的發展并非局限于OOP之中,但當兩者相結合的時候就對我們的程序觀產生了巨大的影響。 類型 (漢語詞語)類型,指包含由各特殊的事物或現象抽出來的共通點的抽象概念;在 .NET 框架中,類型(type)又被稱作組件(component)。通常情況下,應用程序既包括我們自己創建的類型,也包括微軟和其他一些組織創建的類型。
基本解釋
類型 lèixíng
(1) [type;pattern]
(2) 由各特殊的事物或現象抽出來的共通點
(3) 邏輯演算中關于主目的不可兼的分類譜系之一
辭典解釋
類型 lèi xíng ㄌㄟˋ ㄒㄧㄥˊ由各種具有共同特征的事物或現象所形成的種類。
如:「由于每個導演的創作意念各有不同,因而電影的類型也就有了多元化的發展。」
英語 type, category, genre, form, style
德語 Typ (S)?, Typus (S)?
法語 type