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?

There are *so many* ways that reading a text file can fail. Maybe it doesn't exist, it's a broken symlink, it's actually a directory, it's not the encoding you expected, or perhaps you just don't have the correct permissions. Reporting good errors is surprisingly labour intensive.

I find it really interesting how some areas of tech are widely expected to improve radically (e.g. LLMs and smart home tech), others gradually (CPU speed, battery capacity) and others very slowly (e.g. compiler optimisations). Predicting the future is hard.