Ah, Julia shares my goals, but I really don't like it's methods. To be we absolutely need static types and super high level stuff to both: - keep the code clo

Ah, Julia shares my goals, but I really don't like it's methods. To be we absolutely need static types and super high level stuff to both: - keep the code closer to it's purpose (e.g. do linear algebra and proof of why this program does the stats you want it to together) - be super architecture agnostic (With lambda generalized to arbitrary categorizes we can just elaborate to Vect and fuse functional pipelines with matrix multiplication). (https://ncatlab.org/nlab/show/Vect https://ncatlab.org/nlab/show/Vect)