Comment by GuiA

6 years ago

Here is a blog post applying a similar idea to matrix math:

https://www.sebastiansylvan.com/post/matrix_naming_conventio...

1 comment

GuiA

I wish there were a type system for numerical computation that could encode things like rank and size of tensors and could statically check them before running. Currently, catching bugs requires running the code which can make for a slow development loop, plus it would make for a much more robust system than documenting these things in comments