Ejemplos de lenguajes que usan tipado estático son C, C++, Java y Haskell.