Pok-12-wyk-Slajd20

Wyrażenia określające typy – funkcje

Współczesne imperatywne języki programowania wykorzystują podprogramy (funkcje, procedury) jako podstawową jednostkę strukturalizacji programów.

Z formalnego punktu widzenia funkcja przekształca elementy dziedziny (iloczynu kartezjańskiego typów parametrów) w elementy zbioru wartości funkcji.

Typ wartości zwracanych przez funkcje jest czasami ograniczany w konkretnych implementacjach ze względów technicznych. Ograniczenia może nakładać również sam język – np. zakłada się, że wartości funkcji mogą być tylko typów podstawowych.

Są jednak języki (najlepiej znanym przykładem jest Lisp), które pozwalają zwracać obiekty dowolnego typu – np. wartością funkcji może być funkcja.

<< Poprzedni slajd | Spis treści | Następny slajd >>