We współczesnej informatyce istnieje co najmniej kilka tysięcy języków programowania. Niektóre z nich są zupełnie niszowe, znane ścisłemu gronu specjalistów, inne zyskały międzynarodowe uznanie i są powszechnie używane do opracowywania kody źródłowego programów. Programista, stojąc przez konkretnym zadaniem, ma więc z czego wybierać. Zasadniczo rzecz biorąc wybór jednego z języków programowania zależy od jego osobistych preferencji i doświadczenia w programowaniu w danym języku, jednak równie ważne są inne czynniki. Najistotniejszy dotyczy adekwatności konkretnego języka do specyfiki danego problemu. Trzeba wziąć pod uwagę również to, czy narzędzia i dokumentacja są dostępne, a także kwestię wydajności i przenoszenia kompilatorów. Czasami głównym kryterium jest jednak polityka firmy zlecającej zadania czy ograniczenia platformy sprzętowej. Różne języki narzucają różne style programowania. W najnowszej informatyce mówi się raczej o paradygmatach. Istnieją cztery główne paradygmaty. Należy do nich programowanie obiektowe, imperatywne, funkcyjne oraz tak zwane programowanie w logice. Studenci informatyki poznają je podczas studiów. Można się również zdecydować na programowanie algorytmu w dwóch lub kilku językach i wtedy mamy do czynienia z programowaniem hybrydowym czyli mieszanym.