programming languages

last edited Sat, 10 Feb 2024 15:04:05 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:

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.