However, a language can be statically typed without requiring type declarations (examples include Haskell, Scala, OCaml, F#, and to a lesser extent C# and C++), so explicit type declaration is not a necessary requirement for static typing in all languages.
Může však existovat jazyk, který je staticky typovaný bez předchozích deklarací typů (například Haskell, Scala a v menší míře i C#) a to znamená, že explicitní deklarace typu není nutnou podmínkou pro statické typování ve všech jazycích.