To elaborate on this a little: the implicit TheInternet has no methods, no capabilities, and does nothing. But requiring it as an implicit forces awareness across the call stack and in every method signature of the need for network connectivity.https://twitter.com/propensive/status/1208452152563290112 …
-
People can cheat. It isn’t used you can cast null into the value, use reflection or write a method to steal the Internet when you have it and supply it others later (by modifying a mutable store). This kind of thing can give guidance but it is impossible in scala to lock it down.
Yes, totally. It would require wilful circumvention, but it's not beyond most people's capabilities.
-
-
And you can make it _erased_ in dotty which prevents storing TheInternet in a data structure for later, another kind of cheat less willful than casting null.
-
This is nice. I hadn’t considered this.
- 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.