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.
miniblog.
Related Posts
3
I find that I'm choosing AI tools based on the quality of the harness rather than the model.
For example, I'm using Claude Code Web because its model of remote VMs is extremely convenient. I'm using Perplexity because it's tuned really well for web searches.
41
When I moved back to the UK, I ordered SIMs for both myself and my wife. We ended up with consecutive numbers!
It's really convenient sometimes.
I've been really enjoying paru as a pacman substitute on Arch Linux: https://github.com/Morganamilo/paru
It allows you to update both normal and AUR packages in one go, which is super convenient. It also shows you PKGBUILD files, so there's still a human audit step for AUR.