miniblog.

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.

I've been building an 'extract function' refactor feature. It's surprisingly nuanced. Where do you put the extracted function? Once you've done the static analysis, what order do you use for the parameters?