原始碼

行數:11

程式碼預覽

const palette = ['graphite', 'mint'];

function createSnippet(language) {
  return {
    language,
    theme: palette[0],
    accent: palette[1],
  };
}

console.log(createSnippet('javascript'));

線上程式碼高亮,讓範例更易讀、更好分享

將原始碼整理成適合文件、部落格與教學的程式碼範例。貼上程式碼、開啟文字檔,或從語言範例開始,再選擇深色或淺色主題。Syntax Highlighter 以顏色區分關鍵字、字串與註解,同時保留原有的縮排與換行。

透過強調行、聚焦行,以及新增行、刪除行,引導讀者掌握重點。分別調整顏色與不透明度,加入行號或摺疊較長的區段,一邊修改、一邊查看效果。高亮與匯出皆在瀏覽器中完成,不會為了高亮處理將原始碼上傳至伺服器。

程式碼高亮與匯出示意圖:包含強調行的程式碼、HTML 文件與程式碼圖片
  • 可搜尋的完整語言目錄

    支援 242 種語言與格式,包括 TypeScript、Java、C++、Go、Rust、JSON 和 YAML。可依名稱或別名搜尋,也可點擊下方語言卡片載入對應範例。

  • 即時預覽與配色主題

    編輯原始碼,高亮預覽隨之更新。搜尋配色主題目錄,或依深色、淺色篩選,比較同一段程式碼在不同背景下的閱讀效果。

  • 匯出 HTML 或程式碼圖片

    複製 HTML,下載包含行內樣式、獨立 CSS 或 Tailwind CSS 的檔案,也能將呈現結果儲存為 PNG 圖片。預覽使用所選格式的輸出內容,方便分享前檢查排版與配色。

如何在線上高亮程式碼

  1. 貼上程式碼或載入範例

    在原始碼編輯區輸入程式碼。想嘗試其他語言時,點擊下方對應卡片,即可用該語言的範例取代編輯區內容。

  2. 選擇與程式碼相符的語言

    依名稱或別名搜尋語言,例如 JavaScript 或 js。透過語言選擇器切換時會保留輸入內容;選對語言,預覽才能使用相應的語法規則。

  3. 在預覽中比較配色

    選擇配色主題,邊編輯邊查看效果。較長的程式碼會在預覽區內捲動,方便逐行閱讀,同時保留原有排版。

適合日常程式碼閱讀的情境

  • 教學與技術文件

    在準備指南或課程前,比較範例程式碼的可讀性。用同一段包含註解、字串和關鍵字的程式碼,觀察深淺主題的呈現差異。

  • 設定檔與結構化資料

    藉助語法顏色查看 JSON、YAML、SQL 和 Shell 片段的結構。高亮有助於發現重複模式,但不會驗證資料或執行命令。

  • 認識不熟悉的語言

    查看語言範例、別名和參考資料,再修改片段觀察語法著色。點擊語言卡片即可在目前工作區載入,無須跳轉頁面。

瀏覽全部 242 種語言與程式碼範例

程式碼高亮常見問題

什麼是語法高亮?

語法高亮用不同顏色區分原始碼中的關鍵字、字串、註解等內容,幫助讀者看清程式碼結構。顏色只是閱讀輔助,並不代表程式碼一定正確。

支援哪些程式語言?

目前目錄支援 242 種語言與格式。可在選擇器中搜尋,或瀏覽下方完整列表。js、py 等別名對應既有語言,不會當作額外語言重複計算。

高亮時會上傳或執行我的程式碼嗎?

高亮在瀏覽器中完成,不會將原始碼傳送到高亮伺服器。頁面會按需下載語法、主題和引擎檔案。輸入的程式碼僅以文字顯示,不會被執行。

這是程式碼格式化或語法檢查工具嗎?

不是。預覽為程式碼加上語法顏色,並保留輸入的縮排和換行;不會格式化、編譯、驗證或除錯。請手動選擇與程式碼相符的語言,以獲得相應的高亮效果。

可以複製或下載高亮後的 HTML 嗎?

可以。選擇行內樣式、獨立 CSS 或 Tailwind CSS 後,展開產生的檔案即可逐個複製,也可以下載完整檔案包。預覽與輸出使用相同的 HTML 和樣式。

可以強調指定行或匯入檔案嗎?

可以。在「強調行」中輸入行號或範圍,再選擇顏色和不透明度。檔案載入也已開放,支援非空且不超過 1 MiB 的 UTF-8 文字檔案,全部在瀏覽器中本地讀取。

探索程式碼範例

瀏覽全部 242 種支援的語言與格式。點擊卡片載入範例,或前往參考資料了解更多。

ABAP

開發 SAP 業務應用程式與報表。陳述式可處理業務記錄、資料庫查詢、內表與應用事件,也能透過類別及介面組織可重用邏輯,適合閱讀 SAP 應用程式中的資料處理與業務流程。

ActionScript

語言別名actionscriptas3

用於 Flash 與 AIR 應用程式的物件導向腳本。它使用類別、型別化變數與事件監聽器組織互動應用程式,透過套件歸類相關定義,並以顯示物件與非同步事件連接程式邏輯和介面。

Ada

用於可靠嵌入式系統的強型別程式設計。明確的宣告、套件與範圍限制讓程式假設更容易檢查;任務機制支援並行活動,例外與結構化介面則協助組織對正確性要求較高的大型應用程式。

AutoHotkey

語言別名ahk1

使用 AutoHotkey v1 腳本自動化 Windows 操作。快捷鍵、文字替換、視窗命令與流程控制可將鍵盤輸入連接到重複操作。此項對應 v1 語法;v2 有獨立項目,兩者的命令和運算式規則不同。

AutoHotkey2

使用 AutoHotkey v2 腳本自動化 Windows 操作。透過函式、運算式、物件與快捷鍵定義描述桌面操作流程。v2 調整了多項語言規則,因此舊版命令式腳本通常無法不經修改直接執行。

Angular HTML

包含資料繫結與事件處理的 Angular 範本。屬性繫結、事件監聽與範本運算式將標記連接到元件狀態。Angular 的控制流程和指令擴充了一般 HTML 的能力,範本本身並不是獨立的 JavaScript 程式。

Angular TypeScript

撰寫 Angular 的 TypeScript 元件與服務。裝飾器、類別、匯入與型別化屬性描述元件行為和應用服務。此項面向 Angular 的 TypeScript 程式碼,獨立的範本項目則著重 HTML 標記及其繫結。

Apache Conf

設定 Apache HTTP 伺服器。指令與設定區塊可定義虛擬主機、目錄、存取規則及模組設定。指令是否有效取決於所在環境,主設定中的寫法不一定適用於目錄層級的覆寫檔案。

Apex

撰寫 Salesforce 平台的應用程式邏輯。透過類別、觸發程序與資料庫操作實作圍繞 Salesforce 記錄的業務行為。語法與 Java 相似,但執行時遵循平台的交易規則、權限機制及資源限制。

APL

以簡潔符號語法進行陣列運算。專用符號可操作向量與多維陣列,常以一個運算式描述完整的資料轉換。閱讀程式碼時,需要同時理解陣列形狀、基本函式及運算式的求值順序。

AppleScript

自動化 macOS 應用程式與工作流程。tell 區塊向支援腳本的應用程式傳送命令,應用程式辭典描述可操作的物件。變數、處理常式與條件判斷可將命令組合成可重複的桌面工作。

Ara

採用類 C 語法的通用程式語言。透過宣告、運算式與大括號區塊組織程式結構。此項指 Ara 程式語言的語法,而非其他同名工具;閱讀範例時可留意宣告、字串及控制結構的差異。

AsciiDoc

語言別名adoc

用於文件撰寫與出版的結構化文字。標題、清單、屬性、交叉參照與分隔區塊可以組織較長文件。作者維護可讀的原始檔,再透過出版工具產生排版後的網頁、書籍或技術手冊。

Assembly

使用底層指令撰寫處理器程式。標號、暫存器、指令與組譯器指令呈現高階語言通常隱藏的底層細節。具體助記符號及運算元規則取決於處理器和組譯器,不同架構不能直接混用。

Astro

結合 HTML 與前置腳本的網頁元件。前置腳本區保存元件邏輯,後方接包含 HTML 與運算式的範本。元件可組合內容和可重用標記,同時區分伺服器處理與瀏覽器中的互動邏輯。

AWK

處理文字記錄並產生報表。模式選擇輸入記錄,動作處理其中的欄位。內建變數、正規表示式與關聯陣列適合擷取欄位、彙整檔案及轉換命令輸出,常用於文字處理流程。

Ballerina

撰寫分散式應用程式的服務與整合邏輯。服務、用戶端、結構化值與並行結構用於描述系統間的通訊。網路互動直接呈現在語言中,請求處理與整合流程因而成為程式組織的重要部分。

Batch File

語言別名batchcmd

用於 Windows 自動化的批次處理命令。命令、環境變數、標號與條件分支可自動化 Windows 命令解譯器中的工作。引號及變數展開會影響參數傳遞,尤其需要留意迴圈和命令群組中的寫法。

Beancount

用純文字記錄複式簿記帳目。帶日期的交易記錄包含帳戶分錄,也可記錄餘額、價格與說明資訊。純文字格式方便審閱帳目,獨立工具則負責檢查平衡關係及產生報表。

Berry

語言別名be

用於嵌入式系統的輕量腳本。函式、類別與常見流程陳述式為應用程式提供腳本能力,執行環境較為精簡。它適合嵌入宿主程式或裝置,由宿主提供腳本可呼叫的具體功能。

BibTeX

儲存引用與參考文獻項目。每筆記錄以引用鍵識別,並包含作者、標題與年份等欄位。參考文獻樣式負責最終排版,同一份文獻資料可用於採用不同引用規則的文件。

Bicep

以宣告式語法定義 Azure 基礎設施。資源、參數、變數與模組用於描述預期的 Azure 部署。運算式連接資源屬性及輸出,方便組織基礎設施定義,不必手動撰寫等價的 ARM 範本 JSON。

BIRD2 Configuration

語言別名bird

設定 BIRD 2 路由服務。協定區塊、路由表與篩選器描述路由如何交換和選擇,運算式與政策規則控制路由通告。此項專門對應 BIRD 2 的設定語法。

Blade

包含 Laravel 指令的 HTML 範本。指令可在 HTML 中表達迴圈、條件、版面與可重用元件。跳脫輸出運算式用於插入應用資料,範本繼承則方便 Laravel 應用程式中的頁面共用結構。

1C (Enterprise)

語言別名1c

用於 1C:Enterprise 平台的應用腳本。程序、函式與事件處理常式將業務物件連接到應用行為。模組在 1C 環境中執行,平台物件及執行情境決定資料庫與介面操作的具體方式。

C

用於系統與應用程式開發的程序式程式設計。函式、指標、結構體與明確的記憶體操作提供對資料表示的細緻控制。標頭檔描述介面,編譯器及連結器則將多個原始檔組合成函式庫或可執行程式。

C3

用於系統開發的類 C 程式語言。它保留類 C 的運算式與陳述式風格,並增加組織較大程式的能力。模組、契約及編譯期特性協助開發者更清楚地安排系統程式碼。

Cadence

語言別名cdc

用於 Flow 的資源導向智慧合約。資源型別要求明確處理值的所有權及移動。合約、交易與能力機制組織對儲存資產的存取,並定義應用程式與 Flow 區塊鏈之間的互動方式。

Cairo

用於可證明計算的程式與智慧合約。型別化函式、結構體與模組描述面向證明執行環境的計算。Starknet 合約另加入平台介面與儲存,因此一般語言語法和合約行為需要分別理解。

Chapel

語言別名chpl

用於多核心與分散式系統的平行程式設計。陣列、索引域、任務與計算位置協助表達跨核心或跨機器的計算。平行結構是語言的一部分,資料配置與工作分配可直接呈現在原始碼中。

Clarity

撰寫 Stacks 區塊鏈智慧合約。類 Lisp 運算式可定義函式、持久化值與資產操作。明確的型別和受限制的執行模型重視合約行為的可分析性,適合表達鏈上應用規則。

Clojure

語言別名clj

執行於 JVM 的 Lisp 方言與函數式程式設計。串列、向量、映射與集合提供精簡的不可變資料表示。函式和序列操作可組合資料轉換,巨集用於擴充語法,Java 互通則連接 JVM 函式庫。

CMake

定義跨平台軟體建置流程。命令定義目標、原始檔、相依性與建置選項。CMake 為選定的建置系統產生檔案,將專案設定與實際執行編譯、連結的命令分開。

COBOL

處理業務記錄、交易與批次任務。程式依識別、環境、資料定義與程序劃分區域。記錄配置及十進位運算明確描述業務資料,可讀的陳述式則表達檔案處理和交易流程。

CODEOWNERS

為儲存庫檔案與目錄指定審查負責人。路徑模式與使用者或團隊識別配對,用於說明程式碼審查責任。規則順序及儲存庫託管平台的行為,決定修改相符檔案時應關聯哪些負責人。

CodeQL

語言別名ql

查詢原始碼資料庫以分析程式。查詢結合類別、述詞與邏輯關係識別程式中的模式。分析以從程式碼擷取的資料庫為基礎,因此結果取決於原始語言及資料庫實際包含的內容。

CoffeeScript

語言別名coffeescript

可編譯為 JavaScript 的簡潔腳本語法。縮排、精簡的函式定義與推導式減少腳本中的標點。編譯結果是 JavaScript,因此程式仍遵循 JavaScript 語意,並依賴執行環境提供的 API。

Common Lisp

語言別名lisp

支援巨集與互動式開發的 Lisp 方言。括號形式同時表示程式與資料,支援強大的巨集及互動式開發。函式、套件、類別與條件機制可用於在執行中的 Lisp 環境內建構可擴充應用程式。

Rocq

用於形式化證明與相依型別程式設計。定義、歸納型別與定理宣告將程式和數學命題連結起來。證明腳本引導證明器處理待證目標,通過檢查表示證明符合系統的邏輯規則。

C++

語言別名c++

用於系統開發的泛型與物件導向程式設計。類別、樣板、參照與確定的物件生命週期,結合可重用抽象和細緻的資源控制。用途涵蓋函式庫、桌面工具、遊戲引擎及對效能敏感的基礎設施。

Crystal

將類 Ruby 語法編譯為原生程式碼。型別推斷與靜態編譯結合熟悉的腳本風格和原生可執行程式。類別、程式區塊與巨集用於組織程式,編譯期檢查能提前找出多種不一致問題。

C#

語言別名c#cs

在 .NET 生態中開發型別化應用程式。類別、記錄、介面與泛型用於建立資料和行為模型。非同步方法及語言整合查詢支援常見流程,可用於 Web 服務、桌面軟體、遊戲與其他 .NET 應用程式。

CSS

設定頁面版面、字型與樣式。選擇器比對元素,宣告設定視覺屬性。層疊、繼承與版面配置機制決定規則如何組合,讓樣式表能適應不同螢幕尺寸及文件結構。

CSV

使用逗號分隔欄位的表格資料。每列表示記錄,分隔符號劃分欄位;帶引號的值可包含逗號或換行。讀取時須留意跳脫規則、標頭,以及產生檔案的工具採用的格式慣例。

CUE

定義結構化資料約束與驗證規則。值與限制使用同一種表示法,可組合設定、驗證與結構描述。合一操作整合各項要求並揭示不相容的假設,不必只依靠命令式更新步驟。

Cypher

語言別名cql

透過模式比對查詢圖資料。節點與關係模式描述查詢要比對的圖結構,子句用於篩選、彙總及回傳結果。實體之間的連結直接呈現在查詢寫法中,適合表達關聯。

D

結合高階特性的編譯型系統程式設計。模組、樣板、範圍與編譯期求值支援表達力較強的原生應用程式。語言兼具系統層級存取和高階功能,可依程式各部分的需求選擇資源管理及抽象方式。

Dart

開發 Flutter 與 Web 型別化應用程式。類別、型別化集合、空值安全與非同步函式支援結構化應用程式碼。Dart 常用於 Flutter 介面,也可透過不同編譯目標開發命令列及瀏覽器程式。

DAX

用於表格式資料模型計算的公式語言。運算式在模型資料表上定義量值與計算值。資料列情境、篩選情境及資料表關聯共同影響結果,因此公式意義不只取決於語法,也取決於分析模型。

Desktop

定義 Linux 桌面應用程式啟動器與中繼資料。分節名稱與鍵值對描述應用程式名稱、啟動命令、圖示及分類。桌面環境讀取這些檔案以顯示啟動入口,並將應用程式關聯至支援的文件類型。

Diff

呈現不同版本文字檔案的差異。檔案標頭與差異區塊呈現新增、刪除及未變更的行。統一差異格式保留周圍內容,適合程式碼審查、補丁交換及理解文件隨版本的變化。

Dockerfile

語言別名dockerfile

定義容器映像檔的建置步驟。指令選擇基礎映像檔、複製檔案、安裝相依套件並設定啟動行為。多個建置階段可分離編譯過程與執行內容,以可讀文字描述可重複的映像檔建置步驟。

dotEnv

以鍵值對儲存環境變數。通常每行一項賦值,將設定放在應用程式原始碼之外。註解與引號可改善可讀性,但變數插值和跳脫規則取決於讀取檔案的工具,各實作並非完全一致。

Dream Maker

用於 BYOND 平台的遊戲腳本。物件路徑、變數、程序與繼承描述遊戲實體及其行為。BYOND 環境提供世界、地圖與互動能力,將腳本連接到執行中的多人遊戲。

Edge

用於 AdonisJS 的範本、運算式與指令。標籤、運算式與元件將應用資料和文字或 HTML 組合起來。版面組合與條件渲染適合組織使用 Edge 及 AdonisJS 生態的伺服器產生頁面。

Elixir

在 Erlang 虛擬機上開發並行應用程式。不可變資料、模式比對與管線用於組織轉換。輕量程序透過訊息通訊,監督結構協助應用程式在 Erlang 執行環境的並行模型中從故障復原。

Elm

以函數式程式設計建構網頁介面。模型保存狀態,訊息描述事件,更新函式產生下一個狀態。靜態型別與純函式讓介面行為更明確,外部副作用則透過受控的執行機制處理。

Emacs Lisp

語言別名elisp

撰寫 Emacs 編輯器腳本與擴充功能。Lisp 形式用於定義函式、變數、掛鉤與互動命令。腳本可檢查緩衝區、自訂編輯行為,並在撰寫及求值程式碼的同一環境中擴充編輯器。

ERB

在文字與 HTML 範本中嵌入 Ruby 運算式。特殊分隔符號區分 Ruby 陳述式與需要輸出結果的運算式。周圍文件仍是一般文字,因此 ERB 適合撰寫 HTML 檢視及其他需要產生的檔案。

Erlang

語言別名erl

撰寫訊息傳遞程序與分散式系統。模式比對與不可變值結合隔離程序和非同步訊息,常用於容錯服務。程序監督及分散式通訊是組織系統的重要方式,而非只依靠共用可變狀態。

Fennel

可編譯為 Lua 的 Lisp 風格語法。括號運算式與巨集在 Lua 之上提供 Lisp 風格語法。編譯後的程式可使用 Lua 函式庫,適合以精簡且可擴充的語法為應用程式加入腳本。

Fish

撰寫互動式 Shell 命令與易讀腳本。命令、管線、變數與函式支援日常終端操作。腳本規則與 POSIX Shell 不同,因此 Bash 腳本並非總能不經修改直接使用。

Fluent

語言別名ftl

包含變數與屬性的在地化訊息格式。訊息可包含變數、參照、屬性與選擇運算式。譯者能依目標語言調整語法結構,而不必侷限於替換固定句子中的個別詞語。

Fortran (Fixed Form)

語言別名fforf77

固定格式 Fortran 依字元欄位組織原始碼,為陳述式標號與續行標記預留位置。它常見於早期數值函式庫和工程程式,行首空白及行長可能影響程式意義,因此須與自由格式 Fortran 區分。

Fortran (Free Form)

語言別名f90f95f03f08f18

自由格式 Fortran 不再使用早期原始檔的固定欄位版面,縮排可依程式結構安排。它使用 & 續行、! 引入註解,常見於透過模組、程序及陣列操作組織數值計算的現代科學軟體。

F#

語言別名f#fs

面向 .NET 的函數優先程式設計。型別推斷、模式比對與可辨識聯集協助清楚表達資料轉換。函式可以自然組合,也能透過互通使用既有 .NET 函式庫及物件導向 API。

GDResource

語言別名tscntres

表示 Godot 場景與資源的序列化格式。分節描述節點、外部資源、子資源與儲存屬性。這些文字檔保存 Godot 場景或資產的結構,屬於序列化資料,而非可執行的遊戲腳本。

GDScript

語言別名gd

為 Godot 引擎撰寫遊戲腳本。縮排、函式、訊號與選用的型別註記描述節點行為。它與 Godot 場景系統緊密整合,方便連接輸入、動畫及遊戲狀態。

GDShader

為 Godot 材質撰寫著色器。著色器型別、統一變數與處理函式控制材質外觀。語法與 GLSL 相似,但使用 Godot 特有的處理階段及內建值,適用於空間、畫布等繪製情境。

Genie

使用 Vala 編譯器、以縮排組織程式碼的語言。類別、方法與訊號使用精簡的縮排式寫法。透過 Vala 編譯可連接 GObject 及 GLib,適合開發該生態中的應用程式。

Gherkin

描述行為驅動測試的可讀情境。功能與情境使用 Given、When、Then 步驟描述預期行為。範例及資料表讓測試案例更具體,實際執行步驟的定義由獨立測試程式碼提供。

Git Commit Message

描述 Git 提交變更的訊息。主旨行概括變更,後方可附說明段落與尾部中繼資訊。此項強調提交訊息的結構,協助區分變更說明和 Git 編輯流程附加的註解。

Git Rebase Message

用於重新排序與編輯 Git 提交的指令。互動式變基計畫以 pick、reword、squash 等動作列出提交。修改指令會改變歷史重播方式;該檔案是操作計畫,而非一般原始碼。

Gleam

用於並行應用程式的型別化函數式程式設計。型別化函式、自訂資料型別與模式比對讓程式結構明確。語言重視不可變資料及可組合操作,可用於面向 Erlang、JavaScript 等支援環境的應用程式。

Glimmer JS

語言別名gjs

嵌入 Glimmer 範本的 JavaScript 元件。範本標籤將 Glimmer 標記直接嵌入 JavaScript 模組。匯入、輔助函式與範本運算式可放在一起,方便理解區域程式碼和渲染介面的關係。

Glimmer TS

語言別名gts

嵌入 Glimmer 範本的 TypeScript 元件。Glimmer 範本與 TypeScript 宣告、元件邏輯放在一起,讓型別化輸入和區域輔助函式靠近標記,同時區分嵌入範本語法與一般 TypeScript 運算式。

GLSL

用於 OpenGL 圖形繪製的 GPU 著色器。向量、矩陣、統一變數與階段輸入描述 GPU 計算。著色階段轉換幾何資料或計算像素值,可用特性取決於語言版本及圖形環境。

GN

用於產生 Ninja 檔案的建置定義。目標、範本、變數與相依清單描述建置圖。GN 求值後產生 Ninja 檔案,常用於透過共用設定和可重用目標模式組織大型專案。

Gnuplot

繪製資料與數學函數的命令。繪圖命令結合資料來源或函數、座標軸、範圍與樣式。腳本可重現圖表設定,並產生供互動檢視、文件或自動報表使用的輸出。

Go

內建並行支援的編譯型語言。套件、介面與明確的錯誤值用於組織應用程式碼。goroutine 和通道支援並行工作,直接的語法及標準工具有助於維護服務和命令列程式。

GraphQL

語言別名gql

定義型別化 API 結構與資料查詢。結構描述定義物件型別、欄位與操作,查詢選擇用戶端需要的資料。變數和片段提高請求的重用性,查詢文件本身不包含伺服器解析器的實作。

Groovy

在 JVM 上撰寫動態腳本與應用程式。閉包、集合與靈活的物件語法支援腳本及領域專用語言。Java 互通可連接 JVM 函式庫,常用於應用程式碼和建置自動化工具。

Hack

用於 HHVM 執行環境的型別化應用程式碼。型別註記、集合與非同步函式擴充了與 PHP 相關的程式設計模型。它面向 HHVM 應用程式,語法和執行環境假設不能與標準 PHP 混為一談。

Ruby Haml

以縮排組織 HTML 範本。縮排定義元素巢狀關係,並提供屬性及嵌入 Ruby 運算式的簡寫。原始檔強調文件結構,由範本引擎產生對應的 HTML。

Handlebars

語言別名hbs

包含運算式與輔助函式的文字範本。雙大括號運算式插入值,區塊輔助函式描述重複或條件區域。局部範本支援重用片段,讓呈現範本與準備資料的應用程式碼保持分離。

Haskell

語言別名hs

支援惰性求值的純函數式程式設計。函式、代數資料型別與型別類別在靜態檢查下描述計算。惰性求值延遲不必要的工作,明確的副作用抽象則區分純資料轉換和外部互動。

Haxe

可編譯至多個平台的型別化程式語言。類別、列舉、泛型與模式比對描述可重用邏輯。編譯器支援多個目標平台,可共用原始碼,並在需要時結合平台專用 API 和條件編譯。

HashiCorp HCL

用於 HashiCorp 工具的結構化設定。區塊、屬性與運算式提供可讀的設定寫法。允許的區塊型別及意義由使用 HCL 的應用程式定義,因此相同語法在不同工具中能描述不同系統。

Hjson

支援註解的易讀類 JSON 資料格式。選用引號、註解與較寬鬆的分隔規則減少手動設定中的標點。資料仍使用熟悉的物件和陣列,但原始檔不一定能被嚴格 JSON 解析器讀取。

HLSL

用於 DirectX 應用程式的 GPU 著色器。型別化向量、矩陣、紋理與著色器入口描述圖形計算。語意標記連接管線輸入輸出,可用能力取決於目標著色器模型。

HTML

定義網頁的結構與內容。元素與屬性描述標題、連結、表單、媒體及其他內容。語意化標記為瀏覽器和輔助技術提供結構資訊,CSS 與 JavaScript 則負責樣式及互動行為。

HTML (Derivative)

範本語言使用的 HTML 衍生標記。此語法用於範本系統中的 HTML 衍生原始檔,並非獨立標準化語言。標籤和屬性提供基礎結構,額外運算式的意義取決於具體範本引擎。

HTTP

呈現 HTTP 請求、回應標頭與訊息本文。方法、狀態行、標頭與訊息本文描述用戶端和伺服器通訊。文字範例方便查看請求結構及回應中繼資訊,即使實際傳輸採用二進位協定版本。

Hurl

撰寫 HTTP 請求與回應斷言測試。文字檔結合 HTTP 請求及狀態碼、標頭、回應內容檢查。變數和擷取值連接各步驟,讓可重複的 API 檢查與對應請求一起清楚呈現。

HXML

設定 Haxe 編譯選項與建置目標。各行指定 Haxe 編譯器的原始碼路徑、函式庫、條件定義及編譯目標。專案可將可重複的建置參數保存在檔案中,不必每次重建長命令列。

Hy

在 Python 生態中執行 Lisp 運算式。括號形式以 Lisp 風格表達 Python 操作。巨集可轉換程式碼,互通能力則讓 Python 模組與物件繼續在同一底層生態中使用。

Imba

結合標記與樣式撰寫網頁介面。語言將元件標記、樣式與應用邏輯放在一起。整合語法面向互動式 Web 開發,可在統一的原始碼結構中描述元素及其行為。

INI

語言別名properties

使用分節與鍵值對的設定格式。分節標題將具名設定分組,通常以鍵值賦值表示。格式方便編輯,但註解、引號與重複鍵規則可能不同,各實作並未共同遵循唯一通用規範。

Java

在 JVM 上開發型別化物件導向應用程式。類別、介面、套件與泛型在靜態型別檢查下組織程式。位元組碼在相容的 JVM 上執行,函式庫和執行環境能力也是應用程式可攜性的重要部分。

JavaScript

語言別名jscjsmjs

JavaScript 為網頁加入互動行為,也用於伺服器、命令列工具與建置系統。函式、物件、模組及 Promise 支援事件驅動應用程式和資料轉換。瀏覽器 API 由宿主環境提供,語言本身則以 ECMAScript 標準定義。

Jinja

面向 Python、包含運算式與區塊的範本。運算式插入值,區塊提供條件、迴圈、巨集與繼承。篩選器轉換顯示值,可從應用資料產生 HTML 或其他文字,避免重複整份範本。

Jison

定義 JavaScript 剖析器的語法與詞法規則。詞法模式識別標記,語法產生式描述合法組合,語意動作則為剖析結構附加行為。工具可據此產生 JavaScript 剖析器。

JSON

表示結構化資料與設定。物件、陣列、字串、數字、布林值與 null 構成精簡的資料交換格式。嚴格 JSON 要求屬性名稱加引號且不允許註解,與 JavaScript 物件字面值及寬鬆設定變體不同。

JSON5

支援註解與寬鬆語法的類 JSON 資料格式。註解、尾端逗號與更多字面值寫法讓手寫設定更方便。它保留 JSON 的物件和陣列模型,但需要支援 JSON5 的剖析器。

JSON with Comments

可加入說明註解的 JSON 資料。註解讓作者能在一般 JSON 結構旁說明設定值。尾端逗號等特性的支援取決於讀取工具,不能假定 JSONC 與標準 JSON 可通用互換。

JSON Lines

每行一個 JSON 值的資料串流格式。每行保存一個完整 JSON 值,可逐筆處理記錄。它適合日誌、資料匯出與管線,不必先讀取包住全部記錄的大陣列。

Jsonnet

用於設定的可程式化資料範本。函式、匯入與物件組合讓設定成為可重用的資料產生程式。求值產生具體 JSON,將共用定義和參數與其他系統讀取的最終文件分開。

JSSM

語言別名fsl

使用 FSL 語言描述有限狀態機。FSL 陳述式以精簡的圖式寫法描述狀態、轉移與動作。JSSM 函式庫將定義解讀為狀態機,讓轉移規則與周圍應用邏輯分開。

JSX

在 JavaScript 中使用類 XML 介面標記。類標記元素出現在 JavaScript 運算式內,大括號嵌入動態值。轉換步驟將其變成一般 JavaScript 呼叫,JSX 並非直接傳送給瀏覽器的 HTML。

Julia

語言別名jl

用於數值與科學運算的動態語言。多重派發依參數型別選擇方法,陣列與數學寫法支援數值工作。互動探索和編譯執行並存,適合研究分析及可重用計算函式庫。

Just

語言別名justfile

將專案命令組織為可重用任務。配方為專案命令命名,可接收參數或相依於其他配方。變數與設定集中重複工作,它是方便的命令執行器,而非以檔案時間戳記為基礎的建置系統。

KDL

用於設定與資料的節點式文件格式。具名節點包含參數、屬性及選用子節點。寫法結合有序值與階層結構,適合需要可讀樹狀表示的設定和文件。

Kotlin

語言別名ktkts

開發 JVM 與多平台型別化應用程式。空值安全、資料類別、擴充函式與精簡運算式支援應用程式開發。協程組織非同步工作,互通及多平台工具將共用邏輯連接到不同執行環境。

Kusto

語言別名kql

查詢日誌、遙測與分析資料。表格運算子透過管線篩選、投影、聯結及彙總記錄。適合探索大量事件資料,以時間範圍和彙總分析發現運作或分析資訊中的規律。

LaTeX

對科學文件進行結構化排版。命令與環境描述章節、公式、引用及文件結構。套件擴充排版能力,作者可專注邏輯組織,由以 TeX 為基礎的工具鏈處理版面和輸出。

Lean 4

語言別名lean4

用於函數式程式設計與機器驗證證明。定義與定理宣告共用依賴型別語言。證明項或策略解決數學證明目標,可執行函式則讓形式化推理和一般程式設計共存於受檢查的環境。

Less

以變數與混入擴充 CSS。變數、混入、巢狀規則與函式減少重複樣式。編譯器產生一般 CSS,因此瀏覽器套用的是產生後的樣式表,不會直接執行 Less 運算式。

Liquid

包含篩選器、迴圈與條件的範本。輸出運算式顯示值,標籤控制文件流程,篩選器轉換呈現結果。常用於出版及電商系統,可存取的物件由承載範本的應用程式定義。

LLVM IR

編譯器工具鏈使用的中間表示。型別化指令、基本區塊與 SSA 值在原始語言和機器碼之間表示程式。文字形式適合查看最佳化結果,並理解編譯器進行的轉換。

Log file

記錄應用程式事件、時間與日誌層級。記錄通常結合時間戳記、層級、元件名稱與自由文字訊息。此項是通用高亮分類,而非統一日誌標準;具體欄位取決於輸出日誌的應用程式。

Lua

嵌入應用程式的輕量腳本語言。表可表示集合與物件,函式和協程支援靈活的控制流程。精簡的執行環境適合嵌入應用程式,由應用程式向腳本開放自身功能。

Luau

基於 Lua、支援漸進型別的腳本語言。型別註記與分析工具擴充 Lua 風格腳本,以支援較大程式碼庫。它用於 Roblox 等嵌入環境,腳本可存取的物件和服務由宿主 API 決定。

Makefile

語言別名makefile

定義建置自動化的目標與相依性。規則連接目標、前置相依項目與 Shell 配方。檔案時間戳記協助判斷哪些工作需要重做,變數及模式規則減少編譯或產生工作中的重複。

Markdown

語言別名md

為筆記與文件提供輕量文字格式。標題、清單、連結、強調與程式碼區塊在純文字中仍可閱讀。渲染器將原始檔轉為排版文件,部分特性隨 CommonMark 或平台擴充而異。

Marko

基於 HTML 的範本與響應式介面元件。標籤、運算式與元件結構結合文件結構和應用行為。編譯器將範本轉為渲染程式碼,支援可重用介面,不必為每個元素手寫函式呼叫。

MATLAB

進行矩陣運算、數值分析與繪圖。陣列是語言核心,函式可操作資料並表達數值演算法。腳本和函式檔支援探索分析,工具箱則增加專業工程及科學運算能力。

MDC

支援 Vue 元件的 Markdown 擴充語法。元件區塊、屬性與插槽豐富一般 Markdown 文件。這套語法與 Nuxt Content 相關,可在文章中組合內文、可重用 Vue 元件和結構化內容。

MDX

嵌入 JSX 元件的 Markdown 文件。作者可在標題、段落與程式碼區塊旁匯入元件並嵌入運算式。編譯步驟將文件連接到元件框架,適合撰寫含互動內容的文件。

Mermaid

語言別名mmd

以文字描述圖表與流程圖。圖表專用陳述式描述節點、連結、參與者或事件,由渲染器產生版面。圖表可作為可編輯文字與文件一起維護,並透過版本控制審閱。

MIPS Assembly

語言別名mips

用於 MIPS 架構的組合語言指令。暫存器、標號、算術指令與分支描述 MIPS 處理器操作。閱讀範例須留意定址和組譯器慣例,教學模擬器也可能提供專用系統呼叫介面。

Mojo

用於系統與數值運算的類 Python 語言。型別化值、函式與編譯期能力以熟悉的縮排風格支援對效能敏感的程式。外觀雖類似 Python,但編譯模型及系統特性須依其自身語言規則理解。

MoonBit

語言別名mbtmbti

支援 WebAssembly 與原生目標的型別化程式設計。函式、列舉、模式比對與型別推斷支援結構化邏輯。套件組織可重用程式碼,工具鏈將程式編譯到支援的目標,而非直接將原始碼當作瀏覽器 JavaScript。

Move

用於智慧合約的資源導向程式設計。模組與資源導向型別定義資產及其操作。所有權規則限制值如何複製或捨棄,具體區塊鏈平台則提供各自的執行和儲存環境。

Narrat Language

語言別名nar

撰寫敘事遊戲的對話與分支故事。標號、對話命令、條件與選項描述互動場景。腳本將故事文字連接到遊戲變數和分支路徑,使敘事流程保持可讀,不必為每次互動撰寫通用程式碼。

Nextflow

語言別名nf

以程序與通道建構可重現資料工作流程。程序宣告工作,通道連接輸入與輸出。工作流程定義協調資料驅動執行,可組織在容器或不同計算環境中執行各項工作的管線。

Nextflow Groovy

Nextflow 工作流程中的 Groovy 語法。Groovy 運算式為 Nextflow 腳本提供計算、集合與輔助邏輯。此語法著重嵌入式腳本層,周圍工作流程行為則由 Nextflow 的程序和通道結構定義。

Nginx

設定網頁服務路由、代理與連線。巢狀情境中的指令設定監聽、伺服器名稱、路徑與上游服務。比對和繼承規則決定請求處理方式,單一指令的意義受周圍設定影響。

Nim

採用縮排語法的編譯型語言。靜態型別、泛型與巨集結合可讀的縮排語法。編譯至底層目標可產生原生程式,編譯期能力則讓函式庫表達貼合問題領域的抽象。

Nix

以函數式運算式定義可重現環境。運算式、屬性集、函式與惰性求值描述套件和環境定義。語言產生供 Nix 工具使用的值,設定求值與其描述的實際建置過程相互區分。

NSIS

用於建立 Windows 安裝程式的腳本。區段、函式、變數與安裝命令描述安裝及解除安裝流程。腳本控制檔案、捷徑、對話方塊和系統設定,可一起自訂安裝介面與部署步驟。

nushell

語言別名nu

處理結構化資料的 Shell 管線。管線傳遞記錄、清單與表格,而非只有非結構化文字。命令可篩選及重組具名欄位,讓 Shell 流程像資料轉換,同時仍能整合外部程式。

Objective-C

語言別名objc

用於 Apple 應用程式的物件導向 C 擴充。訊息傳送、類別、協定與分類擴充 C 的基礎語法。它與 Cocoa 框架緊密相關,物件生命週期和執行期派發影響應用行為。

Objective-C++

結合 Objective-C 物件與 C++ 程式碼。同一個編譯單元可結合 Objective-C 訊息語法和 C++ 類別、樣板。適合在 Apple 框架介面與既有 C++ 原生函式庫之間建立橋接。

OCaml

支援模式比對的型別化函數式程式設計。代數資料型別、模組與模式比對圍繞明確的資料結構組織程式。型別推斷減少註記,函式及可變特性兼顧函數式設計和實際應用程式碼。

Odin

用於系統與工具開發的資料導向語言。明確的資料配置、程序與配置器相關能力支援原生應用程式開發。語言重視直接控制記憶體和集合,適合關注資料表示的工具及系統。

OpenSCAD

語言別名scad

用程式碼描述參數化三維模型。基本形狀、變換與布林運算描述實體幾何。參數和模組支援重用,可透過原始碼調整尺寸及關係,不必只依靠直接拖動模型。

Org Markup

以純文字撰寫筆記、大綱與任務清單。標題組織階層式文件,表格、連結、屬性與程式碼區塊增加結構。既可記錄日常筆記,也能用於計畫管理、出版及可重現文件等工作流程。

Pascal

使用明確宣告的結構化程式設計。型別、記錄、程序與 begin/end 區塊讓程式結構明確。不同方言擴充原始語言,物件導向能力及函式庫行為取決於選用的編譯器環境。

Perl

用於文字處理與通用腳本撰寫。正規表示式、雜湊、陣列與靈活字串操作讓文字工作更精簡。模組及副程式可組織較大程式,使其用途不只限於單行轉換或管理腳本。

PHP

用於 Web 應用程式的伺服器端腳本。函式、類別、命名空間與陣列支援請求處理和應用邏輯。PHP 可嵌入範本,也能用於獨立服務及命令列工具,具體能力由執行環境與擴充提供。

Pkl

支援型別與程式設計的應用設定語言。屬性、類別、限制與模組描述可重用設定模型。求值產生具體設定資料,型別檢查和驗證協助在其他應用程式讀取前找出不相容的值。

PL/SQL

撰寫 Oracle 資料庫程序邏輯。區塊結合 SQL 陳述式、變數、條件、迴圈與例外處理。程序、函式和套件將資料庫端邏輯放在其操作的記錄及交易附近。

Gettext PO

語言別名potpotx

儲存 Gettext 原文與譯文。訊息識別、譯文、情境與複數形式組織在地化項目。註解和標記保存翻譯提示,工具再將可編輯檔案編譯成應用程式執行時使用的訊息目錄。

Polar

以宣告式規則描述應用程式授權。規則表達參與者、動作與資源之間的關係。查詢判斷這些關係是否允許操作,以宣告式政策集中授權邏輯,避免在應用程式碼中分散重複條件。

PostCSS

由外掛工具鏈處理的 CSS 語法。選擇器與宣告保留 CSS 外觀,外掛可轉換或擴充原始檔。支援哪些擴充取決於工具鏈設定;PostCSS 是處理系統,而非單一固定樣式方言。

PowerQuery

使用 M 運算式匯入與轉換資料。let 運算式為表格、清單與記錄的轉換步驟命名。函式組合資料取得和重組操作,在承載 M 語言的工具中構成可重用分析查詢。

PowerShell

語言別名psps1pwsh

透過命令與物件管線自動化任務。cmdlet、函式與腳本透過管線傳遞物件,並在步驟間保留具名屬性。管理命令結合結構化控制流程,可操作應用程式、檔案及系統資源。

Prisma

在 Prisma 結構描述中定義資料模型與關聯。模型、欄位、關聯與屬性描述應用資料及資料庫映射。產生器和資料來源區塊設定相關工具;此結構描述是模型定義,而非一連串 SQL 查詢。

Prolog

使用事實與規則撰寫邏輯程式。事實與規則描述關係,查詢尋找滿足關係的賦值。合一和回溯搜尋解,提供不同於手動排列命令式指令的程式設計模型。

Protocol Buffer 3

語言別名protobuf

定義 Protocol Buffers 訊息與服務。訊息以數字識別宣告型別化欄位,服務可描述遠端操作。程式碼產生器將結構描述轉為各語言 API,支援結構化交換,結構描述本身不保存序列化位元組。

Pug

語言別名jade

使用縮排撰寫精簡的 HTML 範本。縮排表達元素巢狀關係,類別名稱、屬性與文字使用精簡寫法。運算式和控制陳述式產生動態標記,包含及繼承機制協助共用頁面版面。

Puppet

以宣告式語法管理系統設定與資源。資源宣告套件、檔案、服務等系統元件的預期狀態。關係指定順序與通知,讓代理程式比較宣告設定和機器的實際狀態。

PureScript

可編譯為 JavaScript 的型別化函數式程式。代數資料型別、型別類別與明確的副作用支援受靜態檢查的可組合程式。JavaScript 互通連接瀏覽器及伺服器函式庫,同時在應用邏輯中保留型別邊界。

Python

語言別名py

Python 是用於自動化、資料處理、Web 服務與科學運算的通用語言。縮排劃分程式碼區塊,串列、字典、函式和類別組織資料及行為。標準函式庫和套件生態既支援短腳本,也支援以可重用模組組織的較大應用程式。

QML

為 Qt 應用程式宣告使用者介面。物件、屬性、繫結與訊號將介面描述為階層結構。JavaScript 運算式提供動態行為,Qt 元件連接宣告式文件和繪製、輸入及應用服務。

QML Directory

定義 QML 目錄中的模組與型別。項目識別模組並描述匯出的 QML 型別、版本及選用外掛。檔案告知 QML 引擎目錄如何提供可重用元件,而非定義元件的視覺內容。

Qt Style Sheets

以類 CSS 語法設定 Qt 控制項樣式。選擇器與屬性宣告自訂控制項外觀,包括狀態及子控制項。雖然寫法類似 CSS,但支援的屬性和比對行為由 Qt Widgets 定義,而非瀏覽器。

R

進行統計分析與資料視覺化。向量、資料框、公式與函式支援統計流程。套件擴充建模和視覺化能力,互動求值方便探索資料集,並將分析步驟整理為可重用腳本。

Racket

用於程式與語言工具開發的 Lisp 家族語言。模組、函式與巨集支援應用程式開發及新語言建立。語言宣告選擇對應的語法和語意,可擴充語言設計是其生態的重要部分。

Raku

語言別名perl6

支援語法規則與並行的腳本語言。豐富的簽章、junction、語法定義與物件能力支援表達力較強的程式。內建剖析結構適合結構化文字處理,並行特性則擴充了傳統循序腳本的用途。

ASP.NET Razor

嵌入 C# 運算式的 HTML 範本。at 符號在標記中引入 C# 運算式和指令。範本結合動態值、控制流程與 HTML 結構,具體解讀方式取決於承載檔案的 ASP.NET 檢視或元件環境。

RBS

語言別名ruby-signature

描述 Ruby 類別與方法的型別簽章。簽章描述類別、模組、方法及參數和結果的型別。這些宣告支援 Ruby 程式碼的說明與分析,但不提供方法本身的實作。

Windows Registry Script

以文字表示 Windows 登錄機碼與值。分節標題指定登錄機碼,隨後列出型別化值賦值或移除指令。文字格式用於匯入及匯出設定,內容描述系統變更,而非通用程式邏輯。

RegExp

語言別名regex

用於比對與擷取文字的模式。字元類別、群組、量詞與斷言描述文字模式。不同引擎支援的特性和跳脫規則不同,因此模式意義取決於求值它的語言或工具。

Rel

以宣告式模型查詢關聯資料。關係與邏輯定義表達資料相依性,而不逐步指定更新順序。RelationalAI 使用此語言撰寫模型和查詢,透過規則從其他關係推導資訊。

RISC-V

用於 RISC-V 架構的組合語言指令。暫存器、載入儲存、算術與分支表達 RISC-V 指令集操作。可用指令取決於選用的擴充,組譯器提供的便利寫法也可能轉為多條機器指令。

RON

以類 Rust 語法表示結構化資料。類結構體值、元組、列舉與集合提供可讀的序列化寫法。格式適合 Rust 風格資料模型,但仍是資料描述,而非執行函式的 Rust 原始檔。

ROS Interface

定義 ROS 通訊訊息的欄位。欄位型別、名稱與常數描述 ROS 元件交換的結構化訊息。介面產生工具建立語言繫結,讓發布者和訂閱者對傳輸資料的結構達成一致。

reStructuredText

用於技術文件的結構化文字標記。章節標記、指令、角色與明確參照提供結構化寫作工具。Sphinx 等文件系統以此寫法產生互相連結的技術手冊及 API 文件。

Ruby

語言別名rb

採用簡潔語法的物件導向腳本語言。物件、程式區塊、模組與動態方法呼叫支援精簡的應用邏輯。語言鼓勵易讀 API 和可重用函式庫,適合 Web 應用程式、自動化及文字處理工具。

Rust

語言別名rs

Rust 結合原生編譯與所有權、借用規則,協助安全管理記憶體。結構體、列舉、trait 和模式比對表達可重用設計,Result 與 Option 明確表示關鍵分支。常用於需要細緻控制資源的系統軟體、服務及工具。

SAS

撰寫資料處理與統計分析程式。DATA 步驟轉換記錄,程序執行分析或報表工作。函式庫、資料集、格式與巨集組織可重複流程,適合在同一程式中準備結構化資料並產生統計結果。

Sass

支援變數與巢狀規則的縮排式樣式表。縮排定義巢狀規則,不必使用 CSS 風格的大括號和分號。變數、混入與函式支援可重用樣式邏輯,再由 Sass 編譯器轉為瀏覽器使用的 CSS。

Scala

在 JVM 上結合函數式與物件導向程式設計。案例類別、模式比對、trait 與豐富型別支援精簡模型和轉換。語言結合物件導向組織及函數式技術,並能與 Java 生態中的函式庫互通。

Scheme

採用詞法作用域的精簡 Lisp 方言。括號運算式、一級程序與詞法繫結構成精簡而有表達力的核心。巨集和延續支援高階抽象,具體實作提供不同的函式庫及開發環境。

SCSS

使用大括號、相容 CSS 的 Sass 語法。大括號與分號保留熟悉的 CSS 結構,並增加變數、巢狀規則、混入和函式。SCSS 是 Sass 的一種語法,擴充特性會在樣式表交給瀏覽器前編譯處理。

1C (Query)

語言別名1c-query

用於 1C:Enterprise 平台的資料庫查詢。選取、聯結、條件與彙總操作平台應用資料。雖然寫法類似 SQL,但資料表和語言能力遵循 1C 查詢環境,而非任意資料庫方言。

ShaderLab

語言別名shader

定義 Unity 著色器屬性與繪製階段。屬性、子著色器、通道與繪製狀態宣告組織 Unity 著色器。嵌入程式碼負責 GPU 計算,ShaderLab 描述程式和材質設定如何參與繪製。

Shell

語言別名bashshshellzsh

用於任務自動化的 Shell 命令與腳本。管線、重新導向、變數與控制結構連接命令列程式。引號決定文字如何成為參數,Shell 專用擴充表示外觀相似的腳本也可能需要特定解譯器。

Shell Session

語言別名console

呈現終端命令及其輸出記錄。提示符號、輸入命令與輸出結果作為記錄一起呈現。適合教學及疑難排解記錄,整段內容並不是應直接執行的 Shell 腳本。

GNU Smalltalk

透過訊息傳遞組織物件導向程式。物件接收訊息,程式區塊表示延遲計算,類別描述共同行為。語法強調訊息組合,以物件之間的互動組織應用程式。

Smithy

定義服務 API 與資料結構。形狀、trait、操作與服務獨立於具體傳輸協定描述 API。產生器可依模型產生面向多個程式設計環境的用戶端、伺服器及文件。

Solidity

撰寫相容 Ethereum 平台的智慧合約。合約包含狀態變數、函式、事件與存取修飾詞。語言面向區塊鏈執行,儲存操作、交易情境及外部呼叫具有不同於一般應用函式的語意。

Closure Templates

語言別名closure-templates

使用 Closure Templates 產生網頁內容。具名範本、參數、運算式與控制結構產生可重用介面片段。系統支援不同環境的輸出,使呈現定義與提供給範本的資料分別組織。

SPARQL

查詢 RDF 三元組與關聯資料。圖模式在 RDF 資料集中比對主詞、述詞與受詞。篩選、選用模式及彙總細化結果,可查詢由全域識別資源表達的關聯。

Splunk Query Language

語言別名spl

使用 SPL 搜尋並彙整事件資料。搜尋命令組成管線,擷取欄位、篩選事件、計算值及彙總結果。語言圍繞事件調查設計,時間戳記與欄位轉換是許多查詢的核心。

SQL

查詢與操作關聯式資料庫資料表。陳述式選取、聯結、分組及更新關聯資料,另有命令定義資料庫結構。SQL 雖有標準,但函式、型別和擴充隨引擎而異,需要結合方言理解。

SSH Config

設定 SSH 用戶端的主機連線。主機模式分組使用者名稱、連接埠、身分檔案與代理等選項。設定查找及比對規則決定套用哪些設定,避免每次連線都在命令中填入全部參數。

Stata

用於統計分析與資料管理的命令。命令轉換資料集、估計模型並產生表格或圖形。do 檔案記錄可重複分析步驟,巨集與程式設計結構協助組織較大的實證研究流程。

Stylus

語言別名styl

支援變數與巢狀規則的彈性樣式語法。選用標點、混入、函式與變數提供靈活的樣式寫法。原始檔編譯為 CSS,瀏覽器最終依產生後的規則顯示元素。

SurrealQL

語言別名surql

查詢與操作 SurrealDB 資料。類 SQL 陳述式處理記錄、欄位、關係與結構化值。專用運算式和操作反映 SurrealDB 資料模型,熟悉的 SQL 外觀不代表相容所有關聯引擎。

Svelte

結合腳本、標記與樣式的介面元件。單一檔案元件將標記、腳本與樣式放在一起。響應式運算式和範本區塊描述變化的介面,由編譯器轉為更新頁面的程式碼。

Swift

用於 Apple 等平台的型別化應用程式開發。結構體、列舉、協定與可選值在靜態檢查下表達應用模型。值語意及並行特性支援現代程式,互通可連接既有平台框架和原生函式庫。

SystemVerilog

用於數位硬體設計與驗證。模組與介面描述硬體,類別、斷言及限制式隨機化支援驗證。語言擴充 Verilog,結合電路建模和複雜模擬測試環境的建構能力。

Systemd Units

設定 Linux 服務與系統資源的單元檔案。分節與指令描述服務、計時器及掛載等單元。相依性和生命週期設定告知 systemd 如何安排、監督資源,而非列出循序執行的 Shell 腳本。

TalonScript

語言別名talon

定義 Talon 自動化的語音命令規則。情境規則選擇語音命令何時生效,命令本體呼叫動作。寫法將識別出的片語連接到自動化,可重用動作及擷取定義支援更複雜行為。

Tasl

用於結構化關聯資料的代數結構描述語言。代數型別定義描述結構化資料的形狀與連結方式。語言用於關聯資料建模,將結構描述宣告和必須符合宣告的具體資料實例分開。

Tcl

用於工具與自動化的命令式腳本。命令接收詞作為參數,替換規則連接變數及巢狀命令。程序和控制命令組成較大腳本,應用程式可透過嵌入式解譯器開放自己的命令。

Templ

結合 Go 撰寫型別化 HTML 元件。範本結合 HTML 結構、Go 運算式及控制流程。產生步驟產生 Go 程式碼,使元件參數和周圍邏輯參與專案一般的型別檢查與建置。

Terraform

語言別名tftfvars

以宣告式語法定義基礎設施資源。資源、模組、變數與輸出描述預期的基礎設施。供應者解讀資源型別,規劃階段比較設定和追蹤狀態,決定部署需要執行的操作。

TeX

用於文字與數學公式的排版命令。控制序列、群組與巨集詳細描述排版行為。高階文件系統建立於 TeX 之上,其數學版面和可程式化展開模型支撐許多技術出版流程。

TOML

包含表與型別化值的易讀設定格式。鍵值賦值、表格、陣列與明確的純量型別組織設定。格式強調可預測的資料結構對應,適合專案清單和需要直接手動編輯的設定。

TypeScript with Tags

語言別名lit

包含嵌入標記的 TypeScript 標籤範本。標籤樣板字面值可在 TypeScript 原始碼內包含 HTML 或 CSS。此語法同時高亮嵌入區域、型別及運算式;執行時如何解讀範本由標籤函式決定。

TSV

使用定位字元分隔欄位的表格資料。每筆記錄占一行,定位字元分隔欄位。簡單版面適合試算表與命令列工具,但不同產生工具對欄位內部定位字元或換行的處理可能不同。

TSX

使用 JSX 標記撰寫 TypeScript 介面元件。TypeScript 宣告與 JSX 元素及嵌入運算式共存。型別描述元件輸入和周圍邏輯,JSX 轉換則產生所選介面框架需要的執行期呼叫。

Turtle

以精簡文字表示 RDF 三元組。前綴、精簡識別與簡寫陳述式讓 RDF 圖更容易手寫。主詞、述詞和受詞描述關係,字面值保存字串、數字或帶語言標記的文字。

Twig

面向 PHP、包含區塊與篩選器的範本。運算式顯示值,標籤控制渲染,篩選器轉換輸出。區塊、繼承和重用片段協助組織 PHP 應用程式檢視,使範本結構與業務邏輯分離。

TypeScript

語言別名tsctsmts

TypeScript 為 JavaScript 增加靜態型別,在執行前描述函式參數、物件與模組介面。型別推斷、聯合型別及泛型表達型別關係,但不改變 JavaScript 的底層執行模型。專案將原始碼編譯或轉為目標環境所需的 JavaScript;含 JSX 的元件可選 TSX。

TypeSpec

語言別名tsp

描述 API 資料模型與服務操作。模型、操作、介面與裝飾器描述服務契約。產生工具將定義轉為 OpenAPI 等格式,方便共用可重用 API 結構,不必手動維護每份輸出文件。

Typst

語言別名typ

用於文件與公式的可程式化排版。標記、函式與樣式規則在同一文件語言中配合。數學記號和可程式化版面支援技術出版,可重用定義將格式決策與重複內文分開。

V

用於應用程式與系統開發的編譯型語言。模組、結構體、函式與明確的可選結果支援可讀的原生程式。語言追求直接的開發方式與靜態檢查,編譯和平台整合由自身工具鏈定義。

Vala

基於 GLib 與 GObject 的型別化應用開發。類別、介面、屬性與訊號為原生應用程式提供高階語法。編譯產生 C 程式碼並連接 GLib/GObject 函式庫,適合 GNOME 生態中的軟體。

Visual Basic

用於 .NET 應用程式的 Visual Basic 語法。具名區塊、類別、模組與事件處理常式以關鍵字為主的語法表達行為。語言使用 .NET 型別及函式庫,不能與外觀相似的早期 Visual Basic 方言完全等同。

Verilog

描述與模擬數位電路。模組、訊號、賦值與程序區塊描述電路行為和結構。模擬呈現時間及並行,可合成子集可轉為硬體,而非傳統處理器的循序指令。

VHDL

以強型別語言描述數位硬體。實體描述介面,架構以訊號與並行陳述式描述實作。強型別及明確的時間語意支援模擬和硬體設計,多項操作可自然平行發生。

Vim Script

語言別名vimvimscript

撰寫 Vim 編輯器腳本與自訂命令。運算式、函式、映射與自動命令自訂編輯流程。腳本操作緩衝區、視窗及選項,傳統 Vim 腳本和新方言的語法差異取決於檔案情境。

Vue

結合範本、腳本與樣式的單一檔案元件。範本、腳本與樣式區塊在同一原始檔中組織可重用介面。響應式狀態連接邏輯和渲染標記,建置工具鏈依各區塊的語言及屬性處理。

Vue HTML

包含指令與資料繫結的 Vue 範本。插值、指令與事件繫結為 HTML 加入元件相關行為。此項著重 Vue 範本部分,而非完整單一檔案元件中的腳本和樣式區域。

Vue Vine

在 TypeScript 函式中撰寫 Vue 範本與元件。函式包含 Vue 元件邏輯,並回傳 Vine 語法撰寫的範本。格式可在 TypeScript 原始碼中放置多個元件,由工具將嵌入標記轉為 Vue 渲染行為。

Vyper

語言別名vy

以類 Python 語法撰寫 Ethereum 智慧合約。型別化函式、裝飾器與明確的儲存宣告描述合約操作。受限制的特性強調行為可檢查性,執行仍遵循目標區塊鏈的交易及資源模型。

WebAssembly

以可讀文字表示 WebAssembly 指令。文字格式描述模組、函式、記憶體與堆疊機器指令。它對應 WebAssembly 二進位的可讀表示,適合研究產生的程式碼及理解匯入、匯出和底層操作。

Wenyan

語言別名文言

採用文言文風格語法的程式語言。宣告、計算與控制流程使用文言風格片語和標點,以不同表面記法表達熟悉的程式設計概念,再由工具將這些表達轉為可執行程式。

WGSL

撰寫 WebGPU 著色器與運算程式。型別化函式、結構、資源繫結與入口屬性描述 GPU 工作。語言服務於 WebGPU 管線,位址空間和著色階段定義資料如何存取及處理。

Wikitext

語言別名mediawikiwiki

撰寫含標題、連結與格式的 Wiki 頁面。輕量標記表達強調、章節、清單與連結,範本增加可重用內容。具體能力取決於 Wiki 引擎及已安裝擴充,嵌入標籤和剖析函式尤其如此。

WebAssembly Interface Types

描述 WebAssembly 元件模型的介面。介面定義型別與函式,world 描述元件匯入及匯出。寫法規定 WebAssembly 元件之間的邊界,讓不同語言實作共用同一契約。

Wolfram

語言別名wl

用於符號運算式與科學運算。符號運算式、模式與轉換規則為資料和計算提供統一模型。內建數學及視覺化函式支援探索工作,函數式結構可組合更複雜的分析。

XML

使用標籤與屬性表示結構化文件。巢狀元素、屬性、命名空間與文字描述階層資訊。應用程式定義詞彙意義,結構描述可限制文件結構,但 XML 本身不等於某一種應用格式。

XSL

用於轉換 XML 的樣式表與範本。範本與 XPath 運算式選擇 XML 文件部分並建構轉換結果。此項適合描述文件轉換的樣式表原始碼,而非瀏覽器呈現所用的 CSS 規則。

YAML

語言別名yml

用於設定與交換的易讀結構化資料。縮排表達巢狀映射與序列,純量樣式支援短值和多行內容。錨點及別名可重用結構,讀取設定時須留意空白和剖析器版本慣例。

ZenScript

透過腳本自訂遊戲與模組行為。變數、函式、匯入與應用程式提供的物件描述自訂行為。常見於 CraftTweaker 等模組工具,可用操作取決於遊戲和已安裝的整合。

Zig

採用明確記憶體管理的系統程式語言。明確的配置器、錯誤聯集與編譯期求值讓資源及失敗行為清楚可見。語言面向原生軟體,可細緻控制記憶體配置並與既有 C 程式碼互通。