Tony Morris

Now I've read... is it meant to help making tools that can manipulate python code?

Yep, exactly. For example, here is TCO: https://github.com/qfpl/hpython/blob/master/example/OptimizeTailRecursion.hs … Another way to look at it; a linter that doesn't report errors. It just fixes your python code: https://github.com/qfpl/hpython/blob/master/example/FixMutableDefaultArguments.hs … Or, instead of arguing over variable names, write a commit hook that changes them (WIP).

interesting... we are already forced to use many tools around python to help being a bit deterministic, more robust tools would help...

Please let us know what you need. Happy to write it.

Dreaming: I want a tensorflow/pytorch python tensor compile-time dimension checker, Is that possible? :D

I don't know what that is. But let's go with yes. Want to help me out with knowing what that means?

you can read that IMHO http://nlp.seas.harvard.edu/NamedTensor  ... it's recent and shows a few issues... tensor are just matrix with dimension batch x dim1 x dim2 x ... and all matrix computations aren't possible depending on those dims... a type-dependent system could help but python is farfar

What manual process and/or tools do you currently execute to check your matrix dimensions?