Open k0ala opened 4 years ago
@lihaoyi I actually wonder whether that was an intended pun or not? It can be understood as: "the type system protects you again silly typos (as in method names, etc.)".
@sjrd @lihaoyi oh no, I wouldn't want to destroy a pun! We definitely need pun-safety
@lihaoyi I actually wonder whether that was an intended pun or not? It can be understood as: "the type system protects you again silly typos (as in method names, etc.)".