Scala Days will have a closing panel with @odersky, @adriaanm, @holdenkarau, @heathercmiller & @kelleyrobinson next week, and they would love to answer your questions! I'll pick the best questions in reply to this tweet. Everyone else, please retweet this reach a wider audience!
-
Will there be any chance of linear types support in 3.x?
Can you give me a reference to linear types, please? (I'm very naïve to things which aren't in Scala!)
-
-
Good "row polymorphism". Or for really nice examples see Purescript polymorphic records.
-
Ops, I meant to say "Google `row polymorphism`" OMG, no! It has nothing to do with row polymorphism! Brain fart. It's https://en.wikipedia.org/wiki/Substructural_type_system#Linear_type_systems … in short, mandatory argument usage. Rust has some of this stuff.
End of conversation
New conversation -
-
-
This Tweet is unavailable.
-
Yes, ATS is what I have in mind. Think Rust, but more principled. https://youtu.be/zt0OQb1DBko
End of 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.