2 ms·
I believe you could enforce something like compatible dimensions in Haskell in a library, but I could be wrong. If not, I wonder if you could do it in idris.
by codygman 12y ago
I believe you could enforce something like compatible dimensions in Haskell in a library, but I could be wrong. If not, I wonder if you could do it in idris.
- Ixiaus 12y agoIdris is a wonderful language but the tooling there is even more immature for numerical computing than Haskell.