Nevertheless, I'm planning to comprehensively outdo this with dependent types in my Scala World talk.https://twitter.com/rustlang/status/642407564668497920 …
-
@propensive@rustlang be careful when your "outdoings" are based on semantics. Semantics are only a small part of the whole picture.
@samaaron Some context (Scala, static-typing) will be necessary to appreciate my approach, I think. But I'll cover more than just semantics!
-
-
@samaaron e.g. My syntax refers to types, but you couldn't tell them apart from values if you didn't know Scala. -
@propensive my beef isn't about types it was just that the notion of "comprehensively outdoing" another language sounded a little arrogant. - 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.