Statically-Typed Programming Language

From GM-RKB
(Redirected from Statically-Typed Language)
Jump to navigation Jump to search

A Statically-Typed Programming Language is a programming language that requires programming variables to be named and typed before they are used.



References

2013

  • (Wikipedia, 2013) ⇒ http://en.wikipedia.org/wiki/Type_system#Programming_style Retrieved:2013-12-12.
    • Some programmers prefer statically typed languages; others prefer dynamically typed languages. Statically typed languages alert programmers to type errors during compilation, and they may perform better at runtime. Advocates of dynamically typed languages claim they better support rapid prototyping and that type errors are only a small subset of errors in a program. Likewise, there is often no need to manually declare all types in statically typed languages with type inference; thus, the need for the programmer to explicitly specify types of variables is automatically lowered for such languages; and some dynamic languages have run-time optimizers that can generate fast code approaching the speed of static language compilers, often by using partial type inference. [1]
  1. C-Extensions for Python. Cython (2013-05-11). Retrieved on 2013-07-17.

2010