"Type-Driven Program Synthesis" by Nadia Polikarpova -- goes in-depth about refinement types, and using type systems as program specifications https://www.youtube.com/watch?v=HnOix9TFy1A …
-
-
I mean: this is pretty cool. Need to read up a bit to further understand *all* syntax here (haven't touched Haskell in years), but I love the general idea!pic.twitter.com/4qIdMqkVtF
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.