Statik tip bağlama, bir programlama dilinde değişkenlerin tiplerinin derleme zamanında belirlendiği bir bağlama türüdür 23.

Bu, bir değişkenin hangi değeri alacağını ve nasıl kullanılacağını derleme aşamasında belirlemek anlamına gelir 3. Statik tip bağlamalı dillerde bir değişken, bir kez tiple bağlandıktan sonra çalışma süresince bu tip değiştirilemez 2.

Örnek diller: FORTRAN, Pascal, C ve C++ 2.