@propensive @rustlang be careful when your "outdoings" are based on semantics. Semantics are only a small part of the whole picture.
Nevertheless, I'm planning to comprehensively outdo this with dependent types in my Scala World talk.https://twitter.com/rustlang/status/642407564668497920 …
-
-
-
@samaaron Some context (Scala, static-typing) will be necessary to appreciate my approach, I think. But I'll cover more than just semantics! - 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.