There are several fields of study which either lie within programming language theory, or which have a profound influence on it; many of these have considerable overlap.
Є кілька областей дослідження, які або лежать в теорії мови програмування, або які надають великий вплив на неї; багато з них мають важливе значення.