Típusegyeztetés és típuskonverziók
Egyszerű adattípusok
Az egyszerű típusú adatok (egész, logikai, sorszámozott, lebegőpontos) összehasonlítása (< > = operátorokkal) esetén az összehasonlítandó értékeknek kompatibilisnak kell lenniük.
Típus kompatilbilitás
A típus kompatibilitásra kifejezésekben, relációkban és az értékadó utasításokban van szükség.
Két adat típusa kompatibilis, ha az alábbiak egyike teljesül:
- A két típus azonos.
- Mindkettő lebegőpontos típus.
- Mindkettő egész típus.
- Az egyik lebegőpontos, a másik egész típus.
- Az egyik tartománya a másiknak.
- Mindkettő tartománya egy közös harmadiknak.
- Mindkettő halmaz típusa egy közös alaptípusnak
- Mindkettő string típusú.
- Az egyik Pointer, a másik bármilyen mutató típus
- Mindkettő azonos típusra mutató Pointer
- Mindkettő procedurális típus azonos eredménytípussal, azonos számú argumentummal és az argumentumtípusok rendre megegyeznek.
A zárójelek használatával értelemszerűen tetszőleges kiértékelési sorrendet előírhatunk.