比浏览器更快的访问！
16 关系: 型別安全，平行運算，事件驅動程式設計，強型別，微軟研究院，函數程式語言，C♯，结构化编程，编程语言，面向对象程序设计，類型系統，语言集成查询，跨平台，Microsoft SQL Server，XML，指令式編程。
型別安全
在電腦科學中，一部分程式語言具備型別安全的性質。這個術語在不同的社群中有不同的定義，特別是正規的型別理論上的定義遠遠強過大多數的程式員的理解，但對於使用型別系統的認知，皆旨在避免必然的錯誤形式，和不良的程式行為（稱為型別錯誤）。 类型错误（type error）是错误或不期望的程序行为，由不同数据类型的差别所引起，适用于程序的常量、变量、方法（函数），如把整型（int）当作了浮点型（float）。 --用語習慣稱型別為--；--。 型別安全可以靜態方式實施，及早在編譯時期就捕捉到潛藏的錯誤；或者以動態方式，在執行時期關聯型別的資訊，並在必要時檢測即將發生的錯誤。型別安全是程式語言的性質，而不是程式所自有的。例如，有可能以型別不安全的語言，編寫出型別安全的程式。在此是以程式語言為主，而不討論以個人能力維護的型別安全。 某個行為之所以會被程式語言歸類為型別錯誤，通常是因為試圖對不適當型別的值進行運算。其分類的基本原則是：部分語言設計者和程式員的看法認為，如果所有運算不引起程式瓦解、安全上的瑕疵、或其它明顯故障，即為合理的，而不視之為一個錯誤；其他人則認為所有違背程式員意圖的，就是錯誤的，而且應該標上「不安全」。在靜態型別系統中，型別安全通常包含一個保證，所有運算式最終的值都是合理的靜態型別成員（比子型別和多態性所要求的還要更加精確細微）。 型別安全近似於所謂的記憶體安全（就是限制從記憶體的某處，將任意的位元組合複製到另一處的能力）。例如，某個語言的實作具有若干型別 t，假如存在若干適當長度的位元，且其不為 t 的正統成員。若該語言允許把那些資料複製到 t 型別的變數，那個語言就不是型別安全的，因為這些運算可將非 t 型別的值--給該變數。反過來說，若該語言型別不安全的程度，最高只到允許將任意整數用作為指標，顯然它就不是記憶體安全的。 大部分的靜態型別語言，都提供了一定程度的型別安全，而且其嚴格性更勝於記憶體的安全性。因其型別系統強迫程式員以適當的抽象資料型別定義來使用，即使對記憶體安全或任何可能的災難而言，並不需如此嚴格的要求。.
平行運算
#重定向 并行计算.
事件驅動程式設計
事件驅動程式設計（Event-driven programming）是一種電腦程式設計模型。這種模型的程式執行流程是由使用者的動作（如滑鼠的按鍵，鍵盤的按鍵動作）或者是由其他程式的訊息來決定的。相對於批次程式設計（batch programming）而言，程式執行的流程是由程式設計師來決定。批次的程式設計在初級程式設計教學課程上是一種方式。然而，事件驅動程式設計這種設計模型是在互動程序（Interactive program）的情況下孕育而生的。 事件驅動程序可以由任何程式語言來實作，然而使用某些語言來撰寫會比其他的語言來的簡單。有些整合開發環境（簡稱IDE）也會影響實作事件驅動程式設計的難易程度。有的 IDE 會使的開發工作變的很簡單，有的則否。.
新！!: Cω和事件驅動程式設計 · 查看更多 »
強型別
#重定向 強弱型別.
微軟研究院
微軟研究院（Microsoft Research，縮寫为MSR）是微軟公司在1991年創立硏究不同的计算机科学主題與問題的分部。微軟研究院其中一個固定的目標為「支持長期的電腦科學硏究而不受產品週期所限」。 微軟研究院是目前世界頂尖的研究中心之一，有很多在電腦科學、物理學、數學受到高度公認的專家及許多著名科學獎項得主在微軟研究院，包括圖靈獎得主東尼·霍爾、詹姆斯·尼古拉·格雷，菲爾茲獎得主Michael Freedman，沃爾夫獎得主Laszlo Lovasz，MacArthur Fellow獎金得主Jim Blinn與Dijkstra Prize獎得主Leslie Lamport。.
函數程式語言
函數式編程（functional programming）或称函数程序设计，又稱泛函編程，是一種編程典範，它將電腦運算視為數學上的函數計算，並且避免使用程序状态以及易变物件。函數程式語言最重要的基礎是λ演算（lambda calculus）。而且λ演算的函數可以接受函數當作輸入（引數）和輸出（傳出值）。 比起指令式編程，函數式編程更加強調程序执行的结果而非执行的过程，倡导利用若干简单的执行单元让计算结果不断渐进，逐层推导复杂的运算，而不是设计一个复杂的执行过程。.
C♯
C#是微软推出的一种基于.NET框架的、面向对象的高级编程语言。C#以.NET框架类库作为基础，拥有类似Visual Basic的快速开发能力。C#由安德斯·海尔斯伯格主持开发，微软在2000年发布了这种语言，希望借助这种语言来取代Java。C#已经成为Ecma国际和国际标准组织的标准规范。.
结构化编程
結構化程式設計（Structured programming），一種編程典範。它採用子程序、、for迴圈以及while迴圈等結構，來取代傳統的 goto。希望藉此來改善计算机程序的明晰性、品質以及開發時間，並且避免寫出麵條式代碼。 結構化程式設計在1960年代開始發展，及朱塞佩·賈可皮尼（Giuseppe Jacopini）於1966年5月在《Communications of the ACM》期刊發表論文，說明任何一個有goto指令的程式，可以改為完全不使用goto指令的程式，後來艾兹赫尔·戴克斯特拉在1968年也提出著名的論文《GOTO陳述有害論》（Go To Statement Considered Harmful），，因此結構化程式設計開始盛行，此概念理論上可以由結構化程式理論所證明，而在實務上，當時也有像ALGOL一樣，有豐富控制結構的程式語言來實現結構化程式設計。.
编程语言
编程语言（programming language），是用来定义计算机程序的形式語言。它是一种被标准化的交流技巧，用来向计算机发出指令。一种计算机语言让程序员能够准确地定义计算机所需要使用的数据，并精确地定义在不同情况下所应当采取的行动。 最早的编程语言是在電腦發明之前產生的，當時是用來控制及自動演奏鋼琴的動作。在電腦領域已發明了上千不同的编程語言，而且每年仍有新的编程語言誕生。很多编程語言需要用指令方式說明計算的程序，而有些编程語言則屬於宣告式編程，說明需要的結果，而不說明如何計算。 编程语言的描述一般可以分為及語義。語法是說明編程語言中，哪些符號或文字的組合方式是正確的，語義則是對於編程的解釋。有些語言是用規格文件定義，例如C語言的規格文件也是ISO標準中一部份，2011年後的版本為ISO/IEC 9899:2011，而其他55語言（像Perl）有一份主要的文件，視為是。.
面向对象程序设计
面向对象程序设计（Object-oriented programming，缩写：OOP）是種具有物件概念的程式編程典範，同时也是一种程序开发的抽象方针。它可能包含資料、、程式碼與方法。对象則指的是类的实例。它将对象作为程序的基本单元，将程序和数据封装其中，以提高软件的重用性、灵活性和扩展性，物件裡的程序可以訪問及經常修改物件相關連的資料。在物件導向程式編程裡，電腦程式會被設計成彼此相關的物件。 面向对象程序设计可以看作一种在程序中包含各种独立而又互相调用的对象的思想，这与传统的思想刚好相反：传统的程序设计主张将程序看作一系列函数的集合，或者直接就是一系列对电脑下达的指令。面向对象程序设计中的每一个对象都应该能够接受数据、处理数据并将数据传达给其它对象，因此它们都可以被看作一个小型的“机器”，即对象。目前已经被证实的是，面向对象程序设计推广了程序的灵活性和可维护性，并且在大型项目设计中广为应用。此外，支持者声称面向对象程序设计要比以往的做法更加便于学习，因为它能够让人们更简单地设计并维护程序，使得程序更加便于分析、设计、理解。反对者在某些领域对此予以否认。 当我们提到面向对象的时候，它不仅指一种程序设计方法。它更多意义上是一种程序开发方式。在这一方面，我们必须了解更多关于面向对象系统分析和面向对象设计（Object Oriented Design，简称OOD）方面的知识。許多流行的程式語言是物件導向的,它們的風格就是會透由物件來創出實例。 重要的物件導向程式語言包含Common Lisp、Python、C++、Objective-C、Smalltalk、Delphi、Java、Swift、C#、Perl、Ruby 與 PHP等。.
新！!: Cω和面向对象程序设计 · 查看更多 »
類型系統
在计算机科学中，--系統用于定義如何將程式語言中的數值和zh:運算式;zh-tw:運算式;zh-cn:表达式-归類为许多不同的型別，如何操作这些型別，这些型別如何互相作用。型別可以确认一个值或者一组值具有特定的意义和目的（雖然某些型別，如抽象型別和--型別，在----中，可能不表示為值）。型別系統在各種語言之間有非常大的不同，也許，最主要的差異存在於編譯時期的語法，以及執行時期的操作实现方式。 編譯器可能使用值的靜態型別以最佳化所需的儲存區，並選取對值運算時的較佳演算法。例如，在許多C編譯器中，「浮點數」資料型別是以32 位元表示，與IEEE 754規格一致的單精度浮點數。因此，在數值運算上，C應用了浮點數規範（浮點數加法、乘法等等）。 型別的約束程度以及評估方法，影響了語言的型別。更進一步，程式語言可能就型別多態性部分，對每一個型別都對應了一個極度個別的演算法的運算。型別理論研究型別系統，儘管實際的程式語言型別系統，起源於電腦架構的實際問題、編譯器實作，以及語言設計。.
语言集成查询
语言集成查询（英文：Language Integrated Query，縮寫：LINQ），發音"link"，是微軟的一项技术，新增一種自然查詢的SQL語法到.NET Framework的程式語言中，目前可支援C#以及Visual Basic.NET語言。2007年11月19日随.NET Framework 3.5发布了LINQ技术。 包括LINQ to Objects、LINQ to SQL、LINQ to Datasets、LINQ to Entities、LINQ to Data Source、LINQ to XML/XSD等。.
跨平台
跨平台泛指编程语言、软件或硬件设备可以在多种作業系統或不同硬體架構的電腦上運作。.
Microsoft SQL Server
Microsoft SQL Server是由美國微軟公司所推出的關聯式資料庫解決方案，最新的版本是SQL Server 2017，已在美國時間2017年10月2日發佈。 資料庫的内置语言原本是採用美国标准局（ANSI）和国际标准组织（ISO）所定义的SQL语言，但是微軟公司对它进行了部分扩充而成为作业用SQL（Transact-SQL）。 几个初始版本适用于中小企业的数据库管理，但是近年来它的应用范围有所扩展，已经触及到大型、跨国企业的数据库管理。.
新！!: Cω和Microsoft SQL Server · 查看更多 »
XML
可扩展标记语言（Extensible Markup Language，简称：XML），是一种标记语言。标记指计算机所能理解的信息符号，通过此种标记，计算机之间可以处理包含各种信息的文章等。如何定义这些标记，既可以选择国际通用的标记语言，比如HTML，也可以使用像XML这样由相关人士自由决定的标记语言，这就是语言的可扩展性。XML是从标准通用标记语言（SGML）中简化修改出来的。它主要用到的有可扩展标记语言、可扩展样式语言（XSL）、XBRL和XPath等。.
指令式編程
指令式編程（Imperative programming），是一種描述電腦所需作出的行為的編程典範。幾乎所有電腦的硬體工作都是指令式的；幾乎所有電腦的硬體都是設計來執行機器碼，使用指令式的風格來寫的。較高階的指令式編程語言使用變數和更複雜的語句，但仍依從相同的典範。菜譜和行動清單，雖非電腦程式，但與指令式編程有相似的風格：每步都是指令，有形的世界控制情況。因為指令式編程的基礎觀念，不但概念上比較熟悉，而且較容易具體表現於硬體，所以大部分的編程語言都是指令式的。 大部分的高级语言都支援四種基本的語句：.
