Thanks to Oron Port for the hint to get me started!
Show this thread
I had a go at modifying the Scala 3 type system to support inline arithmetic in singleton literals. The compiler will now typecheck this: import compiletime._ the[(2 + 2)*2 =:= 5 + 3] https://github.com/propensive/dotty/tree/typelevel-singleton-literal-type-arithmetic …
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
awesome stuff, imagine if we could get the size of a List and add these safely...
-
That's pretty easy to do. I'll post my (propensive/dotty-only) code sample of dimension-checked matrices tomorrow.
- Show replies
New conversation -
-
-
Yep the true question is the runtime of this compile-time ;) I've tested the limits with Scala 2.12 and it wasn't usable at large
-
Yet it's cool to see singleton types getting traction in dotty! If it were fast, we could encode matrix calculus in the type system for AI usage and other apps...
End of conversation
New conversation -
-
-
Awesome! How was your experience modifying the type checker? And compared to nsc scalac one?
-
I actually dared to try modifying Dotty! I never tried to change NSC. Though I'm not sure how fair that is... the bar was lower because I knew my change might actually stand some slim chance of being accepted into Scala 3, when it wouldn't into Scala 2.
- 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.