Hyperfiles Compiler

“Branded” Types

https://github.com/kourge/ts-brand

Nominal Typing | TypeScript Deep Dive (gitbook.io)

”Types are Structural” | TypeScript Deep Dive (gitbook.io)Object Categorization: Names and Tags

https://effect.website/docs/style/brands

https://medium.com/@KevinBGreene/surviving-the-typescript-ecosystem-branding-and-type-tagging-6cf6e516523d

https://egghead.io/blog/using-branded-types-in-typescript

https://www.youtube.com/watch?v=2n_W0wCH38w

https://www.youtube.com/watch?v=3Dr0grJStto

Types on BOS

Elliot: “Type definitions and validation are going to come down to the builder and how they define them in code

Type creation is going to happen as a build step when widgets are deployed; these types will be stored on chain. When they are read, we will validate them with something like Zod https://github.com/colinhacks/zod

“Typescript to JSON to ZOD to JSON + Javascript for execution maybe?”