Very exciting. The https://github.com/dotty-staging/dotty/blob/add-transparent/docs/docs/typelevel.md#code-specialization … example hints at how machine learning libraries could be very powerful and very type safe in ways not remotely possible in Python ;)https://twitter.com/adriaanm/status/1014903846441799682 …
-
-
-
Replying to @Footfish
Type-safe array multiplication, e.g., a 5x10 array can be multiplied with a 10x20 array for example, but not 10x20 * 5x10. Also type-driven optimizations are possible, e.g., knowing the numeric type (will be easier, but somewhat possible today, too)
1 reply 0 retweets 0 likes
Replying to @deanwampler @Footfish
+100 to this; though I think nominal array sizes are more interesting & important than concrete sizes. I played around with that some here:https://github.com/avibryant/nda
0 replies
0 retweets
1 like
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.