r#type to the rescue!
-
But I think there's a difference in the value of those two things which need to be learned: backtick-escaping is a language feature which is generally useful to know; a transferable skill. But tpe = type is arbitrary knowledge, which can't be reliably applied elsewhere.
I also feel like backticks look weird because they're unfamiliar. We avoid them because they're rare, and they stay rare because we avoid them. Sure, they're never going to be commonplace, but I sort of feel we shouldn't keep them artificially and disproportionately uncommon.
-
-
Also, look at us...
everything is so rosy in Scalaland this evening that our biggest complaint right now is tpe vs type! -
Scala could definitely benefit from some constructive tabs vs spaces discussion
- Show replies
New conversation -
-
-
I wonder how relevant it is that in spoken text we use backticks to represent technical words. We'd have to qualify to distinguish between `type` the keyword and `type` the binding. Using a different name we just use `type` and `tpe`.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.