Odkąd ludzkość wymyśliła pierwsze programowalne urządzenie, powstało ponad dwa tysiące języków programowania. I z każdym rokiem ich liczba stale rośnie. Pomagają nawiązać komunikację między różnymi urządzeniami w złożonym sprzęcie technicznym.
Język programowania to formalny system znaków używany podczas pisania programów komputerowych. Przestrzegają różnych reguł (leksykalnych, semantycznych i składniowych), które określają wygląd programu i czynności, które musi wykonać komputer. Istnieje wiele klas języków programowania, które są najbardziej odpowiednie dla wybranego obszaru tematycznego, są nawet szczerze komiczne. Nazywane są ezoterycznymi i nie są przeznaczone do praktycznego użytku. Na przykład istnieją języki, które mają składnię literacką (Shakespeare, Chef), języki zaprojektowane w celu utrudnienia pisania kodu (Malbolge, ALPACA), czy z nieludzką logiką - Var'aq (wykorzystuje logikę klingońską wyścig z filmu Star Trek). I inne języki komiksowe, ale oprócz komiksu istnieje wiele języków zawodowych. Obecnie używaną główną klasą są języki obiektowe. Jest to poziom wysoki, który jest przeznaczony do pisania zarówno małych programów, jak i dużych systemów oprogramowania. Głównymi przedstawicielami tej klasy są Java, C#, C++, Ruby, Python. Należy również zwrócić uwagę na logiczne języki programowania. Opierają się one na paradygmacie automatycznego dowodzenia twierdzeń oraz na teorii logiki matematycznej. Najbardziej znanym językiem programowania logicznego jest Prolog. Wykorzystuje logikę predykatów pierwszego rzędu, pomimo dużej liczby tworzonych języków i ich funkcjonalności, zawsze konieczne jest dobranie odpowiednich narzędzi do tworzenia oprogramowania. Na przykład, jeśli potrzebujesz zaimplementować aplikację klient-serwer, to oczywiście język logiczny nie jest do tego odpowiedni. Dlatego konieczne jest wybranie tego, który jest najbardziej odpowiedni do rozwiązania zadania.
