I wrote an implementation of statically-dimensioned matrices in Scala 3 using opaque types, match types, HLists, nats and singleton types. I'll to attempt to livecode it from scratch at the Dev Jungle at 11.55: it's a great chance to see a real-world usage of @odersky's ideas!
-
-
You should talk to me. We could layer a nice API on top of my
@scala_native BLAS implementation. -
This Tweet is unavailable.
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.