A nyelv szerkezetéből, a megfelelő típusok használatából, a formális szemantika segítségével adódik, hogy sok tulajdonság statikusan bizonyítható. Bővebb információ a nyelv rétegei fejezetben található.
A nyelv szerkezetéből, a megfelelő típusok használatából, a formális szemantika segítségével adódik, hogy sok tulajdonság statikusan bizonyítható. Bővebb információ a nyelv rétegei fejezetben található.