Ի՞նչ է խստորեն տիպավորված ծրագրավորման լեզուն։

Լեզու, որի մեջ յուրաքանչյուր փոփոխականի, արտահայտության կամ ֆունկցիայի տիպը սահմանվում է նախքան կոմպիլացիան կամ գործարկումը, և կոմպիլատորը կամ գործարկման միջավայրը խստորեն ստուգում են տիպերի համապատասխանությունը գործողությունների ժամանակ: Սա կանխում է տիպերի անհամապատասխանության հետ կապված սխալները զարգացման սկզբնական փուլերում։