miniblog.

I've been using "Expected Int, but got String" for my type error messages, but I've been wondering if I could do better. "Expected Int here, but this value has type String" or "This expression requires Int, but the value is String". Do you have a favourite?

Shower thought: using a tool like cargo-semver, could you build a package registry where the uploader never chooses the version number? E.g. your last release was 5.2025-09-13 and you've just changed a type, so today's release is 6.2025-11-05.

Playing with optional type signatures in Python, I realise that the return type is the most important to me. I'd much rather have a function with only a return type instead of a function with only parameter types. It's often quick to add too.