Duration: 5 minutes or 15 minutes
Follow-up post: https://haspar.us/refinement-types/
Original notes: Dropbox Paper
I’m gonna explain what refinement types are, geek out about a research paper that adds them to the TypeScript type system, and live-code a userland refinement type you can already use in your codebase.
Lightning talk with VSCode, Quokka and browser as software.
Refinement types are easy. Use them to encode more info on the type level.
Encoding information on the type level helps you write less bugs.
- Why and when should I type stronger?
- JS without JSDoc vs Idris proofs
- Refinement types are one step further into bulletproof programs.
- Refined TypeScript
- It’s not rocket science
- You can do it yourself
- Live demo
- Libraries with refinements
You can find the video here. The quality is pretty bad, though.