Seznam programovacích jazyků podle typu - List of programming languages by type

Seznamy programovacích jazyků
Abecední Kategorický Chronologický Generační
proti t E

Toto je seznam pozoruhodných programovacích jazyků , seskupený podle typu.

Neexistuje žádné zastřešující schéma klasifikace pro programovací jazyky. V mnoha případech je tedy jazyk uveden pod více nadpisy.

Polní jazyky

Array programovací jazyky (nazývané také vektorové nebo vícerozměrné ) jazyky generalizují operace na skalářích, aby se transparentně aplikovaly na vektory , matice a pole s vyšší dimenzí .

Montážní jazyky

Sestavovací jazyky přímo odpovídají strojovému jazyku (viz níže ), i když mezi jednotlivým příkazem a individuální instrukcí nemusí existovat mapování 1-1, takže instrukce strojového kódu se zobrazují ve formě srozumitelné lidem. Jazyky sestavení umožňují programátorům používat symbolické adresy, které assembler převádí na absolutní nebo přemístitelné adresy. Většina assemblerů také podporuje makra a symbolické konstanty .

Autorské jazyky

Výukový je programovací jazyk desined pro použití non-počítačový odborník snadno vytvářet výukové programy, webové stránky a další interaktivní počítačové programy.

• Architektura psaní informací o Darwinu (DITA)
• Laso
• PILOT
• TUTOR
• Autorské právo

Omezovací programovací jazyky

Omezení programovací jazyk je deklarativní programovací jazyk , kde vztahy mezi proměnnými jsou vyjádřeny jako omezení . Provádění pokračuje pokusem najít hodnoty pro proměnné, které splňují všechna deklarovaná omezení.

• Bertrand
• Pravidla zpracování omezení
• ČIP
• Zatmění
• Kaleidoskop

Jazyky rozhraní příkazového řádku

Jazyky rozhraní příkazového řádku (CLI) se také nazývají dávkové jazyky nebo jazyky řízení úloh. Příklady:

Kompilované jazyky

Jedná se o jazyky, které obvykle zpracovávají překladače , ačkoli teoreticky lze kompilovat nebo interpretovat jakýkoli jazyk. Viz také kompilovaný jazyk .

Souběžné jazyky

Jazyky předávající zprávy poskytují jazykové konstrukce pro souběžnost . Převládajícím paradigmatem souběžnosti v běžných jazycích, jako je Java, je souběžnost sdílené paměti . Souběžné jazyky, které využívají předávání zpráv, byly obecně inspirovány procesními kalkulemi, jako jsou komunikační sekvenční procesy (CSP) nebo π-počet .

Jazyky v závorkách

Programovací jazyky Curly-bracket nebo curly-brace mají syntaxi, která definuje bloky příkazů pomocí znaků v závorkách nebo složených závorkách {a} . Tato syntaxe pocházel BCPL (1966), a byl propagován C . Mnoho jazyků v závorkách pochází z jazyka C.

Jazyky toku dat

Programovací jazyky toku dat spoléhají na (obvykle vizuální) reprezentaci toku dat pro specifikaci programu. Často se používá k reakci na diskrétní události nebo ke zpracování toků dat. Mezi příklady jazyků toku dat patří:

Datově orientované jazyky

Datově orientované jazyky poskytují účinné způsoby vyhledávání a manipulace se vztahy, které byly popsány jako tabulky vztahů entit, které mapují jednu sadu věcí do jiných sad. Mezi příklady datově orientovaných jazyků patří:

Jazyky rozhodovací tabulky

Rozhodovací tabulky mohou být použity jako pomůcka k vyjasnění logiky před napsáním programu v jakémkoli jazyce, ale v 60. letech byla vyvinuta řada jazyků, kde je hlavní logika vyjádřena přímo ve formě rozhodovací tabulky, včetně:

• Filetab

Deklarativní jazyky

Deklarativní jazyky vyjadřují logiku výpočtu, aniž by podrobně popisovaly jeho řídicí tok. Deklarativní programování stojí v protikladu k imperativnímu programování prostřednictvím imperativních programovacích jazyků, kde je tok řízení specifikován sériovými příkazy (imperativy). (Pure) funkční a logické programovací jazyky jsou také deklarativní a představují hlavní podkategorie deklarativní kategorie. Tato část uvádí další příklady, které nejsou v těchto podkategoriích.

• Analytica
• Ant (kombinovat deklarativní programování a imperativní programování )
• Kari
• Nicka
• Distributed Application Specification Language (DASL) (kombinujte deklarativní programování a imperativní programování )
• ECL
• Skřítek
• Lesk
• Rtuť
• MetaPost
• Modelica
• Prolog
• QML
• Oz
• RDQL
• SequenceL -čistě funkční, automaticky paralelizující a bez závodů
• SPARQL
• SQL (pouze DQL, nikoli DDL, DCL a DML)
• Wolframův jazyk
• xBase
• Transformace XSL

Vložitelné jazyky

Ve zdrojovém kódu

Zdrojové vložitelné jazyky vkládají malé kousky spustitelného kódu do kusu textu ve volném formátu, často na webovou stránku.

Vložené jazyky na straně klienta jsou omezeny schopnostmi prohlížeče nebo zamýšleného klienta. Jejich cílem je poskytnout webovým stránkám dynamiku, aniž by bylo nutné server znovu kontaktovat.

Vestavěné jazyky na straně serveru jsou mnohem flexibilnější, protože do serveru lze integrovat téměř jakýkoli jazyk. Cílem mít na webové stránce vložené fragmenty kódu na straně serveru je dynamické generování dalších značek; samotný kód zmizí, když se stránka zobrazí, aby byl nahrazen jeho výstupem.

Na straně serveru

• PHP
• VBScript
• SMX - vyhrazeno pro webové stránky
• Tcl -na straně serveru v NaviServeru a základní součást systémů elektronického průmyslu
• WebDNA -věnovaná databázovým webům

Výše uvedené příklady jsou zvláště věnovány tomuto účelu. Lze upravit velké množství dalších jazyků, jako je Erlang , Scala , Perl a Ruby (například tím, že se z nich vytvoří moduly Apache ).

Strana klienta

• ActionScript
• JavaScript (aka ECMAScript nebo JScript)
• VBScript (pouze Windows)

V objektovém kódu

Do kompilovaného spustitelného kódu lze vložit celou řadu dynamických nebo skriptovacích jazyků. V zásadě musí být objektový kód pro tlumočníka jazyka propojen se spustitelným souborem. Fragmenty zdrojového kódu pro vložený jazyk pak lze předat vyhodnocovací funkci jako řetězce. Řídicí jazyky aplikací lze implementovat tímto způsobem, pokud zdrojový kód zadá uživatel. Upřednostňují se jazyky s malými tlumočníky.

Vzdělávací programovací jazyky

Jazyky vyvinuté primárně za účelem výuky a učení se programování.

Esoterické jazyky

Esoterický programovací jazyk je programovací jazyk navržený jako zkouška hranic programovací jazyk designu, jako důkaz pojetí, nebo jako vtip.

Jazyky rozšíření

Programovací jazyky rozšíření jsou jazyky vložené do jiného programu a používané k využití jeho funkcí v skriptech rozšíření.

Jazyky čtvrté generace

Programovací jazyky čtvrté generace jsou jazyky vysoké úrovně postavené na databázových systémech. Obvykle se používají v komerčním prostředí.

Funkční jazyky

Funkční programovací jazyky definují programy a podprogramy jako matematické funkce a považují je za prvotřídní. Mnoho takzvaných funkčních jazyků je „nečistých“ a obsahuje imperativní funkce. Mnoho funkčních jazyků je svázáno s nástroji matematického výpočtu. Mezi funkční jazyky patří:

Čistý

Nečistý

Jazyky popisu hardwaru

V elektronice je hardwarový popisný jazyk (HDL) specializovaný počítačový jazyk používaný k popisu struktury, designu a provozu elektronických obvodů a nejčastěji digitálních logických obvodů. Dvě nejpoužívanější a nejlépe podporované HDL odrůdy používané v průmyslu jsou Verilog a VHDL . Mezi jazyky popisu hardwaru patří:

HDL pro návrh analogových obvodů

• Verilog-AMS (Verilog pro analogový a smíšený signál)
• VHDL-AMS (VHDL s rozšířením analogového/smíšeného signálu)

HDL pro návrh digitálních obvodů

Rozkazovací jazyky

Imperativní programovací jazyky mohou být více paradigmatické a mohou se vyskytovat v jiných klasifikacích. Zde je seznam programovacích jazyků, které se řídí imperativním paradigmatem :

Jazyky interaktivního režimu

Jazyky interaktivního režimu fungují jako druh skořápky: výrazy nebo příkazy lze zadávat po jednom a výsledek jejich vyhodnocení je vidět okamžitě. Interaktivní režim se také nazývá smyčka čtení - eval - tisk (REPL).

Interpretované jazyky

Interpretované jazyky jsou programovací jazyky, ve kterých mohou být programy prováděny z formy zdrojového kódu, pomocí tlumočníka. Teoreticky může být kompilován nebo interpretován jakýkoli jazyk, takže termín interpretovaný jazyk obecně označuje jazyky, které jsou obvykle interpretovány spíše než kompilovány.

Iterační jazyky

Iterační jazyky jsou postaveny kolem nebo nabízejí generátory .

Jazyky podle typu správy paměti

Jazyky sbírané odpadky

Garbage Collection (GC) je forma automatické správy paměti. Popelář se pokusí získat zpět paměť, která byla přidělena programem, ale již se nepoužívá.

Jazyky s manuální správou paměti

• Ada
• C
• C ++
• Fortran
• Pascal
• Rez
• Cíl-C
• Zig

Jazyky s deterministickou správou paměti

• Ada
• C
• C ++
• Fortran
• Pascal
• Rez
• Cíl-C
• Zig

Jazyky s automatickým počítáním referencí (ARC)

• Cíl-C
• Perl
• Rychlý
• Visual Basic
• Xojo

Jazyky založené na seznamu-LISP

Jazyky založené na seznamu jsou typem datově strukturovaného jazyka, který je založen na datové struktuře seznamu .

Malé jazyky

Malé jazyky obsluhují specializovanou problémovou doménu.

• awk - používá se pro manipulaci s textovými soubory.
• Kometa - používá se k řešení složitých problémů kombinatorické optimalizace v oblastech, jako je přidělování zdrojů a plánování
• sed - analyzuje a transformuje text
• SQL - má pouze několik klíčových slov a ne všechny konstrukce potřebné pro plný programovací jazyk - mnoho systémů pro správu databází rozšiřuje SQL o další konstrukce jako jazyk uložené procedury

Logické jazyky

Jazyky založené na logice určují spíše sadu atributů, které řešení musí mít, než sadu kroků k získání řešení.

Mezi pozoruhodné jazyky, které následují po tomto programovacím paradigmatu, patří:

• ALF
• Alma-0
• CLACL (jazyk CLAC)
• Kari
• Fril
• Flix (funkční programovací jazyk s prvotřídními omezeními Datalog)
• Janusi
• λProlog (logický programovací jazyk s polymorfním typováním, modulárním programováním a programováním vyššího řádu)
• Oz a programovací systém Mozart napříč platformami Oz
• Prolog (formuluje data a mechanismus hodnocení programu jako speciální formu matematické logiky nazývané Hornova logika a obecný prokazovací mechanismus zvaný logické řešení )
  • Merkur (na základě Prologu)
  • Visual Prolog (objektově orientované rozšíření Prolog)
• ROOP

Strojové jazyky

Strojové jazyky jsou přímo spustitelné CPU počítače. Obvykle jsou formulovány jako bitové vzory, obvykle reprezentované osmičkovým nebo hexadecimálním . Každý bitový vzorec způsobí, že obvody v CPU vykonají jednu ze základních operací hardwaru. Výpočet procesoru řídí aktivace specifických elektrických vstupů (např. Piny balíčku CPU pro mikroprocesory) a logické nastavení hodnot stavu CPU. Jednotlivé strojové jazyky jsou specifické pro rodinu procesorů; strojový kód pro jednu rodinu procesorů nemůže běžet přímo na procesorech v jiné rodině, pokud dotyčné procesory nemají další hardware na podporu (například procesory DEC VAX obsahovaly režim kompatibility PDP-11). Jsou (v zásadě) vždy definovány vývojářem CPU, nikoli třetími stranami. Symbolickou verzi, jazyk sestavení procesoru , ve většině případů také definuje vývojář. Některé běžně používané sady instrukcí strojového kódu jsou:

Makro jazyky

Makro jazyky textové substituce

Makro jazyky transformují jeden soubor zdrojového kódu na jiný. „Makro“ je v podstatě krátký text, který se rozbalí do delšího (nezaměňovat s hygienickými makry ), případně se substitucí parametrů. Často se používají k předzpracování zdrojového kódu. Preprocesory mohou také dodávat zařízení, jako je zahrnutí souboru .

Jazyky maker mohou být omezeny na působení na speciálně označené oblasti kódu (předem fixováno pomocí a #v případě preprocesoru C). Alternativně nemusí, ale v tomto případě je stále často nežádoucí (například) rozšiřovat makro vložené do řetězcového literálu , takže stále potřebují základní znalosti syntaxe. Z tohoto důvodu jsou často stále použitelné pro více než jeden jazyk. Kontrastujte se zdrojovými jazyky, jako je PHP , které jsou plně funkční.

• cpp (preprocesor C)
• m4 (původně od AT&T, dodáván s Unixem)
• ML/I (obecný makro procesor)

Jazyky makro aplikací

Do aplikací byly vloženy skriptovací jazyky jako Tcl a ECMAScript ( ActionScript , ECMAScript pro XML , JavaScript , JScript ). Někdy se jim říká „makro jazyky“, i když v poněkud jiném smyslu než textová substituční makra jako m4 .

Metaprogramovací jazyky

Metaprogramování je psaní programů, které zapisují nebo manipulují s jinými programy, včetně sebe, jako s jejich daty nebo které dělají část práce, která se jinak provádí za běhu během kompilace . V mnoha případech to umožňuje programátorům zvládnout více za stejnou dobu, kolik by zabrali ruční psaní celého kódu.

Víceparadigmové jazyky

Víceparadigmové jazyky podporují více než jedno programovací paradigma . Umožňují programu použít více než jeden styl programování . Cílem je umožnit programátorům používat pro práci nejlepší nástroj a připustit, že nikdo paradigma neřeší všechny problémy nejjednodušším nebo nejefektivnějším způsobem.

Numerická analýza

Pro technické výpočty se používá také několik programovacích jazyků pro obecné účely, například C a Python. Tento seznam se zaměřuje na jazyky používané téměř výhradně pro technické výpočty.

Neanglické jazyky

• Čínština ZÁKLAD - čínština
• Fjölnir - islandština
• Jazyk Symbolique d'Enseignement - francouzština
• Lexico - španělština
• Rapira - Rus
• ezhil - tamilština

Objektově orientované jazykové třídy

Objektově orientované programovací jazyky založené na třídě podporují objekty definované jejich třídou. Definice tříd zahrnují data členů. Předávání zpráv je klíčovým pojmem (ne- li klíčovým pojmem) v objektově orientovaných jazycích.

Polymorfní funkce parametrizované třídou některých jejich argumentů se obvykle nazývají metody. V jazycích s jediným odesláním třídy obvykle také obsahují definice metod. V jazycích s vícenásobným odesláním jsou metody definovány obecnými funkcemi . Existují výjimky, kdy metody jednoho odeslání jsou obecné funkce (např. Biglooův objektový systém).

Vícenásobné odeslání

Jedno odeslání

Objektově orientované jazyky založené na prototypech

Prototypové jazyky jsou objektově orientované jazyky, kde byl odstraněn rozdíl mezi třídami a instancemi:

Jazyky pravidel mimo hru

Off-side jazyky pravidel označují bloky kódu jejich odsazením .

Procedurální jazyky

Procedurální programovací jazyky jsou založeny na konceptu jednotky a rozsahu (rozsahu zobrazení dat) spustitelného kódu. Procedurální program se skládá z jedné nebo více jednotek nebo modulů, buď kódovaných uživatelem, nebo poskytnutých v knihovně kódů; každý modul se skládá z jednoho nebo více postupů, v závislosti na jazyce nazývaných také funkce, rutina, podprogram nebo metoda. Mezi příklady procedurálních jazyků patří:

Dotazovací jazyky

Reflexní jazyk

Reflexní jazyky umožňují programům prozkoumat a případně upravit jejich strukturu na vysoké úrovni za běhu nebo při kompilaci. To je nejčastější u high-level virtuální stroj programovacích jazyků, jako je Smalltalk , jsou méně časté v programovacích jazycích nižší úrovně, jako je C . Jazyky a platformy podporující reflexi:

Jazyky založené na pravidlech

Jazyky založené na pravidlech vytvářejí pravidla při aktivaci podmínkami v sadě dat. Ze všech možných aktivací je vybrána nějaká sada a provedeny příkazy patřící k těmto pravidlům. Mezi jazyky založené na pravidlech patří:

Skriptovací jazyky

„ Skriptovací jazyk “ má dva zjevně odlišné, ale ve skutečnosti podobné významy. V tradičním smyslu jsou skriptovací jazyky navrženy tak, aby automatizovaly často používané úkoly, které obvykle zahrnují volání nebo předávání příkazů externím programům. Mnoho komplexních aplikačních programů poskytuje vestavěné jazyky, které uživatelům umožňují automatizovat úkoly. Těm, které jsou interpretační, se často říká skriptovací jazyky.

V poslední době má mnoho aplikací vestavěné tradiční skriptovací jazyky, například Perl nebo Visual Basic , ale stále se používá poměrně málo nativních skriptovacích jazyků. Mnoho skriptovacích jazyků je kompilováno do bytecode a poté je tento (obvykle) na bajtu kódu nezávislý na platformě spuštěn prostřednictvím virtuálního stroje (ve srovnání s virtuálním strojem Java ).

Jazyky založené na zásobníku

Jazyky založené na zásobníku jsou typem datově strukturovaného jazyka, které jsou založeny na datové struktuře zásobníku .

Synchronní jazyky

Synchronní programovací jazyky jsou optimalizovány pro programování reaktivních systémů, systémů, které jsou často přerušovány a musí rychle reagovat. Mnoho takových systémů se také nazývá systémy v reálném čase a často se používají ve vestavěných systémech .

Příklady:

• Argus
• Averest
• Esterel
• Lesk
• Signál

Stínovací jazyky

Jazyk stínování je graficky programovací jazyk přizpůsobit programování shader efekty. Takové jazykové formy obvykle sestávají ze speciálních datových typů, jako jsou „barevné“ a „normální“. Vzhledem k různorodosti cílových trhů s 3D počítačovou grafikou.

Vykreslování v reálném čase

Poskytují jak vyšší hardwarovou abstrakci, tak flexibilnější programovací model než předchozí paradigmata, která mají pevně zakódované transformační a stínovací rovnice. To dává programátorovi větší kontrolu nad procesem vykreslování a přináší bohatší obsah při nižších režijních nákladech.

Offline vykreslování

Stínovací jazyky používané v offline vykreslování vytvářejí maximální kvalitu obrazu. Zpracování takových shaderů je časově náročné. Požadovaný výpočetní výkon může být drahý kvůli jejich schopnosti produkovat fotorealistické výsledky.

Jazyky pro zpracování syntaxe

Tyto jazyky pomáhají s generováním lexikálních analyzátorů a analyzátorů pro bezkontextové gramatiky .

• ANTLR
• Coco/R (EBNF se sémantikou)
• GNU bizon (verze Yacc od FSF)
• GNU Flex (FSF verze Lex)
• glex/gyacc (kompilátor-překladač GoboSoft pro Eiffel)
• lex (Lexikální analýza od Bell Labs)
• M4
• Analýza výrazové gramatiky (PEG)
• Prolog
• Emacs Lisp
• Lisp
• SableCC
• Systém
• yacc (další kompilátor-kompilátor od Bell Labs)
• JavaCC

Systémové jazyky

Tyto systémové programovací jazyky jsou nízké úrovni úkoly, jako je správa paměti nebo správu úloh. Systémový programovací jazyk obvykle označuje programovací jazyk používaný pro programování systému; takové jazyky jsou navrženy pro psaní systémového softwaru, který obvykle vyžaduje odlišné vývojové přístupy ve srovnání s aplikačním softwarem.

Systémový software je počítačový software určený k ovládání a ovládání hardwaru počítače a k poskytování platformy pro spouštění aplikačního softwaru. Systémový software zahrnuje kategorie softwaru, jako jsou operační systémy, obslužný software, ovladače zařízení, kompilátory a linkery. Mezi příklady systémových jazyků patří:

Jazyk	Původce	Poprvé se objevil	Ovlivněn	Používá
ESPOL	Burroughs Corporation	1961	ALGOL 60	MCP
PL/I	IBM , SDÍLET	1964	ALGOL 60, FORTRAN, nějaký COBOL	Multics
PL360	Niklaus Wirth	1968	ALGOL 60	ALGOL W.
C	Dennis Ritchie	1969	BCPL	Většina jader operačního systému , včetně Windows NT a většiny unixových systémů
PL/S	IBM	196x	PL/I	OS/360
BLAHO	Univerzita Carnegie Mellon	1970	ALGOL-PL/I	VMS (porce)
PL/8	IBM	197x	PL/I	AIX
PL/MP a PL/MI	IBM	197x	PL/I	CPF , OS/400
PL-6	Honeywell, Inc.	197x	PL/I	CP-6
SYMPL	CDC	197x	ŽOVIÁLNÍ	Subsystémy NOS , většina překladačů, editor FSE
C ++	Bjarne Stroustrup	1979	C , Simula	Viz C ++ aplikace
Ada	Jean Ichbiah , S. Tucker Taft	1983	ALGOL 68 , Pascal , C ++ , Java , Eiffel	Vestavěné systémy, jádra OS, kompilátory, hry, simulace, CubeSat , řízení letového provozu a avionika
D	Digitální Mars	2001	C ++	Více domén
Nim	Andreas Rumpf	2008	Ada , Modula-3 , Lisp , C ++ , Object Pascal , Python , Oberon	Jádra OS, kompilátory, hry
Rez	Mozilla Research	2010	C ++ , Haskell , Erlang , Ruby	Servo layout engine , Redox OS
Rychlý	Apple Inc.	2014	C , Cíl-C , Rez	vývoj aplikací pro macOS , iOS
Zig	Andrew Kelley	2016	C , C ++ , LLVM IR , Go , Rust , JavaScript	Jako náhrada za C.

Transformační jazyky

Vizuální jazyky

Vizuální programovací jazyky umožňují uživatelům specifikovat programy dvojrozměrným (nebo více) dimenzionálním způsobem namísto jednorozměrných textových řetězců prostřednictvím grafických rozvržení různých typů. Některé programovací jazyky toku dat jsou také vizuálními jazyky.

Jazyky Wirth

Počítačový vědec Niklaus Wirth navrhl a implementoval několik vlivných jazyků.

Jazyky založené na XML

Jedná se o jazyky založené na XML nebo fungující na XML .

Viz také

• Paradigma programování
• IEC 61131-3 -standard pro jazyky programovatelných logických automatů (PLC)
• Vzdělávací programovací jazyk
• Esoterický programovací jazyk

Poznámky

Reference