miniblog.

I'm surprised there aren't more interpreted languages with a first party type checker. Python has several good type checkers, Ruby has Sorbet, and there are others. Having zero compilation time *and* a full IDE seems like such a compelling design, at least on paper.

I'm writing a Path type in my programming language but not sure what methods belong on a Path. Should I have some_path.read_string() or fs::read_string(some_path) instead? I love .method() for IDE completion, but I don't want Path to be cluttered. I'm also trying to avoid UFCS.

Really elegant developer tool: Go's inline IDE feature is used with deprecation markers, so call sites are autofixed from OldApi() to NewApi() based on the implementation of OldApi.