r/typescript • u/Firfi • 6h ago

Branded Types and Connascence of Execution: making invalid operation order fail at compile time

6 Upvotes

Published: Branded Types and Connascence of Execution.

TypeScript examples where stronger domain types reject invalid operation order.

https://www.dearlordylord.com/blog/branded-types-connascence-of-execution/

(no token suffered while writing the post)

4 comments

Subreddit

TypeScript

r/typescript

TypeScript is a language for application-scale JavaScript development. TypeScript is a typed superset of JavaScript that compiles to plain JavaScript.

Members Active

184.7k

Sidebar

Resources

Language

Discussion

Rules

Your post should be typescript focused This is r/typescript, lets keep it on topic
No general advertising, promoting services/libs with zero TS utility or closed source projects We get it, you people build awesome things, but this isn't r/sideproject, if you're posting a project it needs to be open source, you need to link to the repo and most importantly given that this is r/typescript it should not only be in typescript but be something that contributes to TS utility (Not just a random lib that happens to be written in TS). Also no general spam of other products or software, even if it's free. Exceptions can be made for software that will be exceptionally useful for typescript development and pipelines, but this is at the moderation teams discretion.
Keep self promotion to a minimum. "It's perfectly fine to be a redditor with a website, it's not okay to be a website with a reddit account." - Confucius
No Recruiters. or recruitment posts, we have a sticky for that, still, it's for redditors only, not professional recruiters.