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.

I'm coming round to the view that a main function shouldn't take arguments. For example, in Rust you have to call std::env::args() to get CLI arguments. This makes Hello World less verbose, and gives you more flexibility in setting up CLI argument parsers.

One advantage I've come to appreciate about Dash/Zeal docsets: it's really nice having focused search. The text search is constrained to the languages I care about enough to download the docset, substantially increasing the relevance. In Google I'd need to specify the language.