Home›Multi-Paradigm Language›Typing Discipline›Static TypingConceptStatic TypingFoundational ConceptReference and ClassificationDevelopingStatic 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.FactsStatic TypingConnectionsSourcesComments (0)Reader Challenges (0)FactsCore PrincipleWell-attestedVariable types are known at compile time, either indicated by the programmer or inferred. 1Static TypingFilter Results11 entriesParadigmAllCross-Platform and Cloud Multi-Paradigm Languages (3)Declarative Research Languages (1)General-Purpose Multi-Paradigm Languages (4)ML-Descended Multi-Paradigm Languages (3)First ReleasedAll1995 (1)1996 (1)2003 (1)2004 (1)2005 (2)2009 (1)2011 (1)2014 (2)2017 (1)LicenseAllApache License 2.0 (4)BSD 3-Clause License (2)GNU Lesser General Public License Version 2.1 (1)ISC License (1)MIT License (3)Invented ByAllAndrey Breslav (1)Chris Lattner (1)Frank Leymann (1)Martin Odersky (1)Xavier Leroy (1)Invented By CompanyAllApple Inc. (1)JetBrains (2)Microsoft (2)WSO2 (1)LineageAllC++ (2)Gosu (programming language) (1)Groovy (1)Haskell (1)Java (1)JavaScript (3)Kotlin (1)Modula-3 (1)OCaml (2)Standard ML (2)TypeScript (1)PredecessorAllObjective-C (1)ACM AreaAllProgramming Language Theory (9)Software Engineering (2)Show ResultsBrowseCompareSelect all 11Ballerina (programming language)Static TypingCurry (programming language)Static TypingDafnyStatic TypingF#Static TypingFuthark (programming language)Static TypingHaxeStatic TypingKotlinStatic TypingNemerleStatic TypingOCamlStatic TypingScalaStatic TypingSwiftStatic TypingConnectionsTyping Discipline Of LanguageIdris, Programming Languages Well-attested JADE (programming language), Programming Languages Well-attested Java, Programming Languages Well-attested JavaFX Script, Programming Languages Well-attested Source JavaFX Script (Wikipedia)JOVIAL, Programming Languages Well-attested JS++, Programming Languages Well-attested Kotlin, Programming Languages Well-attested Lean (proof assistant), Programming Languages Well-attested MAD (Michigan Algorithm Decoder), Programming Languages Well-attested Mercury, Programming Languages Well-attested Mercury (programming language), Programming Languages Well-attested Source The Mercury Project: About Mercury (mercurylang.org)Mesa (programming language), Programming Languages Well-attested Miranda, Programming Languages Well-attested ML (programming language), Programming Languages Well-attested Modula, Programming Languages Well-attested Modula-2, Programming Languages Well-attested Modula-3, Programming Languages Well-attested NELIAC, Programming Languages Well-attested Nemerle, Programming Languages Well-attested Nim, Programming Languages Well-attested Oberon, Programming Languages Well-attested Object Pascal, Programming Languages Well-attested Objective-C, Programming Languages Well-attested OCaml, Programming Languages Well-attested Opa (programming language), Programming Languages Well-attested Source Opa (programming language) (Wikipedia)Pascal, Programming Languages Well-attested PascalABC.NET, Programming Languages Well-attested Source PascalABC.NET (Wikipedia)Pike (programming language), Programming Languages Well-attested Source Pike (programming language) (Wikipedia)Pony (programming language), Programming Languages Well-attested PureScript, Programming Languages Well-attested QBasic, Programming Languages Well-attested Source QBasic (Wikipedia)QuickBASIC, Programming Languages Well-attested Source QuickBASIC (Wikipedia)ReasonML, Programming Languages Well-attested RPG, Programming Languages Well-attested Rust, Programming Languages Well-attested Sawzall (programming language), Programming Languages Well-attested Source Sawzall (programming language) (Wikipedia)Scala, Programming Languages Well-attested Seed7, Programming Languages Well-attested Source Seed7 (Wikipedia)Simula, Programming Languages Well-attested Solidity, Programming Languages Well-attested SQL, Programming Languages Well-attested Standard ML, Programming Languages Well-attested Swift, Programming Languages Well-attested SystemVerilog, Programming Languages Well-attested Turing (programming language), Programming Languages Well-attested V (programming language), Programming Languages Well-attested Vala (programming language), Programming Languages Well-attested Verilog, Programming Languages Well-attested Visual Basic for Applications, Programming Languages Well-attested Source Visual Basic for Applications (Wikipedia)Visual Prolog, Programming Languages Well-attested Showing 51 to 100 of 104 in Typing Discipline Of Language, page 2 of 3.← Previous123Next →Sources1. MDN Web Docs glossary: Static typingOpening definitionQuote, Opening definitionA statically-typed language is a language (such as Java, C, or C++) where variable types are known at compile time.View the SourceType system (Wikipedia)Wikipedia, lead sectionQuote, Wikipedia, lead sectionThis checking can happen statically (at compile time), dynamically (at runtime), or as a combination of both.View the SourceFree On-line Dictionary of Computing: Static TypingFree On-line Dictionary of ComputingIn Group: Typing Disciplines, Dictionary entryQuote, In Group: Typing Disciplines, Dictionary entryEnforcement of type rules at compile time rather than at run timeView the SourceVisual Basic for Applications (Wikipedia)Typing Discipline Of Language: Visual Basic for Applications, Infobox: typingQuote, Typing Discipline Of Language: Visual Basic for Applications, Infobox: typingStatic/Dynamic Hybrid, Strong/Weak HybridView the SourceSawzall (programming language) (Wikipedia)Typing Discipline Of Language: Sawzall (programming language), FeaturesQuote, Typing Discipline Of Language: Sawzall (programming language), FeaturesSawzall is statically typed, and the engine compiles the script to x86 before running it.View the SourceQBasic (Wikipedia)Typing Discipline Of Language: QBasic, Infobox typingView the SourceThe 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 featuresType errors are reported at compile time.View the SourceATS (programming language) (Wikipedia)Typing Discipline Of Language: ATS (programming language), Article leadQuote, Typing Discipline Of Language: ATS (programming language), Article leadBy using theorem proving and strict type checkingView the SourceQuickBASIC (Wikipedia)Typing Discipline Of Language: QuickBASIC, Infobox: typingQuote, Typing Discipline Of Language: QuickBASIC, Infobox: typingStatic, strongView the SourceChapel (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 tableStatic TypingView the SourceMSDN Magazine: Reaping the Benefits of CobraMSDN 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 sectionCobra neatly dodges this argument completely, by being both static and dynamic.View the SourceProgramming Language Database (PLDB): Ceylon - PLDBTyping Discipline Of Language: Ceylon (programming language), PLDB Ceylon summaryQuote, Typing Discipline Of Language: Ceylon (programming language), PLDB Ceylon summaryCeylon is an object-oriented, strongly statically typed programming languageView the SourceClean (programming language) (Wikipedia)Typing Discipline Of Language: Clean (programming language), Infobox: typingQuote, Typing Discipline Of Language: Clean (programming language), Infobox: typingStrong, static, dynamicView the SourcePike (programming language) (Wikipedia)Typing Discipline Of Language: Pike (programming language), LeadQuote, Typing Discipline Of Language: Pike (programming language), LeadPike is both statically and dynamically typedView the SourceAngelScript (Wikipedia)Typing Discipline Of Language: AngelScript, LeadQuote, Typing Discipline Of Language: AngelScript, LeadAngelScript features static typingView the SourceChucK (Wikipedia)Typing Discipline Of Language: ChucK, Language features, static typingQuote, Typing Discipline Of Language: ChucK, Language features, static typingThe ChucK programming language is a loosely C-like object-oriented language, with strong static typing.View the SourceOpa (programming language) (Wikipedia)Typing Discipline Of Language: Opa (programming language), Design and features, static typingQuote, Typing Discipline Of Language: Opa (programming language), Design and features, static typingThe core language is functional and has a static type system with type inference.View the SourceArkTS (Wikipedia)Typing Discipline Of Language: ArkTS, Lead, typingQuote, Typing Discipline Of Language: ArkTS, Lead, typingmulti-paradigm, compiled, declarative, static type programming languageView the SourceJavaFX Script (Wikipedia)Typing Discipline Of Language: JavaFX Script, Features, statically typedQuote, Typing Discipline Of Language: JavaFX Script, Features, statically typedJavaFX Script was a compiled, statically typed, declarative scripting language for the Java Platform.View the SourceCangjie (programming language) (Wikipedia)Typing Discipline Of Language: Cangjie (programming language), Lead, statically typedQuote, Typing Discipline Of Language: Cangjie (programming language), Lead, statically typedis a high-level, statically typed, general-purpose, multi-paradigm, compiled imperative and declarative programming language developed by HuaweiView the SourceAssemblyScript (Wikipedia)Typing Discipline Of Language: AssemblyScript, Lead, static data typesQuote, Typing Discipline Of Language: AssemblyScript, Lead, static data typesResembling ECMAScript and JavaScript, but with static data typesView the SourcePascalABC.NET (Wikipedia)Typing Discipline Of Language: PascalABC.NET, CriticismQuote, Typing Discipline Of Language: PascalABC.NET, Criticismby applying a static typing conceptView the SourceSeed7 (Wikipedia)Typing Discipline Of Language: Seed7, FeaturesQuote, Typing Discipline Of Language: Seed7, FeaturesStatic typingView the SourceXtend (Wikipedia)Typing Discipline Of Language: Xtend, Lead, typingQuote, Typing Discipline Of Language: Xtend, Lead, typingXtend is statically typed and uses Java's type system without modifications.View the SourceComments (0)No comments yet. Be the first to share a thought.Sign in to join the discussion.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.