miniblog.

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?

I'm slightly surprised that Rust has implemented the Default trait for booleans: https://doc.rust-lang.org/src/core/default.rs.html#205 The default is false, but it feels very arbitrary. Maybe it makes more sense next to integers, where the default value is 0.

Another interesting aspect of OCaml syntax: [1,2,3] is equivalent to [(1,2,3)]. A list of integers is [1;2;3]. This is one of those cases where familiarity with the syntax of other languages can actually make life harder! [1,2,3] doesn't look wrong and is syntactically valid.