Paradygmaty programowania/Ćwiczenia 8: U podstaw programowania funkcyjnego — rachunek lambda

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Zadanie 1

Napisz termy reprezentujące następujące funkcje:

Wskazówka:

Zadanie 2

Napisz termy definiujące funkcję kodującą parę liczb oraz funkcje rozkodowujące.

Wskazówka:

Zadanie 3

Niech funkcje  oraz będą lambda definiowalne odpowiednio przez termy , , ..., , a jednoargumentowa funkcja przez term . Napisz termy reprezentujące funkcje:

Wskazówka:

Zadanie 4

Napisz term reprezentujący funkcję .

Wskazówka:

Zadanie 5

Napisz term reprezentujący funkcję Fibonacciego:


Wskazówka:

Zadanie 6

Jakiego typu są poniższe termy:

Zadanie 7

Podaj przykładowe termy (jeśli takowe istnieją) dla poniższych typów.