@edwinbrady hey where can I read about how dependent types would catch the SSL bug mentioned in http://www.se-radio.net/2017/07/se-radio-episode-296-type-driven-development-with-edwin-brady/ … ?
-
-
[…] new ways to build software which avoid things like protocol errors in the first place. Some work towards this: http://docs.idris-lang.org/en/latest/st/index.html …
- 1 more reply
New conversation -
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.