strongly-typed programming language: język programowania ze ścisłą kontrolą typów

> Dodaj do ulubionych

Język programowania, w którym są określone ścisłe reguły dotyczące używania typów. Wszelkie przypadki złamania tych zasad powodują zatrzymanie kompilacji (w przypadku języków statycznych) lub zatrzymanie działania programu (w przypadku języków dynamicznych).