Slide 4
Slide 4 text
TIPAGEM: DINÂMICA, ESTÁTICA, OU GRADUAL
Tipagem dinâmica: verificação de tipos somente na execução
Ex. Lisp, Smalltalk, Python, JavaScript, Ruby, Clojure, Elixir, etc.
Tipagem estática: declaração de tipos no código-fonte,
verificação na compilação
Ex. C, C++, Pascal, Java, C#, Haskell, Rust, Kotlin, Swift, Elm, etc.
Tipagem gradual: declaração de tipos opcional, verificação na
compilação ou por type checkers, normalmente sem efeito na
execução
Ex. ActionScript, Hack, Dart, TypeScript, etc.
4