跳轉到內容

華夏公益教科書:程式語言書架

Add links
This project page is semi-protected.
來自華夏公益教科書
書架

生物學 | 計算機科學 | 計算機軟體 | 教育 | 健康科學 | 歷史 | 人文科學 | 語言與文學 | 語言 | 法律 | 數學 | 自然科學 | 物理學 | 程式語言 | 社會科學 | 學習指南 | 雜項 | 華夏公益教科書幫助

注意：如果您在這裡找不到您要找的內容，請檢視

Information

致編輯的說明
您現在可以使用語法突出顯示所有原始碼示例，方法是在其周圍使用 syntaxhighlight 標籤

 <syntaxhighlight lang="languageName">
 ....
 </syntaxhighlight>

如果該語言受 Pygments 庫支援，用於語法突出顯示

按字母順序

Ada – Bourne Shell 指令碼

Ada 程式設計 是一本教授 Ada 程式語言的教程。Ada 對良好的軟體工程實踐給予了獨特的重視，併為其提供了強大的支援，這些實踐能夠很好地擴充套件到非常大的軟體系統（數百萬行程式碼，以及非常大的開發團隊）。
圖片來源


C – FPI 指令碼

C 是一種 系統程式設計 語言，具有相當簡單的語法和一小套關鍵字，但與這些關鍵字相關聯的一組廣泛的規則。 它也是最常用的語言之一。 C 幾乎是您可以獲得的除 組合語言 之外的最低階程式語言。 C 最初是為了程式設計作業系統而設計的——具體來說，它是為了實現 UNIX 而設計的。 它編譯成非常小的可執行檔案，並且在 嵌入式系統 中被廣泛使用，這些系統記憶體有限。 C 是許多現代程式語言的基礎，或對其影響很大，例如 Java、C#、PHP 和 Python。

C++ 是一種通用的多正規化中級程式語言

C#

C# 是一種相對較新的面向物件程式語言，與 Java 非常相似，並且是 .NET Framework 的四種內建語言之一，由 Microsoft 開發。 Mono 專案 也為其他作業系統 (如 Linux、BSD 和 OS X) 實現了 .NET 的大部分內容。 C# 從 C++ 和 Java 中汲取了其功能，並解決了它們的不足。
D 是一種由 Walter Bright 建立並由 Digital Mars 提供的程式語言。它是一種 C++ 派生語言，重點關注執行效率、簡單的語義模型和安全特性。D 是一種多正規化語言，具有垃圾收集和 契約。對函數語言程式設計的支援正在開發中。有一個 對比表 可用於展示 D 與一些成熟語言的特性對比。
Eiffel 是一種純粹的現實世介面向物件語言，由 Bertrand Meyer 在 20 世紀 80 年代初從頭開始設計。它體現了幾種正式技術，例如使用斷言，使程式設計師和設計人員能夠在稱為契約式設計的一體化技術中使用它們，用於將軟體的功能分解為協同模組（類）。這些模組的正確互動透過使用先決條件、後置條件和類不變式來檢查，並與異常處理機制整合在一起。Eiffel 集成了多重繼承和泛型的優雅設計。
Elm 是一種強型別化的 響應式函數語言程式設計 語言，用於以宣告式方式建立圖形使用者介面。它編譯成 Javascript，以便程式可以在 Web 瀏覽器中顯示。

Gambas – Lush

Haskell 是一種具有最先進型別系統的惰性函數語言程式設計語言。本教程旨在對新手程式設計師足夠友好，同時又足夠深入，足以挑戰最有經驗的程式設計師。
圖片來源


在本高階 Haskell 教程中，我們將實現 Scheme 的一個重要子集。我們假設您沒有 Haskell 方面的先驗知識，但會快速進步。如果您有雄心壯志，為什麼不 在 48 小時內編寫一個 Scheme 直譯器 呢？
圖片來源
Java 是一種面向物件程式語言，可用於教授 OO 設計和開發的優勢，以及併發程式設計、異常處理和垃圾收集（自動記憶體管理）等高階概念。

Mathematica – Perl

Objective-C 為 C 添加了面向物件特性。面向物件模型基於 SmallTalk 模型。Objective-C 由 Brad Cox 開發，並被 NeXT 採用，因此成為程式設計 MacOS 和 Cocoa 的主要語言。
最初，Pascal 是一種旨在教授學生結構化程式設計的假想語言，幾代學生都在大學課程中以 Pascal 作為入門語言“磨練了牙”。Pascal 由Niklaus Wirth 開發，他也是 Modula 和 Oberon 的開發者，這兩者是更實用的語言。Pascal 的變體至今仍在廣泛使用，無論是在教育還是軟體開發領域。
效能指南為所有開發者、程式設計師和架構師提供資訊，以建立高效能的應用程式。
  • Perl - 50% 開發 截至 2005 年 10 月 10 日 (2005 年 10 月 10 日)
Perl 是一種解釋型語言。它通常用作文字處理、報告、粘合劑以及通用程式語言。它在多個計算機平臺上的可用性使其成為跨平臺開發工具。在 Unix 環境中，它通常用作 shell 指令碼的替代品。

PHP – XForms

  • PHP - 25% 開發 截至 2005 年 10 月 10 日 (2005 年 10 月 10 日)
PHP 是一種伺服器端語言，用於開發動態網頁。PHP 語法與 C 語法非常相似。PHP 通常使用 MySQL 資料庫伺服器載入頁面資訊，儘管它可以連線到其他資料庫伺服器，如 Oracle 或 Microsoft SQL Server。PHP 最初基於 Perl。
  • Prolog - 25% 開發 截至 2005 年 10 月 10 日 (2005 年 10 月 10 日)
Prolog 是一種基於一階謂詞演算的語言——一種表達數學邏輯的系統。與更流行的確定性程式設計公理相比，Prolog 程式是宣告性的，這意味著程式設計師宣告一組規則和事實，使用者提出問題。機器的任務是找到一種使用規則和事實來回答問題的方法。學習 Prolog 將使你更好地理解計算機輔助的自然語言句子分析，並增強你作為人工智慧程式設計師的能力。
Python 具有非常簡潔易讀的語法，並且透過直譯器執行，這使得玩弄小例子變得容易，這種動態性的缺點是 Python 程式通常需要比其他語言更多的測試[需要引用]。它被用於許多現實世界的大型專案，如 MayaVi、Google 和 Zope，並且已被 NASA 等組織用於協調大型計算機網路——這是一項 Python 被證明非常適合的任務。
這本書是一本旨在作為 Python 程式語言入門教程的教程。本指南適合沒有程式設計經驗的人，並且由於 Python 被認為是一種非常好的入門語言，因此它也可以作為程式設計的入門介紹。
這本書是一本旨在作為 Python 3.0 程式語言入門教程的教程。本指南適合沒有程式設計經驗的人，並且由於 Python 被認為是一種非常好的入門語言，因此它也可以作為程式設計的入門介紹。Python 3.0 和 Python 2.x 的差異很大，因此Python 2.6 非程式設計師教程 已被轉換為新的 Python 3.0 教程。
Ruby 是一種 反射型 面向物件程式語言。它結合了受 Ada 和 Perl 啟發的語法，以及類似 Smalltalk 的面向物件特性，還與 Python、Lisp、Dylan 和 CLU 共享一些特性。Ruby 是一種單遍解釋型語言。據說 Ruby 遵循最少驚訝原則 (POLS)，這意味著該語言通常表現得直觀或與程式設計師假設的一致。 松本行弘，Ruby 語言 的開發者，指出他的主要設計考慮是透過減少程式設計師必須做的瑣碎工作來讓程式設計師感到快樂，遵循良好使用者介面設計原則。目前，Ruby on Rails 框架因其在開發資料庫驅動的 Web 應用程式方面提供的便利性和速度而受到 Web 開發社群的廣泛關注。
  • SAS
  • Scriptol 0% developed  as of Mar 6, 2006 (2006 年 3 月 6 日)
  • Scheme
  • Scratch - 0% developed  as of May 27, 2007 (2007 年 5 月 27 日) Scratch 是一種圖形化的“基於塊”的程式語言，源自 Smalltalk，但面向教導兒童計算機程式設計的基本概念。該語言的參考版本是用 Squeak 編寫的，Squeak 是 Smalltalk 的另一個衍生物。
  • Smalltalk - 0% developed  as of Oct 10, 2005 (2005 年 10 月 10 日)
  • Stata
  • Sway
  • Tcl - 75% developed  as of Oct 10, 2005 (2005 年 10 月 10 日) Tcl (工具命令語言) 是一種基於 Lisp、C 和 Unix shell 概念的動態程式設計/指令碼語言。它可以互動使用，也可以透過執行指令碼（程式）來使用。傳統上，它以過程式風格為主，非常易於使用函式式或面向物件程式設計的概念。Tcl 是開源的，採用 BSD 許可證，並在大多數平臺上執行。
  • TI-Basic 84 程式設計 - 0% developed  as of Sept 28, 2007 (2007 年 9 月 28 日)
  • TI-Basic 89 程式設計
  • Vala 程式設計
  • Visual Basic Classic - 50% developed  as of Aug 14, 2005 (2005 年 8 月 14 日)
  • Visual Basic .NET - 0% developed  as of Aug 14, 2005 (2005 年 8 月 14 日)
  • XForms - 75% developed  as of Feb 26, 2007 (2007 年 2 月 26 日)

按正規化分類

如果可用，按字母順序排列的列表 中提供了每種語言的簡要描述。

函數語言程式設計語言

“函數語言程式設計”的描述
在華夏公益教科書中，在維基百科中。

命令式、程序式程式設計語言

"指令式程式設計"的描述
在華夏公益教科書中，在維基百科中.
"程序式程式設計"的描述
在華夏公益教科書中，在維基百科中.

有關更多命令式和程序式程式設計語言，請檢視多正規化語言

邏輯程式語言

  • Prolog - 25% 開發 截至 2005 年 10 月 10 日 (2005 年 10 月 10 日)
"邏輯程式設計"的描述
在維基百科中.

多正規化語言

"多正規化程式設計"的描述
在維基百科中.

面向物件程式語言

"面向物件程式設計"的描述
在華夏公益教科書中，在維基百科中.

有關更多面向物件程式語言，請檢視多正規化語言

契約式設計

  • D - 截至 2005 年 10 月 10 日，已開發 0% (2005 年 10 月 10 日)
  • Eiffel
"契約式設計"的描述
在華夏公益教科書中，在維基百科中.

按作業系統分類

幾乎所有程式語言都與作業系統無關，即使這裡提到的語言也經常移植到與它們無關的作業系統上。

Macintosh

Microsoft Windows

Unix 相容系統

參考資料

  1. ↑ Ada 參考手冊，ISO/IEC 8652:2005(E) 第 3 版，第 12 章：通用單元
  2. ↑ Ada 參考手冊，ISO/IEC 8652:2005(E) 第 3 版，附錄 E：分散式系統
  3. ↑ Ada 參考手冊，ISO/IEC 8652:2005(E) 第 3 版，第 9 章：任務和同步
  4. ↑ Ada 參考手冊，ISO/IEC 8652:2005(E) 第 3 版，附錄 C：系統程式設計
  5. ↑ GNAT 學術專案 (GAP)
  6. ↑ 看看誰在使用 Ada
取自 "https://wikibook.tw/w/index.php?title=Wikibooks:Programming_languages_bookshelf&oldid=4408229"
華夏公益教科書