Difference between revisions of "Statically-Typed Programming Language"

From GM-RKB
Jump to: navigation, search
m (Text replacement - "==References " to "== References ")
 
(2 intermediate revisions by 2 users not shown)
Line 6: Line 6:
 
** [[Scala Language]].
 
** [[Scala Language]].
 
** [[Go Language]].
 
** [[Go Language]].
 +
** [[Kotlin Language]].
 
* <B>Counter-Example(s):</B>  
 
* <B>Counter-Example(s):</B>  
 
** a [[Dynamically Typed Programming Language]].
 
** a [[Dynamically Typed Programming Language]].
Line 13: Line 14:
 
----
 
----
 
----
 
----
 +
 
== References ==
 
== References ==
  
 
=== 2013 ===
 
=== 2013 ===
* (Wikipedia, 2013) &rArr; http://en.wikipedia.org/wiki/Type_system#Programming_style Retrieved:2013-12-12.
+
* (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) &rArr; http://download.oracle.com/javase/tutorial/java/nutsandbolts/datatypes.html
+
* (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]],
  

Latest revision as of 17:42, 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.



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