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.
Its strong typing means arbitrary type conversions are disallowed.
The lack of intrinsic strong typing in C compilers has to date been worked around by using a separate tool, called "lint.
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.
First, it is difficult to see how the example Glass cites is nonintuitive to a programmer with even a little knowledge of Ada, since strong typing and type declarations are fundamental to the language.
We assume here a general familiarity with spiral development models, ongoing evaluations and reviews, and software engineering principles such as abstraction, encapsulation, information hiding, strong typing, separation of mechanism in design, separation of duties in operation, allocation of least privilege, protected kernels, trusted computing bases, and client server architectures, to name a few.
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.
For Ada 9X, we have addressed some of the issues associated with "programming in the large" by enhancing the separate compilation facilities, as well as standardizing mechanisms for breaking large applications into separately linkable "partitions," which can be loaded and elaborated independently from one another while preserving strong typing.
SOX extends XML for e-commerce and distributed computing by adding strong typing, inheritance, global name spaces, and legal attribute values.
Systematic use of good software engineering practice, careful interface design, strong typing, and realistic sanity checks are examples of techniques that can help attack this type of problem.
In order to do object-oriented programming in the presence of Pascal's strong typing.