Slide 5
Slide 5 text
SOBRE TIPAGEM GRADUAL
Tipagem Dinâmica: verificação de tipos em runtime apenas
Ex. Lisp, Smalltalk, Python, JavaScript, Ruby, Clojure, Elixir, etc.
Tipagem Estática: declarações de tipo no código-fonte,
verificadas por ferramentas de análise estática do código, ou
pelo compilador—sempre antes de executar
Ex. C, C++, Pascal, Java, C#, Haskell, Rust, Kotlin, Swift, Elm, etc.
Tipagem Gradual: abordagem híbrida—declarações
de tipo estáticas, mas sem efeito em runtime
(no runtime, o que vale é a tipagem dinâmica)
Ex. ActionScript, Hack, Dart, TypeScript, Python com anotações de tipo, etc.
5