erősen típusos nyelv: minden adatelem típusát előre definiálni kell, valamint folyamatos típusellenőrzés van a programon belül fordításkor (valamint futáskor).

• pascal
• .NET keretrendszerre épülő magasabb szintű nyelvek (C#)