About me 2 Hiding your Implementation Details, Amir Kirsh @ CppCon, 2024 Lecturer Academic College of Tel-Aviv-Yaffo Tel-Aviv University Member of the Israeli ISO C++ NB Co-Organizer of the CoreCpp CoreCpp conference and meetup group Trainer and Advisor (C++, but not only)Hiding your Implementation DetailsHiding your Implementation Details Why?Protect Object Integrity Expose the necessary interfaces code. Easier to Debug Data modifications happens internally, in specific places. Encapsulation 5 Hiding your Implementation Details, Amir Kirsh @ CppCon, 2024Reduces Dependencies Components depend only

universe levels Abstract definitions Definitions can be marked as abstract, for the purpose of hiding implementation details, or to speed up type-checking of other parts. In essence, abstract definitions following words are only reserved in import directives (in connection with import or open): public using hiding renaming to Names A qualified name is a non-empty sequence of names separated by dots (.). A name (or open import or module X (args : Args) = ...) statement with one or more of the modifiers using, hiding, or renaming. using is followed by a list of identifiers, separated by semicolons, and has the effect

LANGUAGE REFERENCE 3.1 Abstract definitions Definitions can be marked as abstract, for the purpose of hiding implementation details, or to speed up type-checking of other parts. In essence, abstract definitions following words are only reserved in import directives (in connection with import or open): public using hiding renaming to Names A qualified name is a non-empty sequence of names separated by dots (.). A name (or open import or module X (args : Args) = ...) statement with one or more of the modifiers using, hiding, or renaming. • using is followed by a list of identifiers, separated by semicolons, and has the

Language Reference Abstract definitions Definitions can be marked as abstract, for the purpose of hiding implementation details, or to speed up type-checking of other parts. In essence, abstract definitions = | -> → : ? \ ? .. ... abstract codata coinductive constructor data eta-equality field forall hiding import in inductive infix infixl infixr instance let macro module mutual no-eta-equality open overlap by qualifying an open statement with one or more of the modifiers using, hiding, or renaming. You can combine both using and hiding with renaming, but not with each other. The effect of open A using (xs)

details Without K Abstract definitions Definitions can be marked as abstract, for the purpose of hiding implementation details, or to speed up type-checking of other parts. In essence, abstract definitions = | -> → : ? \ λ ∀ .. ... abstract codata coinductive constructor data eta- equality field forall hiding import in inductive infix infixl infixr instance let macro module mutual no-eta-equality open overlap by qualifying an open statement with one or more of the modifiers using, hiding, or renaming. You can combine both using and hiding with renaming, but not with each other. The effect of open A using (xs)

LANGUAGE REFERENCE 3.1 Abstract definitions Definitions can be marked as abstract, for the purpose of hiding implementation details, or to speed up type-checking of other parts. In essence, abstract definitions characters. = | -> → : ? \ ? ∀ .. ... abstract coinductive constructor data do eta-equality field forall hiding import in inductive infix infixl infixr instance interleaved let macro module mutual no-eta-equality (or open import or module X (args : Args) = ...) statement with one or more of the modifiers using, hiding, or renaming. • using is followed by a list of identifiers, separated by semicolons, and has the

LANGUAGE REFERENCE 3.1 Abstract definitions Definitions can be marked as abstract, for the purpose of hiding implementation details, or to speed up type-checking of other parts. In essence, abstract definitions characters. = | -> → : ? \ ? ∀ .. ... abstract coinductive constructor data do eta-equality field forall hiding import in inductive infix infixl infixr instance interleaved let macro module mutual no-eta-equality (or open import or module X (args : Args) = ...) statement with one or more of the modifiers using, hiding, or renaming. • using is followed by a list of identifiers, separated by semicolons, and has the

LANGUAGE REFERENCE 3.1 Abstract definitions Definitions can be marked as abstract, for the purpose of hiding implementation details, or to speed up type-checking of other parts. In essence, abstract definitions characters. = | -> → : ? \ ? ∀ .. ... abstract coinductive constructor data do eta-equality field forall hiding import in inductive infix infixl infixr instance interleaved let macro module mutual no-eta-equality (or open import or module X (args : Args) = ...) statement with one or more of the modifiers using, hiding, or renaming. • using is followed by a list of identifiers, separated by semicolons, and has the

LANGUAGE REFERENCE 3.1 Abstract definitions Definitions can be marked as abstract, for the purpose of hiding implementation details, or to speed up type-checking of other parts. In essence, abstract definitions characters. = | -> → : ? \ ? ∀ .. ... abstract coinductive constructor data do eta-equality field forall hiding import in inductive infix infixl infixr instance interleaved let macro module mutual no-eta-equality (or open import or module X (args : Args) = ...) statement with one or more of the modifiers using, hiding, or renaming. • using is followed by a list of identifiers, separated by semicolons, and has the

details Without K Abstract definitions Definitions can be marked as abstract, for the purpose of hiding implementation details, or to speed up type-checking of other parts. In essence, abstract definitions | -> → : ? \ λ ∀ .. ... abstract codata coinductive constructor data do eta-equality field forall hiding import in inductive infix infixl infixr instance let macro module mutual no-eta-equality open overlap by qualifying an open statement with one or more of the modifiers using, hiding, or renaming. You can combine both using and hiding with renaming, but not with each other. The effect of open A using (xs)