3 ms·
I believe the author is lamenting the absence of RFC 2000 (const generics.) That is, users cannot define their own types which are generic over constant values.
by krona 9y ago
I believe the author is lamenting the absence of RFC 2000 (const generics.) That is, users cannot define their own types which are generic over constant values.
Just because language X can wrap a LAPACK/BLAS library doesn't automatically make it fit for the purpose of implementing one.
Look at how the nalgebra represents an n-dimensional array of known dimensionality (through both the type system and in memory) and you will understand.
Once there is, say, a uBLAS equivalent in rust that is easy to use and understand the implementation of, I will consider it worthy.
- mintplant 9y agoThe generic-array and typenum crates solve this at the type level. nalgebra uses typenum to encode dimensions at the type level, not in memory/at runtime (unless you opt-in with the `Dynamic` marker type). RFC 2000 will ease this, but it's not impossible to do at present.