Nr 01 · Słownik · Teoria informatyki · Języki i teoria typów

Paradygmaty programowania

19 pojęć w 12 podgrupach, z prostymi definicjami i źródłami.

Abstrakcja funkcyjna · 1

  • 01funkcja pierwszej klasyFunkcja traktowana jak zwykła wartość: można ją przekazywać, zwracać i przypisywać do zmiennych.

Czystosc funkcyjna · 3

  • 01efekt ubocznyObserwowalna zmiana stanu poza wartością zwracaną przez wyrażenie, np. modyfikacja zmiennej globalnej lub operacja wejścia-wyjścia.
  • 02funkcja czystaFunkcja, której wynik zależy wyłącznie od argumentów i która nie wywołuje obserwowalnych efektów ubocznych.
  • 03przezroczystość referencyjnaWłasność wyrażenia, które można zastąpić jego wartością bez zmiany zachowania programu.

Dekonstrukcja danych · 1

  • 01dopasowanie wzorcaMechanizm sprawdzania struktury wartości względem wzorców i wiązania jej składowych z nazwami, typowy dla języków funkcyjnych.

Iteracja funkcyjna · 1

  • 01rekurencja ogonowaPostać rekurencji, w której wywołanie rekurencyjne jest ostatnią operacją funkcji, co umożliwia wykonanie bez narastania stosu.

Paradygmat obiektowy · 1

  • 01programowanie obiektoweOOP — Object-Oriented ProgrammingParadygmat organizujący program wokół obiektów łączących dane i operacje, komunikujących się przez wywołania metod.

Paradygmaty rdzenne · 5

  • 01programowanie deklaratywneParadygmat, w którym określa się, jaki ma być wynik obliczenia, a nie kolejność kroków prowadzących do niego.
  • 02programowanie funkcyjneParadygmat traktujący obliczenia jako ewaluację funkcji matematycznych, unikający stanu zmiennego i efektów ubocznych.
  • 03programowanie imperatywneParadygmat opisujący obliczenia jako sekwencję instrukcji zmieniających stan programu poprzez przypisania do zmiennych.
  • 04programowanie logiczneParadygmat, w którym program jest zbiorem faktów i reguł logicznych, a obliczenie polega na automatycznym wnioskowaniu odpowiedzi na zapytanie.
  • 05programowanie proceduralneOdmiana programowania imperatywnego strukturyzująca kod w procedury i funkcje wywoływane w celu wykonania zadań na wspólnym stanie.

Paradygmaty strukturyzacji · 1

  • 01programowanie aspektoweAOP — Aspect-Oriented ProgrammingParadygmat wydzielający zagadnienia przekrojowe (np. logowanie, transakcje) do aspektów wplatanych w kod programu w określonych punktach.

Paradygmaty wspolbieznosci · 1

  • 01programowanie współbieżneParadygmat strukturyzujący program jako współdziałające procesy lub wątki, których wykonanie może się przeplatać lub odbywać równolegle.

Podstawy paradygmatow · 1

  • 01paradygmat programowaniaSpójny styl budowy programów określający, jak wyraża się obliczenia i organizuje strukturę kodu, np. oparty na stanie i krokach albo na obliczaniu funkcji.

Stan i dane · 1

  • 01niezmiennośćWłasność danej, której stan nie może zostać zmieniony po utworzeniu; modyfikacja wymaga utworzenia nowej wartości.

Strategie ewaluacji · 2

  • 01ewaluacja gorliwaStrategia obliczania, w której wyrażenie (np. argument) jest ewaluowane natychmiast, zanim zostanie użyte.
  • 02ewaluacja leniwaStrategia obliczania, w której wyrażenie jest ewaluowane dopiero, gdy jego wartość jest faktycznie potrzebna.

Struktura sterowania · 1

  • 01programowanie strukturalneDyscyplina konstruowania programów wyłącznie ze złożeń sekwencji, wyboru i iteracji, bez nieograniczonych skoków.

Pozostałe grupy — Języki i teoria typów

Grupa pojęć · Języki i teoria typów19 haseł