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!
@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. -
@propensive for example, I'm doing a lot of work in Ruby these days. Ruby won't easily win any semantic wars but it's an amazing language.
End of conversation
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.