strong typing
strong typing
(programming)Strict enforcement of type rules with no
exceptions. Incorrect type usage can be detected either at
run time or at compile time. Strong typing catches more
type errors than weak typing, resulting in fewer hard
errors. In a strongly typed language, conversion between
types requires the use of explicit conversion functions as
opposed to implicit type coercion.
Typing strength is a continuum; ML is more strongly typed than Java, which is more strongly typed than C.
Strong or weak typing is independent of the choice between static typing and dynamic typing. Among strongly typed languages, Ada, Java, Haskell and ML are statically typed, whereas Python and Ruby are dynamically typed.
Typing strength is a continuum; ML is more strongly typed than Java, which is more strongly typed than C.
Strong or weak typing is independent of the choice between static typing and dynamic typing. Among strongly typed languages, Ada, Java, Haskell and ML are statically typed, whereas Python and Ruby are dynamically typed.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
strong typing
A programming language characteristic that provides strict adherence to the rules of typing. Data of one type (integer, string, etc.) cannot be passed to a variable expecting data of a different type. Contrast with weak typing.Copyright © 1981-2024 by The Computer Language Company Inc. All Rights reserved. THIS DEFINITION IS FOR PERSONAL USE ONLY. All other reproduction is strictly prohibited without permission from the publisher.