New: added glossary entry Flavoured Type

Author: stuartherbert

CHANGELOG.md

@@ -77,6 +77,7 @@ The following changes have been completed, and will be included in the next tagg
   - added End-User
   - added Entity
   - added Exported Item
+  - added Flavoured Type
   - added Value Object
 
 ### Fixes

TEMPLATE.md

@@ -37,5 +37,6 @@ Table of Contents:
 [End-User]: ../../glossary/end-user.md
 [Entity]: ../../glossary/entity.md
 [Exported Item]: ../../glossary/exported-item.md
+[Flavoured Type]: ../../glossary/flavoured-type.md
 [Value Object]: ../../glossary/value-object.md
 

glossary/README.md

@@ -23,6 +23,7 @@ Table of Contents:
 - [End-User][End-User]
 - [Entity][Entity]
 - [Exported Item][Exported Item]
+- [Flavoured Type][Flavoured Type]
 
 [ADOPTION]: ../impacted-areas/ADOPTION.md
 [CONTRIBUTIONS]: ../impacted-areas/CONTRIBUTIONS.md

glossary/flavoured-type.md

@@ -0,0 +1,77 @@
+# Flavoured Type
+
+A _flavoured type_ is a variation on [branded types][Branded Type].
+
+```typescript
+type WeakUuid = string & {
+    _type?: "@safelytyped/uuid";
+}
+
+type WeakCombUid = string & {
+    _type?: "@safelytyped/combuid";
+}
+```
+
+The difference between _branded types_ and _flavoured types_ is that _flavoured types_ make the `_type` property **optional**.
+
+Why do we do that? Isn't it much less [robust][ROBUSTNESS]?
+
+They were invented to help with unmarshalling data from a database or equivalent. See [this blog post](https://spin.atomicobject.com/2018/01/15/typescript-flexible-nominal-typing/) for more details.
+
+[ADOPTION]: ../impacted-areas/ADOPTION.md
+[CONTRIBUTIONS]: ../impacted-areas/CONTRIBUTIONS.md
+[CORRECTNESS]: ../impacted-areas/CORRECTNESS.md
+[GOVERNANCE]: ../impacted-areas/GOVERNANCE.md
+[PROJECT-MAINTENANCE]: ../impacted-areas/PROJECT-MAINTENANCE.md
+[ROBUSTNESS]: ../impacted-areas/ROBUSTNESS.md
+[SECURITY]: ../impacted-areas/SECURITY.md
+[TESTABILITY]: ../impacted-areas/TESTABILITY.md
+[Base Class]: ./base-class.md
+[Branded Type]: ./branded-type.md
+[Caller]: ./caller.md
+[CQRS]: ./CQRS.md
+[Data Bag]: ./data-bag.md
+[Data Guard]: ./data-guard.md
+[Data Guarantee]: ./data-guarantee.md
+[Default Value]: ./default-value.md
+[Defensive Programming]: ./defensive-programming.md
+[Dependency]: ./dependency.md
+[Dependency Injection]: ./dependency-injection.md
+[Docblock]: ./docblock.md
+[End-User]: ./end-user.md
+[Entity]: ./entity.md
+[Exported Item]: ./exported-item.md
+[Flavoured Type]: ./flavoured-type.md
+[Function Prefix]: ./function-prefix.md
+[Function Signature]: ./function-signature.md
+[Hard-Coded]: ./hard-coded.md
+[Identity]: ./identity.md
+[Immutability]: ./immutability.md
+[Inherited Method]: ./inherited-method.md
+[Instantiable Type]: ./instantiable-type.md
+[Mandatory Dependency]: ./mandatory-dependency.md
+[Nominal Typing]: ./nominal-typing.md
+[Optional Input]: ./optional-input.md
+[Overridden Method]: ./overridden-method.md
+[Plain Object]: ./plain-object.md
+[Primitive Type]: ./primitive-type.md
+[Protocol]: ./protocol.md
+[Refined Type]: ./refined-type.md
+[Rest Parameter]: ./rest-parameter.md
+[Reusability]: ./reusability.md
+[Side Effects]: ./side-effects.md
+[Smart Constructor]: ./smart-constructor.md
+[Structural Typing]: ./structural-typing.md
+[Type Alias]: ./type-alias.md
+[Type Casting]: ./type-casting.md
+[Type Guarantee]: ./type-guarantee.md
+[Type Guard]: ./type-guard.md
+[Type Inference]: ./type-inference.md
+[Type Predicate]: ./type-predicate.md
+[Type Signature]: ./type-signature.md
+[User-Supplied Functional Options]: ./user-supplied-functional-options.md
+[User-Supplied Input]: ./user-supplied-input.md
+[User-Supplied Options]: ./user-supplied-options.md
+[User-Supplied Optional Dependencies]: ./user-supplied-optional-dependencies.md
+[Value]: ./value.md
+[Value Object]: ./value-object.md