跳轉到內容

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

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（由 微軟 建立）的四種內建語言之一。 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% 截至 2006 年 3 月 6 日 (2006年3月6日)
  • Scheme
  • Scratch - 已開發 0% 截至 2007 年 5 月 27 日 (2007年5月27日) Scratch 是一種圖形化的“基於塊”的程式語言，源自 Smalltalk，但面向教授兒童基本的計算機程式設計概念。該語言的參考版本是用 Squeak 編寫的，Squeak 也是 Smalltalk 的另一個衍生語言。
  • Smalltalk - 已開發 0% 截至 2005 年 10 月 10 日 (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 - 0% 已完成 截至 2005 年 10 月 10 日 (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"
華夏公益教科書