Content (Briefly describe the content of the presentation):
TLDR: type + predicate = refinement type
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.
How? Lightning talk with VSCode, Quokka and browser as the software.
What? Refinement types are easy. Use them to encode more info on the type level.
Why? Encoding information on the type level helps you write less bugs.
Outline
Why and when should I type stronger?
JS without JSDoc vs Idris proofs
Refinement types are one step further into bulletproof programs.
Talk proposal - Paris TypeScript
Talk description
Title: Refinement Types
Content (Briefly describe the content of the presentation):
TLDR: type + predicate = refinement type
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.
Duration:
Level:
About you
More about the talk
I can do a 5 or 15 minute version of this talk.
How? Lightning talk with VSCode, Quokka and browser as the software. What? Refinement types are easy. Use them to encode more info on the type level. Why? Encoding information on the type level helps you write less bugs.
Outline