miniblog.

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.

Rust includes handy methods on integers for SSE intrinsics, and rustc will even suggest using them! https://tmccrmck.github.io//post/rust-optimization-partii/