typing

• 

  It’s Time to Talk About Type Checkers