Strong 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.
Facts
Core PrincipleA 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. 1 Strong Typing
Filter Results3 entries
Connections
Typing Discipline Of Language
Source Managed Extensions for C++ (Wikipedia)
Source The Mercury Project: About Mercury (mercurylang.org)
Source Microsoft: Microsoft Power Fx overview
Source OpenEdge Advanced Business Language (Wikipedia)
Source Q (programming language from Kx Systems), Wikipedia
Source QBasic (Wikipedia)
Source QuickBASIC (Wikipedia)
Showing 51 to 100 of 113 in Typing Discipline Of Language, page 2 of 3.
Sources
1. Is C# a strongly typed or a weakly typed language, Eric Lippert
Paragraph beginning So lets sayQuote, Paragraph beginning So lets say
So 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.
Type safety (Wikipedia)
Wikipedia, lead sectionQuote, Wikipedia, lead section
Type-safe languages are sometimes also called strongly or strictly typed.
Free On-line Dictionary of Computing: Strong Typing
Free On-line Dictionary of ComputingIn Group: Typing Disciplines, Dictionary entryQuote, In Group: Typing Disciplines, Dictionary entry
Strict enforcement of type rules with no exceptions
QBasic (Wikipedia)
Free On-line Dictionary of Computing: Free On-line Dictionary of Computing: CPL
Free On-line Dictionary of ComputingTyping Discipline Of Language: CPL (programming language), FOLDOC CPL entryQuote, Typing Discipline Of Language: CPL (programming language), FOLDOC CPL entry
It is strongly typed
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
Mercury is a strongly typed language.
QuickBASIC (Wikipedia)
Typing Discipline Of Language: QuickBASIC, Infobox: typingQuote, Typing Discipline Of Language: QuickBASIC, Infobox: typing
Static, strong
QML (Wikipedia)
Typing Discipline Of Language: QML, Infobox: typingQuote, Typing Discipline Of Language: QML, Infobox: typing
dynamic, strong
Programming Language Database (PLDB): Ceylon - PLDB
Typing Discipline Of Language: Ceylon (programming language), PLDB Ceylon summaryQuote, Typing Discipline Of Language: Ceylon (programming language), PLDB Ceylon summary
Ceylon is an object-oriented, strongly statically typed programming language
Clean (programming language) (Wikipedia)
Typing Discipline Of Language: Clean (programming language), Infobox: typingQuote, Typing Discipline Of Language: Clean (programming language), Infobox: typing
Strong, static, dynamic
TI-BASIC (Wikipedia)
Typing Discipline Of Language: TI-BASIC, Data typesQuote, Typing Discipline Of Language: TI-BASIC, Data types
TI-BASIC is a strongly- and dynamically-typed language.
ChucK (Wikipedia)
Typing Discipline Of Language: ChucK, Language features, strong typingQuote, Typing Discipline Of Language: ChucK, Language features, strong typing
The ChucK programming language is a loosely C-like object-oriented language, with strong static typing.
Managed 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#, disadvantages
Managed C++, though it is a strongly typed language due to its introduction into the CLR
Microsoft: Microsoft Power Fx overview
MicrosoftTyping Discipline Of Language: Microsoft Power Fx, Overview, opening paragraphQuote, Typing Discipline Of Language: Microsoft Power Fx, Overview, opening paragraph
It's a general-purpose, strongly typed, declarative, and functional programming language.
OpenEdge 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 semantics
Progress ABL is a strongly typed, late-bound, English-like programming language.
Q (programming language from Kx Systems), Wikipedia
Typing Discipline Of Language: Q (programming language), Infobox: typingQuote, Typing Discipline Of Language: Q (programming language), Infobox: typing
dynamic, strong
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.