wbpaelias

I believe Veritasium had a series where they derive the equivalence to Newton's laws

They have desktop apps too, in my machine I'm only using the desktop stuff.

If you're willing to let go of imperative syntax, Interaction Nets[0] might be interesting to maximize parallelism where possible. I think Bend[1] is probably the most mature implementation of that idea.

[0]: https://en.wikipedia.org/wiki/Interaction_nets [1]: https://github.com/HigherOrderCO/Bend

I think the compiler figures that if a new method comes up, it’ll just compile that when it needs to.

That makes sense. Why exactly would python need a tracing JIT instead of a method one though? It seems like either could work.

I wonder how much Julia’s JIT could help inform Python’s.

Diagram: https://docs.julialang.org/en/v1/devdocs/img/compiler_diagra...

Documentation: https://docs.julialang.org/en/v1/devdocs/eval/

From what I understand, Julia doesn’t do any tracing at all, it just compiles each function based on the types it receives. Obviously Python doesn’t have multiple dispatch, but that actually might make compilation easier. Swap out the LLVM step with python's IR and they could probably expect a pretty substantial performance improvement. That said I don’t know anything about compilers, I just use both Python and Julia.