Martijn Faassen has moved on Nostr: I am older now, so maybe I lean on types to handle cognitive weakness? It doesn't ...

I am older now, so maybe I lean on types to handle cognitive weakness? It doesn't feel that way - it's not like #RustLang is easy to pick up. Maybe modern types and tooling really are a better way to do it? Maybe the help types offer compensates for the cost of their ceremony?

One explanation is that I always had types in my head anyway - my mental type checker was imperfect but good enough. Now I have a bit of machine help.

So maybe it doesn't matter all that much in the end?

2/3