programming languages

last edited Sat, 20 Jul 2024 12:26:17 GMT
backlinks: null

statically typed direct link to this section

Variable types must be known at compile time. Type inference is the ability to guess the variable type, often as a fallback. Variables types cannot be changed after declaration.

Examples:

• C/C++
• C#
• Java
• Rust
• Go
• Ada
• JADE
• Fortran
• Haskell
• Pascal
• Scala

dynamically typed direct link to this section

Type checking is done at runtime. Typing is associated with the value assumed, for example changing a string value in python to an integer value is perfectly valid. You can assume that variables are generic pointers to typed values. Scaling issues are the result of type checking at runtime.

Examples include Perl, Ruby, Python, PHP, JavaScript, Erlang.