miniblog.

Today in cursed C code: void foo(int32_t int32_t, int32_t bar); Since C puts identifiers and typedefs in the same namespace, this code just produces a confusing compile error about the type of bar! (This occurred in some real code after macro expansion.)

What types should you infer when code is invalid? In Garden, + only applies to integers. What should the type of "x" + "y" be? (1) Int: This produces cascading errors. (2) String: We've already emitted an error anyway. (3) Bottom. Opinions?

Quantifying rate of language change in Rust! https://words.steveklabnik.com/how-often-does-rust-change Putting numbers on this is hard, but produces some interesting methodologies.