The schedule is generated from a Python script, but doesn't involve YAML

If you're interested, see also https://bernsteinbear.com/isdt/ by me and Tom

This kind of compiler/runtime feedback about source code is really interesting and (imo) under-studied. Especially when you take into account something like PGO data.

No, HM is unification based and requires no annotations at all.

Apparently it only gets away without annotations if the language doesn’t support subtyping? Here’s an explanation about why bidirectional type checking is better for that:

https://www.haskellforall.com/2022/06/the-appeal-of-bidirect...

It seems to me that type-checking that relies on global constraint-solving is usually a bad idea. Annotated function types result in less confusion about what a function does.

Indeed. Unification-based type inference doesn't work great when the type constraints are inequalities.

sqlitedict? Or shelve/dbm?

The good news is now you got tricked (accidentally, tbh) into reading about compilers!

<3

The real fix felt more complicated when I drafted this. Seems like it isn't; I'll think about updating the post

In case the author didn't notice, the organization name appears to be missing an L - "litte"

Re: ZJIT: all development is happening in the open in the zjit folder of the ruby/ruby repo. You can follow along!