Statically-Typed Programming Language: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
(ContinuousReplacement) Tag: continuous replacement |
||
| Line 14: | Line 14: | ||
---- | ---- | ||
---- | ---- | ||
== References == | == References == | ||
=== 2013 === | === 2013 === | ||
* (Wikipedia, 2013) | * (Wikipedia, 2013) ⇒ http://en.wikipedia.org/wiki/Type_system#Programming_style Retrieved:2013-12-12. | ||
** Some [[programmer]]s prefer statically typed languages; others prefer dynamically typed languages. Statically typed languages alert [[programmer]]s 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. <ref> [http://www.cython.org/ C-Extensions for Python]. Cython (2013-05-11). Retrieved on 2013-07-17. </ref> | ** Some [[programmer]]s prefer statically typed languages; others prefer dynamically typed languages. Statically typed languages alert [[programmer]]s 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. <ref> [http://www.cython.org/ C-Extensions for Python]. Cython (2013-05-11). Retrieved on 2013-07-17. </ref> | ||
<references/> | <references/> | ||
=== 2010 === | === 2010 === | ||
* (Java, 2010) | * (Java, 2010) ⇒ http://download.oracle.com/javase/tutorial/java/nutsandbolts/datatypes.html | ||
** The [[Java programming language]] is [[Statically-Typed Programming Language|statically-typed]], which means that all [[Program Variable|variable]]s must first be declared before they can be used. This involves stating the [[Program Variable|variable]]'s [[Program Variable Type|type]] and [[Program Variable Name|name]], | ** The [[Java programming language]] is [[Statically-Typed Programming Language|statically-typed]], which means that all [[Program Variable|variable]]s must first be declared before they can be used. This involves stating the [[Program Variable|variable]]'s [[Program Variable Type|type]] and [[Program Variable Name|name]], | ||
Revision as of 17:41, 13 September 2019
A Statically-Typed Programming Language is a programming language that requires programming variables to be named and typed before they are used.
- Context:
- It can (often) attempt to be a Type-Safe Programming Language.
- Example(s):
- Counter-Example(s):
- See: Data Type, Static Typing, Statically-Typed, Dependently Typed Programming Language, Type Checking Algorithm.
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]
- ↑ C-Extensions for Python. Cython (2013-05-11). Retrieved on 2013-07-17.
2010
- (Java, 2010) ⇒ http://download.oracle.com/javase/tutorial/java/nutsandbolts/datatypes.html
- The Java programming language is statically-typed, which means that all variables must first be declared before they can be used. This involves stating the variable's type and name,