Would be super interesting to know what kinds of logic bugs you encounter that:
- are admitted by the type system
- didn't cause a runtime exception
Could be super handy from an evidence based approach to designing the type system - given the scale you are working at.
This Tweet was deleted by the Tweet author. Learn more