2 ms·
They are powerful enough to express functions that only depend on one argument, but how would you use them to encode the types of both arguments for matrix mult
by adgjlsfhk1 5y ago
They are powerful enough to express functions that only depend on one argument, but how would you use them to encode the types of both arguments for matrix multiplication?
- pjmlp 5y agoLike this? https://www.pgroup.com/blogs/posts/f03-oop-part3.htm https://www.pgroup.com/blogs/posts/f03-oop-part3.htm
- adgjlsfhk1 5y agoThat gets you some of the way there, but isn't powerful enough to handle things like orthogonal*banded or really any situation where all the types aren't planned out in advance.