Inne role ASTnode i unifytypes
{"Image DocumentName": "Inne role ASTnode i unifytypes", "Image ImageDescription": "W ten sam spos\u00f3b mo\u017cna dokonywa\u0107 koercji pojedynczych element\u00f3w na bagi, sekwencji na bagi, itd. Identycznie z koercj\u0105 integer na real i odwrotnie. Identycznie z rzutowanie obiektu na obiekt z klasy bardziej generalnej, np. Prac \uf0e0 Osoba. Podobnie z rzutowaniem dynamicznej roli na jej nadrol\u0119. Sygnalizacja b\u0142\u0119d\u00f3w typologicznych: unifytypes potrafi zrobi\u0107 to precyzyjniej, z dok\u0142adno\u015bci\u0105 do w\u0119z\u0142a AST. Je\u017celi w tym w\u0119\u017ale b\u0119dzie jeszcze informacja o koordynatach kodu \u017ar\u00f3d\u0142owego, kt\u00f3ry go wygenerowa\u0142, to mo\u017cna \u0142atwo przenie\u015b\u0107 sygnalizacj\u0119 na poziom kodu \u017ar\u00f3d\u0142owego, np. przez pod\u015bwietlenie b\u0142\u0119dnego kodu.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}