TYP ROZRÓŻNIONY co to jest
rozróżniony co to jest

Czy przydatne?

Definicja typ rozróżniony

Definicja z ang. distinguished type, z niem. unterschiedener Typ.

Znaczenie z ang. distinct type w informatyce:

Co to znaczy TYP ROZRÓŻNIONY: Typem rozróżnionym jest typ uzyskany przez nadanie nowej nazwy dla już zdefiniowanego typu. Nowy typ jest traktowany jako oddzielny (nieporównywalny) typ. Koncepcja typów rozróżnionych jest oparta na nazwowej zgodności typów. Na przykład w SQL3 można podać następujące deklaracje:CREATE DISTINCT dolar_usa AS DECIMAL(9,2)CREATE DISTINCT polski_zl AS DECIMAL(9,2)Po takiej deklaracji porównanie wartości typu dolar_usa z wartością typu polski_zl skutkuje błąd typu. W obiektowości rodzaje rozróżnione (i nazwowa zgodność typów) zazwyczaj nie są rozpatrywane z racji na balast koncepcji teoretycznych, takich jak zasada zamienialności albo pewne formy polimorfizmu. Należy jednak podkreślić, iż rodzaje rozróżnione i nazwowa zgodność typów są bardziej koncepcyjnie spójne, niż powszechnie przyjmowana strukturalna zgodność typów.

Czym jest Rozróżniony Typ znaczenie w Słownik definicji T .