Geef een beschrijving van het typevolledigheidsprincipe.
Het typevolledigheidsprincipe stelt dat geen enkele operatie zonder speciale redenen beperkt zou moeten worden in de typen van de betrokken waarden. Anders gezegd: wat met waarden van één type kan, moet – voor zover zinvol – ook met waarden van een ander type kunnen.