"C" est un langage typé et structuré

C est un langage typé, ce qui signifie que toutes les variables doivent avoir un type. Le type doit être explicitement défini, afin d'enlever toute ambiguïté.

C est un langage structuré car l'organisation d'un programme se fait en "blocs d'instructions" emboîtés. Pour cela, on utilise des identificateurs afin de spécifier les blocs (les fonctions) et des indentations pour mieux visualiser l'architecture du programme.