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.

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.
References in periodicals archive ?
My feeling was that this was a good thing, and Pyrrho has always had strong typing.
Unlike key-value pair embedded database alternatives, Embedded InnoDB provides strong typing, schema management and other relational database features that help ensure application reliability.
Used for developing embedded and real-time system software, Ada's main features applied by Embraer are strong typing, modularity mechanisms (packages), run-time checking, parallel processing (tasks, synchronous message passing, protected objects and select statements), exception handling, and generics.
In a world increasingly reliant on computers, strong typing skills are essential.
The combination of Ada's reliability, provided through strong typing and rigorous checks, and the built-in safety features of the CsLEOS(TM) RTOS provide an ideal platform for development of software for safety-critical uses.
SOX extends XML for e-commerce and distributed computing by adding strong typing, inheritance, global name spaces, and legal attribute values.