miniblog.

LLMs have been really helpful for me porting some JS projects to TS. Since the types are erased and annotations are optional, I can go gradually and safely with more minimal human oversight. (I'm not sure if it'll significantly help robustness, but it's lovely for navigation.)

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.

Bootstrapping a language can be immensely satisfying. I've added the ability to define stub types in the Garden stdlib and suddenly I don't need to special-case Int or String! They're just normal type declarations.