Ylemmän tason kielissä tunnistetaan tyypit sekä niiden yhteensopivuudet operaattoreiden ja operandien välillä.
ylˈemmæn tˈasoŋ kielˈissæ tˌunnɪstˈetaːn tˈyːpɪt sˈekæ nˈiːden ˌyhteːnsopɪvˈuːdet ˌoperˌaːtːorˈeiden ja ˌoperˈandien vælˈillæ.