Video details

Typescript's type system - From solving puzzles to proving facts of program by Damodharan #FnConf 22


Typescript has gained a lot of traction with majority of javascript frameworks adopting it and gaining the power of static types. Given the Typescript types are a language themselves and they are Turing complete, lets put our type flavoured favourite language of the web to test - for fun & profit.
With the advent of fp-ts, typescript's boundary to statically type FP algebras like Functor, Monoid & Monad are just a import away!
But why restrict ourselves when we can achieve more with almost ""Dependent types"" in typescript - Like solving logical puzzles to proving properties of the program (like type level regex check, indexed list & matrices etc) for correctness.
More details:
Conference Link: