Pok-12-wyk-Slajd17

Wyrażenia określające typy – produkcje

Pojęcie iloczynu kartezjańskiego wyrażeń określających typy będzie wykorzystywane przy definiowaniu typów złożonych takich, jak funkcje czy rekordy.

Iloczynem kartezjańskim dwóch wyrażeń określających typy T1 i T2 jest ich złożenie za pomocą operatora ?x. Rezultatem złożenia jest wyrażenie określające typ.

Przy definiowaniu kolejnych wyrażeń określających typy będziemy przyjmować, że operator iloczynu kartezjańskiego x jest lewostronnie łączny

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