Home›Multi-Paradigm Language›Typing Discipline›Strong TypingConceptStrong TypingFoundational ConceptReference and ClassificationDevelopingStrong typing is the colloquial name for a language that discourages or prevents type errors. The cited article, titled Type safety because the title Strongly typed redirects to it, defines type safety as the extent to which a programming language discourages or prevents type errors, such as trying to add a string to an integer, and says type-safe languages are sometimes also called strongly or strictly typed. Its section on strong and weak typing says programming languages are often colloquially classified as strongly or weakly typed to refer to certain aspects of type safety, and it quotes the 1974 definition by Liskov and Zilles of a strongly typed language as one in which, whenever an object is passed to a called function, its type must be compatible with the type declared there. Languages the atlas records as strongly typed are grouped under this entry.FactsStrong TypingConnectionsSourcesComments (0)Reader Challenges (0)FactsCore PrincipleWell-attestedA relative notion: a more strongly typed language has some restriction in its type system that a more weakly typed language it is compared with lacks. 1Strong TypingFilter Results17 entriesParadigmAllCross-Platform and Cloud Multi-Paradigm Languages (2)Declarative Research Languages (1)General-Purpose Multi-Paradigm Languages (8)ML-Descended Multi-Paradigm Languages (3)Rebol and Its Successors (1)First ReleasedAll1963 (1)1976 (1)1988 (1)1992 (1)1995 (1)1996 (1)1997 (1)2003 (1)2004 (1)2005 (1)2008 (1)2009 (1)2011 (1)2012 (1)2014 (2)2017 (1)LicenseAllApache License 2.0 (6)BSD 3-Clause License (2)GNU Lesser General Public License Version 2.1 (1)ISC License (1)MIT License (3)Proprietary Software (1)Invented ByAllAlan Edelman (1)Andrey Breslav (1)Carl Sassenrath (1)Chris Lattner (1)Christopher Strachey (1)Frank Leymann (1)John Chambers (1)Martin Odersky (1)Stephen Wolfram (1)Xavier Leroy (1)Invented By CompanyAllApple Inc. (2)JetBrains (2)Microsoft (2)Wolfram Research (1)WSO2 (1)LineageAllALGOL 60 (1)C++ (2)Common Lisp (1)Forth (1)Fortran (2)Gosu (programming language) (1)Groovy (1)Haskell (1)Java (1)JavaScript (2)Kotlin (1)Lisp (1)Logo (1)Lua (1)MATLAB (1)Modula-3 (1)OCaml (1)Perl (1)Prolog (1)Python (1)R (1)Scheme (1)Simula (1)Smalltalk (1)Standard ML (2)TypeScript (1)PredecessorAllALGOL 60 (1)Objective-C (1)ACM AreaAllProgramming Language Theory (15)Software Engineering (2)Show ResultsBrowseCompareSelect all 17Ballerina (programming language)Strong TypingCPL (programming language)Strong TypingCurry (programming language)Strong TypingDafnyStrong TypingDylan (programming language)Strong TypingF#Strong TypingFuthark (programming language)Strong TypingJuliaStrong TypingKotlinStrong TypingLFE (programming language)Strong TypingNemerleStrong TypingOCamlStrong TypingRebolStrong TypingS (programming language)Strong TypingScalaStrong TypingSwiftStrong TypingWolfram LanguageStrong TypingConnectionsTyping Discipline Of LanguageA+ (programming language), Programming Languages Well-attested ABAP, Programming Languages Well-attested ABC (programming language), Programming Languages Well-attested Ada, Programming Languages Well-attested Agda, Programming Languages Well-attested Alef (programming language), Programming Languages Well-attested ALGOL, Programming Languages Well-attested ALGOL 58, Programming Languages Well-attested ALGOL 60, Programming Languages Well-attested ALGOL 68, Programming Languages Well-attested ALGOL W, Programming Languages Well-attested Ballerina (programming language), Programming Languages Well-attested Boo (programming language), Programming Languages Well-attested C with Classes, Programming Languages Well-attested C#, Programming Languages Well-attested Caml, Programming Languages Well-attested Ceylon (programming language), Programming Languages Well-attested Source Programming Language Database (PLDB): Ceylon - PLDBChucK, Programming Languages Well-attested Source ChucK (Wikipedia)Clean (programming language), Programming Languages Well-attested Source Clean (programming language) (Wikipedia)Clojure, Programming Languages Well-attested CLU (programming language), Programming Languages Well-attested COMAL, Programming Languages Well-attested Common Lisp, Programming Languages Well-attested CORAL 66, Programming Languages Well-attested CPL (programming language), Programming Languages Well-attested Source Free On-line Dictionary of Computing: Free On-line Dictionary of Computing: CPLCurry (programming language), Programming Languages Well-attested D, Programming Languages Well-attested Dafny, Programming Languages Well-attested Dart, Programming Languages Well-attested Dylan (programming language), Programming Languages Well-attested E (programming language), Programming Languages Well-attested Elixir, Programming Languages Well-attested Elm, Programming Languages Well-attested Emacs Lisp, Programming Languages Well-attested Erlang, Programming Languages Well-attested F#, Programming Languages Well-attested Factor (programming language), Programming Languages Well-attested Fortran, Programming Languages Well-attested FreeBASIC, Programming Languages Well-attested Futhark (programming language), Programming Languages Well-attested Gleam (programming language), Programming Languages Well-attested Go, Programming Languages Well-attested Gosu (programming language), Programming Languages Well-attested Groovy, Programming Languages Well-attested Haskell, Programming Languages Well-attested IBM RPG, Programming Languages Well-attested Io (programming language), Programming Languages Well-attested JADE (programming language), Programming Languages Well-attested Java, Programming Languages Well-attested JOVIAL, Programming Languages Well-attested Showing 1 to 50 of 113 in Typing Discipline Of Language, page 1 of 3.123Next →Sources1. Is C# a strongly typed or a weakly typed language, Eric LippertParagraph beginning So lets sayQuote, Paragraph beginning So lets saySo lets say: a more-strongly-typed language is one that has some restriction in its type system that a more-weakly-typed language it is being compared to lacks.View the SourceType safety (Wikipedia)Wikipedia, lead sectionQuote, Wikipedia, lead sectionType-safe languages are sometimes also called strongly or strictly typed.View the SourceFree On-line Dictionary of Computing: Strong TypingFree On-line Dictionary of ComputingIn Group: Typing Disciplines, Dictionary entryQuote, In Group: Typing Disciplines, Dictionary entryStrict enforcement of type rules with no exceptionsView the SourceQBasic (Wikipedia)Typing Discipline Of Language: QBasic, Infobox typingView the SourceFree On-line Dictionary of Computing: Free On-line Dictionary of Computing: CPLFree On-line Dictionary of ComputingTyping Discipline Of Language: CPL (programming language), FOLDOC CPL entryQuote, Typing Discipline Of Language: CPL (programming language), FOLDOC CPL entryIt is strongly typedView 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 featuresMercury is a strongly typed language.View the SourceQuickBASIC (Wikipedia)Typing Discipline Of Language: QuickBASIC, Infobox: typingQuote, Typing Discipline Of Language: QuickBASIC, Infobox: typingStatic, strongView the SourceQML (Wikipedia)Typing Discipline Of Language: QML, Infobox: typingQuote, Typing Discipline Of Language: QML, Infobox: typingdynamic, strongView 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 SourceTI-BASIC (Wikipedia)Typing Discipline Of Language: TI-BASIC, Data typesQuote, Typing Discipline Of Language: TI-BASIC, Data typesTI-BASIC is a strongly- and dynamically-typed language.View the SourceChucK (Wikipedia)Typing Discipline Of Language: ChucK, Language features, strong typingQuote, Typing Discipline Of Language: ChucK, Language features, strong typingThe ChucK programming language is a loosely C-like object-oriented language, with strong static typing.View the SourceManaged Extensions for C++ (Wikipedia)Typing Discipline Of Language: Managed Extensions for C++, Comparison with C#, disadvantagesQuote, Typing Discipline Of Language: Managed Extensions for C++, Comparison with C#, disadvantagesManaged C++, though it is a strongly typed language due to its introduction into the CLRView the SourceMicrosoft: Microsoft Power Fx overviewMicrosoftTyping Discipline Of Language: Microsoft Power Fx, Overview, opening paragraphQuote, Typing Discipline Of Language: Microsoft Power Fx, Overview, opening paragraphIt's a general-purpose, strongly typed, declarative, and functional programming language.View the SourceOpenEdge Advanced Business Language (Wikipedia)Typing Discipline Of Language: OpenEdge Advanced Business Language, Syntax and semanticsQuote, Typing Discipline Of Language: OpenEdge Advanced Business Language, Syntax and semanticsProgress ABL is a strongly typed, late-bound, English-like programming language.View the SourceQ (programming language from Kx Systems), WikipediaTyping Discipline Of Language: Q (programming language), Infobox: typingQuote, Typing Discipline Of Language: Q (programming language), Infobox: typingdynamic, strongView 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.