Texonom
Texonom
/
Engineering
Engineering
/Software Engineering/Programming/Programming Language/Programming Language Structure/Type System/Type Enforcement/Inferred Typing/Static Typing/
Opaque Type
Search

Opaque Type

Creator
Creator
Seonglae Cho
Created
Created
2022 Jun 22 6:5
Editor
Editor
Seonglae Cho
Edited
Edited
2022 Jun 22 6:6
Refs
Refs
Invariance
 
 
 
 
 
Stronger JavaScript with Opaque Types
In Flow and TypeScript, types are transparent by default - if two types are structurally identical they are deemed to be compatible. For example, the following types are compatible: Username and Password are both strings, so they are equivalent as far as Flow and TypeScript are concerned, even though they represent entirely different concepts.
Stronger JavaScript with Opaque Types
https://codemix.com/opaque-types-in-javascript/
Opaque data type - Wikipedia
In computer science, an opaque data type is a data type whose concrete data structure is not defined in an interface. This enforces information hiding, since its values can only be manipulated by calling subroutines that have access to the missing information.
Opaque data type - Wikipedia
https://en.wikipedia.org/wiki/Opaque_data_type
Opaque data type - Wikipedia
Opaque Types
Structural type system, workaround in TypeScript, unique symbol and code examples
Opaque Types
https://blog.beraliv.dev/2021-05-07-opaque-type-in-typescript#choose-the-solution
Opaque Types
 
 

Recommendations

Texonom
Texonom
/
Engineering
Engineering
/Software Engineering/Programming/Programming Language/Programming Language Structure/Type System/Type Enforcement/Inferred Typing/Static Typing/
Opaque Type
Copyright Seonglae Cho