static typing

static typing

(programming)

Enforcement of type rules at compile time rather than at run time. Static typing catches more errors at compile time than dynamic typing.

Ada, C, C++, Haskell, Java, and ML are examples of statically typed languages.

Statically typed languages may have strong typing or weak typing.

This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)

early binding

In programming, the assignment of types to variables and expressions at compilation time. Also called "static binding" and "static typing." Contrast with dynamic binding. See binding time.

Copyright © 1981-2025 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.