miniblog.

I'm designing a programming language and trying to decide the type of `let x = 1;`. Should it be Unit or Int? Advantage of Int: really convenient when evaluating snippets in a REPL. Advantage of Unit: It's much less confusing when type inference runs on an incomplete function.

Assertions are a surprisingly nuanced design space. In a test, if I assert `x < y`, I really want to see the values of x and y when it fails. Do you define an API for every possible predicate (Python's assertLess, expect.js) or try to support the native syntax (c.f. pytest)?

Coming from JS or Python, imports in Rust feel weird. They're entirely optional aliases for fully qualified symbols, which are always available. I don't know of many other languages where you can just start using libraries. Java is the only one I can think of.