Programowanie imperatywne: kompleksowy przewodnik

Programowanie to sztuka z niezliczonymi technikami i stylami. Wśród nich paradygmat programowania imperatywnego od ponad pół wieku zajmuje mocną pozycję w świecie IT. Ten paradygmat wskazuje „jak” rozwiązać problem, zamiast skupiać się wyłącznie na wyniku, czyli „co”. Gotów zdjąć kolejne warstwy tego intrygującego konceptu? Zanurzmy się w świat programowania imperatywnego.

Wprowadzenie do programowania imperatywnego

Definicja programowania imperatywnego

Programowanie imperatywne, jeden z filarów współczesnej informatyki, to styl, w którym używa się instrukcji do modyfikowania stanu programu. Wymaga ono krok po kroku wskazówek określających, jak mają zostać wykonane zadania. Mówiąc prościej: realizuje operacje tak, jak zrobilibyśmy to ręcznie — z precyzyjnymi komendami mówiącymi dokładnie, co ma się wydarzyć.

Podstawowe zasady i cechy programowania imperatywnego

Aby zrozumieć zasady programowania imperatywnego, wyobraź sobie przepis z ulubionej książki kucharskiej — instrukcje muszą być wykonane dokładnie i we właściwej kolejności. Teraz przenieś to na tworzenie oprogramowania:

• Sekwencjonowanie — instrukcje wykonywane są w kolejności chronologicznej.
• Selekcja — klauzule „if” pozwalają podejmować decyzje na podstawie określonych warunków.
• Iteracja — pętle służą do wielokrotnego wykonywania wybranych bloków kodu.

Kluczowe jest to, że każda akcja w programie imperatywnym bezpośrednio zmienia jego stan poprzez modyfikację wartości zmiennych lub zawartości pamięci.

Rys historyczny i rozwój imperatywnych języków programowania

Imperatywne języki przeszły długą drogę — wszystko zaczęło się, gdy Fortran (skrót od FORmula TRANslation) powstał w laboratoriach IBM w połowie lat 50. Jako wyspecjalizowane narzędzie do obliczeń naukowych, został zaprojektowany z myślą o precyzyjnych, matematycznych krokach.

Kolejna fala przyniosła języki takie jak COBOL i Algol, które znacznie rozszerzyły zasięg programowania imperatywnego — odpowiednio na aplikacje biznesowe i opisy algorytmów. Postęp nie ustał — nowe iteracje, jak C, Python i Java, rozwijają programowanie imperatywne, integrując cechy obiektowe i wspierając inne paradygmaty.

Tak narodziło się trwałe dziedzictwo języków imperatywnych, z którego kolejne pokolenia programistów korzystają do dziś — od tworzenia złożonych gier po napędzanie potężnych systemów biznesowych.

Fundamenty programowania imperatywnego

W tej sekcji przyjrzymy się podstawowym elementom programowania imperatywnego. Zrozumienie tych fundamentów pozwala lepiej docenić zarówno prostotę, jak i złożoność tego paradygmatu.

Zmienne: deklaracja, przypisanie i modyfikacja

Pojęcie zmiennych jest centralne w każdym języku programowania — nie tylko w imperatywnym. Zmienne to „pojemniki” do przechowywania danych, które można modyfikować w trakcie działania programu. Zwykle zaczynamy od „deklaracji”, czyli formalnego wprowadzenia zmiennej do programu.

Po deklaracji można „przypisać” jej wartość lub wyrażenie. Na dalszych etapach zawartość zmiennej jest „modyfikowana” w różnych funkcjach lub operacjach w całym skrypcie.

Wyrażenia: operacje arytmetyczne, logiczne i relacyjne

Wyrażenia są kolejnym kluczowym elementem tworzenia wykonywalnych poleceń w środowisku imperatywnym. Współdziałają ze zmiennymi, stosując na nich określone operacje.

• Operacje arytmetyczne: podstawowe działania matematyczne, takie jak dodawanie (+), odejmowanie (-), mnożenie (*) i dzielenie (/).
• Operacje logiczne: logika boolowska (prawda/fałsz) z operatorami AND, OR i NOT.
• Operacje relacyjne: porównania między zmiennymi — z użyciem operatorów równości (==), większe niż (>), mniejsze niż (<) itd. — zwracające wynik boolowski.

Struktury sterujące: instrukcje warunkowe, pętle i rozgałęzianie

Struktury sterujące kierują przepływem wykonania kodu, wprowadzając decyzje oparte na warunkach i odpowiednio rozgałęziając ścieżkę działania.

1. Instrukcje warunkowe prowadzą zadania na podstawie spełnionych przesłanek, np. struktura IF…ELSE.
2. Pętle powtarzają fragmenty kodu, aż do spełnienia kryteriów; przykłady to pętle FOR i WHILE.
3. Poprzez rozgałęzianie wprowadzamy wiele możliwych ścieżek, np. z użyciem switch-case.

Opanowanie struktur sterujących dodaje kodowi „inteligencji” — umożliwia dynamiczne reagowanie na bieżący stan programu.

Procedury i funkcje: definicja, wywołanie i zwracanie wartości

Procedury (w niektórych językach nazywane podprogramami lub metodami) pomagają dzielić program na mniejsze, łatwiejsze w zarządzaniu fragmenty. Zwykle zawierają serię instrukcji realizujących konkretne zadania.

Podobnie działają funkcje; wykonują określone operacje jak procedury, ale dodatkowo po zakończeniu zwracają wartość. Zaczynamy od ich „definicji”, a następnie możemy wielokrotnie je „wywoływać” w kodzie.

Skuteczne zrozumienie i wykorzystanie tych fundamentów kształtuje drogę każdego programisty do opanowania programowania imperatywnego i ułatwia poruszanie się po jego bardziej złożonych obszarach.

Języki programowania imperatywnego

Języki imperatywne są sercem informatyki. To zróżnicowana rodzina, w której każdy język powstał z myślą o specyficznych potrzebach — od obliczeń naukowych, przez aplikacje biznesowe, po programowanie systemowe. Oto przegląd najważniejszych z nich.

Fortran: pionierski język do obliczeń naukowych

Gdy komputery były nowością, pojawił się język o potężnych możliwościach do „mielenia liczb” — Fortran. To jeden z najstarszych imperatywnych języków używanych do dziś. Jego historia sięga 1957 roku. Inżynierowie szeroko wykorzystywali go do dużych obliczeń numerycznych, co przyniosło mu popularność w środowisku naukowym. Fortran pozostaje istotny m.in. w modelowaniu klimatu czy fizyce obliczeniowej.

COBOL: język dla aplikacji biznesowych

Podczas gdy Fortran napędzał obliczenia naukowe, w biznesie dominację zdobył COBOL. Powstały pod koniec lat 50., zasłynął z „ludzkiej” składni, która ułatwiała czytanie i pisanie kodu. Dzięki temu nawet osoby nietechniczne mogły rozumieć złożone reguły biznesowe zapisane w programach, co umocniło pozycję COBOL-a w przedsiębiorstwach do dziś.

C: wszechstronny język do programowania systemowego

Kolejny przystanek to C — gwiazda wśród języków imperatywnych, znana z wszechstronności wykraczającej poza zwykły development aplikacji. Powstały na początku lat 70., szybko zyskał popularność i stał się fundamentem nowoczesnego przetwarzania dzięki takim cechom jak:

• Zwięzłość (możliwość tworzenia wydajnych programów w niewielu liniach kodu)
• Wydajność (oszczędzanie cykli CPU)
• Kontrola (bezpośredni dostęp do funkcji sprzętowych)

Te atuty utorowały drogę zastosowaniom wymagającym swobodnego dostępu do sprzętu, w tym systemom operacyjnym i systemom wbudowanym.

Java: obiektowe rozwinięcie C z cechami imperatywnymi

Java, która pojawiła się w latach 90., bazowała na fundamentach C, ale obrała odmienną ścieżkę. Jako język obiektowy dodała warstwy abstrakcji dla danych i procesów, zachowując jednocześnie podstawowe struktury imperatywne. Dzięki enkapsulacji i modularności ułatwiła tworzenie i utrzymanie kodu. Zasada „write once, run anywhere” dodatkowo poszerzyła jej zastosowania między platformami.

Python: język wysokiego poziomu wspierający zarówno imperatywny, jak i inne paradygmaty

Na koniec Python — nowoczesny język ceniony za prostotę, który szybko podbił serca początkujących i ekspertów. Dzięki czytelnej składni i strukturom wysokiego poziomu wspiera zasady programowania imperatywnego, nie tracąc elastyczności. Zgrabnie łączy też paradygmaty funkcyjny i obiektowy, oferując wiele technik rozwiązywania różnych problemów.

Zalety i ograniczenia programowania imperatywnego

Aby dobrze zrozumieć dowolny temat, warto spojrzeć zarówno na plusy, jak i minusy. To dotyczy także programowania imperatywnego — przyjrzyjmy się jego zaletom i ograniczeniom.

Wszechstronność i elastyczność w rozwiązywaniu złożonych problemów

Jedną z największych zalet programowania imperatywnego jest jego wszechstronność. Systemy komputerowe na całym świecie korzystają z tego paradygmatu ze względu na wyjątkową zdolność do obsługi różnorodnych, złożonych zadań. Programista może wydawać precyzyjne polecenia modyfikujące stan, co daje dużą kontrolę nad sposobem implementacji algorytmów.

Programowanie imperatywne jest też bardzo elastyczne — w zależności od potrzeb można przyjąć podejście proceduralne lub obiektowe. Dzięki temu rozwiązania można dopasować do złożoności problemu — to cecha, która czyni ten styl wyjątkowym.

Wydajne zarządzanie pamięcią i optymalizacja wydajności

Kolejną mocną stroną jest zarządzanie pamięcią. Mając bezpośrednią kontrolę nad zmiennymi i implementacją funkcji, deweloperzy mogą efektywniej zarządzać alokacją pamięci — kluczowe przy zadaniach wymagających dużych zasobów obliczeniowych.

Ta drobiazgowa kontrola przekłada się także na optymalizację wydajności. Programiści mogą dostrajać kod nawet na niskim poziomie, znacząco poprawiając efektywność aplikacji. W przypadkach krytycznych czasowo programowanie imperatywne bywa znakomitym wyborem.

Trudności w zarządzaniu zmianami stanu i skutkami ubocznymi

Żadne narzędzie nie jest jednak pozbawione wad — imperatywne języki też nie. Wymagają one skrupulatności ze względu na trudności w zarządzaniu zmianami stanu i skutkami ubocznymi. Bezpośrednie modyfikacje danych mogą prowadzić do niezamierzonych mutacji czy niespójnych stanów programu; to z kolei źródło trudnych do wykrycia błędów.

Wyzwanie polega na śledzeniu licznych modyfikacji w czasie, co ma wpływ na współdzielone zasoby między różnymi częściami programu — scenariusz częsty i niełatwy w trakcie developmentu.

Brak modularności i reużywalności w większych projektach

Programowanie imperatywne może też ustępować pod względem modularności i ponownego użycia kodu — cech kluczowych dla utrzymania i skalowalności. W przeciwieństwie do paradygmatów funkcyjnego czy obiektowego, mniejszy nacisk na naturalną modularność może prowadzić do „spaghetti code”, zwłaszcza w dużych projektach.

Problem ten uwidacznia się przy utrzymaniu lub rozbudowie, gdy nawet drobna zmiana wymaga przekopania się przez zawiły labirynt poleceń — co bywa zniechęcające. Istnieją obejścia, ale oznaczają dodatkowy wysiłek, co stanowi istotne ograniczenie tego paradygmatu.

Porównanie z innymi paradygmatami programowania

Zrozumienie istoty programowania imperatywnego ułatwia porównanie go z innymi dominującymi podejściami: programowaniem deklaratywnym, funkcyjnym i obiektowym. Poniżej najważniejsze różnice w podejściu i filozofii.

Programowanie deklaratywne: różnice w podejściu i filozofii

Programowanie deklaratywne bywa postrzegane jako przeciwieństwo imperatywnego. Imperatywne skupia się na „jak” — opisuje kroki potrzebne do osiągnięcia celu. Deklaratywne koncentruje się na „co” — wyraża pożądany rezultat bez wskazywania, jak go uzyskać.

Przykładem jest SQL (Structured Query Language): tworzysz zapytanie określające, co chcesz otrzymać, a silnik bazy danych decyduje, jak to wykonać. W języku imperatywnym, jak Python czy C++, trzeba byłoby opisać poszczególne kroki.

Programowanie funkcyjne: nacisk na bezstanowość i niezmienność

Kontrast z paradygmatem funkcyjnym uwydatnia bezstanowość i niezmienność — cechy rzadziej spotykane w klasycznych językach imperatywnych.

W programowaniu funkcyjnym obliczenia traktuje się jak ewaluację funkcji matematycznych — unika się zmiany stanu i danych mutowalnych. Przykładem jest Haskell — zamiast wykonywać sekwencje poleceń, wyraża się obliczenia jako wartości wyrażeń zwracane wyłącznie na podstawie argumentów, bez skutków ubocznych i modyfikacji stanu.

Coraz częściej spotykamy języki hybrydowe, jak JavaScript, które łączą elementy wielu paradygmatów, dając programistom swobodę wyboru podejścia.

Programowanie obiektowe: integracja cech imperatywnych z enkapsulacją

Programowanie imperatywne jest niemal nierozłączne z obiektowym, zwłaszcza w językach takich jak Java, C++ czy Python. Łączą one cechy imperatywne z enkapsulacją — kluczową zasadą OOP — polegającą na grupowaniu zmiennych i funkcji w klasy tworzące „obiekty”.

Obiekty odzwierciedlają rzeczywiste byty, co czyni rozwiązywanie problemów bardziej intuicyjnym. W połączeniu z imperatywnymi sekwencjami poleceń — metodami — umożliwiają złożone interakcje zmieniające stan obiektów.

Te paradygmaty mają swoje odrębności i punkty wspólne — dobra znajomość imperatywnego podejścia zwiększa wszechstronność programisty.

Praktyczne zastosowania programowania imperatywnego

O sile i elastyczności paradygmatu świadczy jego przydatność w rozwiązywaniu realnych problemów. Zobaczmy, jak programowanie imperatywne wspiera obliczenia naukowe, programowanie systemowe, tworzenie gier i development webowy.

Obliczenia naukowe: symulacje, analiza numeryczna i przetwarzanie danych

Symulacje i analizy numeryczne często wymagają złożonych obliczeń na wielu zmiennych. Imperatywne podejście, umożliwiające bezpośrednią manipulację danymi, jest tu niezwykle użyteczne.

Na przykład programy do symulacji w fizyce cząstek chętnie korzystają z Fortranu dzięki jego wydajnemu zarządzaniu pamięcią. Pozwala to naukowcom operować na ogromnych zbiorach danych i precyzyjnie oceniać scenariusze w symulacjach.

Przy analizie statystycznej czy zadaniach przetwarzania danych — wymagających rozległych iteracji po dużych tablicach — kod imperatywny zapewnia szybkie wykonanie dzięki jawnemu sterowaniu pętlami i warunkami.

Programowanie systemowe: systemy operacyjne, sterowniki i systemy wbudowane

Dominacja programowania imperatywnego obejmuje także poziom systemowy — fundament systemów operacyjnych, sterowników i oprogramowania wbudowanego. Szczególnie język C — filar tego paradygmatu — ceniony jest za przenośność i niski poziom dostępu do komponentów systemowych.

Tworzenie systemu operacyjnego wymaga precyzyjnego zarządzania zasobami sprzętowymi i złożonego sterowania stanem — to idealne pole do stosowania strategii w stylu C, zapewniających ścisłą kontrolę. Podobnie sterowniki urządzeń wymagają drobiazgowego prowadzenia interakcji sprzęt–oprogramowanie; to zadania w sam raz dla stylu imperatywnego w C.

A jeśli korzystasz z „inteligentnych” gadżetów w domu — jest spora szansa, że napędza je oprogramowanie wbudowane oparte na podejściu imperatywnym.

Tworzenie gier: renderowanie grafiki, symulacje fizyki i algorytmy AI

W gamedevie jest wiele obszarów, gdzie programowanie imperatywne błyszczy. Złożone gry łączą renderowanie grafiki, rozbudowane symulacje fizyczne i inteligentne algorytmy AI — wszystko to można skutecznie implementować w językach takich jak C++ czy Java.

Renderowanie grafiki — przetwarzanie milionów pikseli w każdej klatce — wymaga maksymalnej wydajności, którą daje jawna kontrola nad kodem.

Tworzenie algorytmów odwzorowujących ruchy fizyczne czy zachowania AI wymaga zdefiniowania licznych reguł. Programista gier korzysta tu z elastyczności i bezpośredniej kontroli oferowanej przez styl imperatywny, by dopracować każdy detal.

Web development: skrypty po stronie serwera i logika aplikacyjna

Na koniec — development webowy, dobrze znany większości koderów. To kolejne pole, gdzie silnie obecne są wpływy programowania imperatywnego — zwłaszcza przy skryptach po stronie serwera i implementacji złożonej logiki biznesowej.

Weźmy Pythona — choć wspiera wiele paradygmatów, w praktyce webowej często używany jest w stylu imperatywnym. Czytelna składnia i świetne możliwości pracy z danymi pozwalają sprawnie obsługiwać żądania serwera i budować algorytmy specyficzne dla aplikacji.

Krótko mówiąc, współczesny świat cyfrowy w dużej mierze działa dzięki różnym odsłonom programowania imperatywnego.

Wnioski i perspektywy rozwoju programowania imperatywnego

Trwała rola i ewolucja języków imperatywnych

Mimo wzrostu popularności innych paradygmatów, programowanie imperatywne pozostaje kamieniem węgielnym branży. Jego powszechność wynika m.in. z bezpośredniej kontroli nad sprzętem — podejścia zapewniającego wysoką efektywność, szczególnie w programowaniu systemowym.

Równocześnie współczesne języki imperatywne ewoluują, integrując rozwiązania z programowania funkcyjnego i obiektowego. Na przykład JavaScript zaczynał jako język imperatywny, a dziś zawiera liczne elementy charakterystyczne dla paradygmatu funkcyjnego.

To przenikanie paradygmatów napędza innowacje i pozwala programistom dobierać metody najlepiej dopasowane do danego przypadku.

Włączanie cech imperatywnych w nowe paradygmaty

Widzimy też, jak składniki charakterystyczne dla imperatywnego podejścia wpływają na nowe trendy i przełomy technologiczne.

Na przykład:

Nowatorskie obszary, takie jak computing kwantowy, często preferują model zbliżony do imperatywnego.

Reactive programming adaptuje elementy zarządzania stanem i skutkami ubocznymi, typowe dla paradygmatu imperatywnego.

Równoległość i współbieżność nierzadko opierają się na współdzielonym, mutowalnym stanie — domenie znanej z imperatywnego kodu.

Dlatego solidne podstawy w zasadach imperatywnych są cenne także przy eksplorowaniu najnowszych technologii i podejść obliczeniowych.

Wyzwania i szanse w tworzeniu wydajnego kodu imperatywnego

Każda zaleta ma swoją cenę. Wymóg jawnego określania każdego kroku sprawia, że pisanie wydajnego kodu w stylu imperatywnym bywa wymagające — zwłaszcza w obszarze zarządzania stanem.

Jednak właśnie tu kryje się wiele szans:

Opracowanie lepszych metod radzenia sobie ze zmianami stanu może przynieść znaczne postępy — zarówno w pojedynczych projektach, jak i szerzej: w AI czy przetwarzaniu danych, gdzie minimalizacja niezamierzonych skutków ubocznych jest kluczowa.

Programowanie imperatywne było fundamentem rozwoju technologii cyfrowych i wszystko wskazuje, że jego przyszłość również rysuje się obiecująco. Jak każdy paradygmat, musi jednak nieustannie się adaptować, czerpać z nowych perspektyw i odważnie mierzyć się z pojawiającymi się wyzwaniami.

FAQ

Czym jest programowanie imperatywne?

To styl, w którym instrukcje zmieniają stan programu, a zadania wymagają jawnych kroków.

Jak działa programowanie imperatywne?

Działa przez sekwencyjne wykonywanie instrukcji oraz wykorzystanie struktur sterujących, takich jak pętle i warunki, do kierowania przepływem programu.

Jakie są kluczowe zasady programowania imperatywnego?

Sekwencjonowanie, selekcja i iteracja — określają kolejność wykonywania instrukcji i sposób podejmowania decyzji.

Jakie języki są imperatywne?

Fortran, COBOL, C, Java i Python to znane przykłady.

Dlaczego Fortran jest ważny w programowaniu imperatywnym?

To pionier obliczeń naukowych i jeden z najstarszych języków imperatywnych.

Co wyróżnia COBOL w świecie biznesu?

Ludzka, czytelna składnia czyniła go idealnym do przetwarzania danych biznesowych — jest używany do dziś.

Jak C wspiera programowanie systemowe?

Zapewnia wydajność i kontrolę nad funkcjami sprzętowymi, co jest kluczowe w programowaniu systemowym.

Często zadawane pytania

W jaki sposób programowanie imperatywne zmienia stan programu?

Programowanie imperatywne zmienia stan programu bezpośrednio poprzez modyfikację wartości zmiennych lub zawartości pamięci podczas wykonywania kolejnych kroków instrukcji. Zmienne są tutaj traktowane jako specjalne pojemniki do przechowywania danych, które można wielokrotnie modyfikować w trakcie działania aplikacji. Każda precyzyjna komenda i operacja wykonana w kodzie wpływa na te dane, co oznacza, że cały proces opiera się na ciągłym i kontrolowanym modyfikowaniu bieżącego stanu. Dzieje się to chronologicznie, krok po kroku, zgodnie z kolejnością, w jakiej programista zapisał instrukcje. Taki model działania przypomina realizowanie zadań ręcznie lub według precyzyjnego przepisu kulinarnego, gdzie każdy kolejny krok bezpośrednio wpływa na ostateczny rezultat działania programu.

Jakie główne zalety i wady niesie ze sobą stosowanie paradygmatu imperatywnego?

Do głównych zalet programowania imperatywnego należy zaliczyć jego wyjątkową wszechstronność oraz elastyczność w rozwiązywaniu złożonych problemów, a także bardzo wydajne zarządzanie pamięcią i możliwość optymalizacji wydajności. Z drugiej strony paradygmat ten niesie za sobą istotne ograniczenia. Największym wyzwaniem dla programistów są trudności w zarządzaniu częstymi zmianami stanu oraz potencjalnymi skutkami ubocznymi, które mogą pojawiać się przy wykonywaniu poszczególnych instrukcji. Dodatkowo w przypadku bardzo dużych projektów widoczny staje się brak modularności oraz problemy z reużywalnością kodu, co utrudnia późniejsze utrzymanie aplikacji. Mimo tych trudności, pełna kontrola nad przepływem instrukcji sprawia, że podejście to wciąż dominuje w wielu kluczowych obszarach technologicznych.

Czym różni się podejście funkcyjne od programowania imperatywnego?

Różnica polega przede wszystkim na odmiennym podejściu do stanu aplikacji oraz sposobie wykonywania operacji. Podczas gdy programowanie imperatywne opiera się na sekwencyjnym wykonywaniu instrukcji i ciągłym modyfikowaniu stanu poprzez zmienne, programowanie funkcyjne kładzie główny nacisk na bezstanowość oraz niezmienność danych. W paradygmacie funkcyjnym unika się bezpośrednich zmian wartości w pamięci i eliminuje skutki uboczne, które są naturalną cechą stylu imperatywnego. Programowanie imperatywne koncentruje się na precyzyjnym opisie tego, jak komputer ma krok po kroku wykonać dane zadanie. Z kolei podejście funkcyjne, podobnie jak programowanie deklaratywne, skupia się na definicjach i przekształceniach danych bez ciągłego wpływania na globalny stan aplikacji.

W jakich praktycznych obszarach wykorzystuje się styl imperatywny?

Styl imperatywny znajduje bardzo szerokie zastosowanie w wielu specjalistycznych dziedzinach IT, takich jak obliczenia naukowe, w tym symulacje komputerowe, analiza numeryczna oraz przetwarzanie danych. Jest również niezastąpiony w programowaniu systemowym, gdzie tworzy się systemy operacyjne, sterowniki urządzeń i oprogramowanie dla systemów wbudowanych, wymagających ścisłej kontroli nad sprzętem. Kolejnym ważnym sektorem jest branża gier wideo, w której programowanie imperatywne napędza algorytmy sztucznej inteligencji, fizykę i renderowanie grafiki. Paradygmat ten odgrywa też kluczową rolę w obszarze web developmentu, służąc do pisania skryptów po stronie serwera oraz tworzenia złożonej logiki biznesowej aplikacji internetowych.

Czym różnią się od siebie procedury i funkcje w tym paradygmacie?

Procedury i funkcje służą do dzielenia programu na mniejsze części, jednak różnią się sposobem kończenia swojego działania. Procedury, nazywane w niektórych językach podprogramami lub metodami, grupują serię instrukcji wykonujących konkretne zadanie, ale nie zwracają żadnego rezultatu po zakończeniu pracy. Z kolei funkcje działają w sposób bardzo zbliżony do procedur, realizując przypisane im operacje, ale posiadają dodatkową zdolność do zwracania określonej wartości do miejsca, z którego zostały wywołane. Oba te elementy wymagają najpierw zdefiniowania w kodzie źródłowym, a następnie mogą być wielokrotnie uruchamiane poprzez tak zwane wywołanie, co ułatwia zarządzanie strukturą całego tworzonego programu.