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 LanguageJoy (programming language), Programming Languages Well-attested JSON, Programming Languages Well-attested Julia, Programming Languages Well-attested K, Programming Languages Well-attested Kotlin, Programming Languages Well-attested Lean (proof assistant), Programming Languages Well-attested LFE (programming language), Programming Languages Well-attested Limbo (programming language), Programming Languages Well-attested Lisp, Programming Languages Well-attested Lua, Programming Languages Well-attested MAD (Michigan Algorithm Decoder), Programming Languages Well-attested Managed Extensions for C++, Programming Languages Well-attested Source Managed Extensions for C++ (Wikipedia)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 Microsoft Power Fx, Programming Languages Well-attested Source Microsoft: Microsoft Power Fx overviewMiranda, 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 NetLogo, Programming Languages Well-attested Newsqueak, Programming Languages Well-attested Nim, Programming Languages Well-attested Oberon, Programming Languages Well-attested Object Pascal, Programming Languages Well-attested OCaml, Programming Languages Well-attested OpenEdge Advanced Business Language, Programming Languages Well-attested Source OpenEdge Advanced Business Language (Wikipedia)Pascal, Programming Languages Well-attested PL/I, Programming Languages Well-attested Pony (programming language), Programming Languages Well-attested PowerShell, Programming Languages Well-attested PureScript, Programming Languages Well-attested Q (programming language), Programming Languages Well-attested Source Q (programming language from Kx Systems), WikipediaQBasic, Programming Languages Well-attested Source QBasic (Wikipedia)QML, Programming Languages Well-attested Source QML (Wikipedia)QuickBASIC, Programming Languages Well-attested Source QuickBASIC (Wikipedia)Racket, Programming Languages Well-attested Raku, Programming Languages Well-attested ReasonML, Programming Languages Well-attested Rebol, Programming Languages Well-attested Refal, Programming Languages Well-attested RPG, Programming Languages Well-attested Rust, Programming Languages Well-attested S (programming language), Programming Languages Well-attested Scala, Programming Languages Well-attested Scheme, Programming Languages Well-attested Self, Programming Languages Well-attested Showing 51 to 100 of 113 in Typing Discipline Of Language, page 2 of 3.← Previous123Next →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.