Typ Danych

Typ lub typ danych to zbiór wartości wraz ze zbiorem operacji wykonywanych na tych wartościach.

Model deklaratywny jest typowany w tym sensie, że posiada dobrze zdefiniowany zbiór typów określanych mianem typów podstawowych. Przykładowo, programy mogą wykonywać obliczenia na liczbach całkowitych lub rekordach, które wszystkie są, odpowiednio, typu całkowitego lub rekordowego. Każda próba użycia operacji z wartościami o błędnym typie jest wykrywana przez system i powoduje zgłoszenie błędu. Model nie nakłada żadnych innych ograniczeń na używanie typów. Ze względu na fakt, że typy są sprawdzane, nie jest możliwe, aby zachowanie programu wykroczyło poza model, np. powodując awarię z powodu wykonania niezdefiniowanej operacji na jego wewnętrznych strukturach danych. Wciąż jednak jest możliwe, aby program spowodował zgłoszenie błędu, np. przy dzieleniu przez zero. W modelu deklaratywnym program powodujący zgłoszenie błędu jest natychmiast kończony. Model nie uwzględnia żadnych mechanizmów obsługi błędów.

Źródła:

⠀ VAN-ROY, Peter; HARIDI, Seif; GRA, Andrzej. Programowanie: koncepcje, techniki i modele. Helion, 2005. Retrieved from http://pdf.helion.pl/progko/progko-2.pdf

⠀ VAN-ROY, Peter; HARIDI, Seif; GRA, Andrzej. Programowanie: koncepcje, techniki i modele. Helion, 2005. Retrieved from http://pdf.helion.pl/progko/progko-2.pdf