Język programowania to formalny język do pisania programów komputerowych. Ma składnię, semantykę i reguły. Przykładami są Python, Java, C++, JavaScript i Rust. Każdy z nich ma swoje mocne i słabe strony. Niektóre są szybkie. Niektóre łatwe do nauczenia. Niektóre sprawdzają się w określonych dziedzinach.

Języki są projektowane z kompromisami. C daje kontrolę nad pamięcią, ale wymaga ręcznego zarządzania. Python jest czytelny, ale wolniejszy. JavaScript działa w przeglądarkach, ale ma swoje dziwactwa. Rust zapobiega błędom pamięci, ale ma stromą krzywą uczenia się. Wybór języka to wybór zestawu ograniczeń.

Główne typy języków

• Kompilacja: C, C++, Rust, Go
• Zinterpretowano: Python, Ruby, JavaScript
• Hybrydowe: Java, C#
• Funkcjonalne: Haskell, Lisp, Erlang
• Znaczniki: HTML, XML (nie jest to programowanie samo w sobie)

Nowe języki pojawiają się nieustannie. Większość zanika. Kilka staje się standardami. Najlepszy język dla danego zadania zależy od problemu, zespołu i ekosystemu. Nie ma jednego najlepszego języka. Są tylko kompromisy.