tipizzazione forte

Un linguaggio di programmazione è fortemente tipizzato quando a ogni identificatore è assegnato un tipo. quando non specificato esplicitamente, questo viene inferito.