Never heard of BLAS, Sam.
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!
-
-
This Tweet is unavailable.
-
- Show replies
-
-
-
I'd like to see the code afterwards, since I can't attend because of ... lots of miles in between.
-
Same :)
End of conversation
New conversation -
-
-
I'm glad to see type-level Scala programming as strong as ever :)
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@mandubian would enjoy this :)Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Opaque types!
End of conversation
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.