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).

  * [[oktatas:informatika:programozas:pascal]]
  * [[informatika:programozas:dotnet:start|.NET]] keretrendszerre épülő magasabb szintű nyelvek ([[informatika:programozas:dotnet:c-sharp:start|C#]])