zuweisbare

Zuweisbare is a technical German adjective derived from zuweisen (to assign) and is used primarily in programming, type theory and formal language contexts to describe entities that can receive a new value through an assignment operation. An object, variable, binding or type is considered zuweisbar if there exists a valid assignment that changes its stored value while preserving type correctness and program semantics.

In programming languages, zuweisbarkeit depends on mutability and type compatibility. A binding that can be reassigned is mutable and therefore zuweisbar, whereas an immutable binding is not. Some languages distinguish whether the value itself can be changed (mutability of the object) or only the binding to the object (rebinding the name). For example, in languages with explicit mutable declarations, a variable declared mutable is zuweisbar, while a constant designation prevents assignment. Type systems also encode zuweisbarkeit through rules about the left-hand side and right-hand side of an assignment; the right-hand side value must be assignable to the left-hand side’s type.

Common technical notions related to zuweisbare include the assignment operator, assignment compatibility, and related compile-time checks. In C++ the concept of assignable types is captured by type traits like is_assignable, which reflect whether a type supports the assignment operation. In functional or purely functional languages, assignment to variables is restricted or disallowed, making many bindings non-zuweisbar by design.

In sum, zuweisbare describes the property of being subject to value replacement via assignment, a core concept in understanding mutability, type safety, and influencing compiler behavior and program design.