Static typing is the form of type checking in which mismatches between the kinds of values a program uses are detected statically, at compile time, rather than at runtime. The cited article, titled Type system because the title Static typing redirects to it, explains that a type system is a set of rules that associates a data type with each term in a program and that its main purpose is to reduce the possibilities for bugs caused by mismatches in how values are interpreted in different parts of a program. It says the checking that connects parts of a program consistently can happen statically, dynamically, or as a combination of both, and that when a mismatch is detected it is called a type error. Languages the atlas records as statically typed are grouped under this entry.
Connections
Typing Discipline Of Language
Source ATS (programming language) (Wikipedia)
Source Chapel (PLDB page)
Source MSDN Magazine: Reaping the Benefits of Cobra
Showing 1 to 50 of 91 in Typing Discipline Of Language, page 1 of 2.
Sources
Type system (Wikipedia)
Wikipedia, lead sectionQuote, Wikipedia, lead section
This checking can happen statically (at compile time), dynamically (at runtime), or as a combination of both.
Free On-line Dictionary of Computing: Static Typing
Free On-line Dictionary of ComputingIn Group: Typing Disciplines, Dictionary entryQuote, In Group: Typing Disciplines, Dictionary entry
Enforcement of type rules at compile time rather than at run time
Visual Basic for Applications (Wikipedia)
Typing Discipline Of Language: Visual Basic for Applications, Infobox: typingQuote, Typing Discipline Of Language: Visual Basic for Applications, Infobox: typing
Static/Dynamic Hybrid, Strong/Weak Hybrid
Sawzall (programming language) (Wikipedia)
Typing Discipline Of Language: Sawzall (programming language), FeaturesQuote, Typing Discipline Of Language: Sawzall (programming language), Features
Sawzall is statically typed, and the engine compiles the script to x86 before running it.
QBasic (Wikipedia)
The Mercury Project: About Mercury (mercurylang.org)
The Mercury ProjectTyping Discipline Of Language: Mercury (programming language), About Mercury, main featuresQuote, Typing Discipline Of Language: Mercury (programming language), About Mercury, main features
Type errors are reported at compile time.
ATS (programming language) (Wikipedia)
Typing Discipline Of Language: ATS (programming language), Article leadQuote, Typing Discipline Of Language: ATS (programming language), Article lead
By using theorem proving and strict type checking
QuickBASIC (Wikipedia)
Typing Discipline Of Language: QuickBASIC, Infobox: typingQuote, Typing Discipline Of Language: QuickBASIC, Infobox: typing
Static, strong
Chapel (PLDB page)
Typing Discipline Of Language: Chapel (programming language), PLDB page, language features tableQuote, Typing Discipline Of Language: Chapel (programming language), PLDB page, language features table
Static Typing
MSDN Magazine: Reaping the Benefits of Cobra
MSDN MagazineTyping Discipline Of Language: Cobra (programming language), Reaping the Benefits of Cobra, typing sectionQuote, Typing Discipline Of Language: Cobra (programming language), Reaping the Benefits of Cobra, typing section
Cobra neatly dodges this argument completely, by being both static and dynamic.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.