I don't think you need to get very complex to design a language that protects libraries from having implicit system access. If the only place that can import system APIs is in the entry program, then by design libraries need to use dependency injection to facilitate explicit passing of capabilities.
One can take just about any existing language and add this constraint, the problem however is it would break the existing ecosystem of libraries.
Yes, there is a sense in which Haskell's "effect systems" are "capability systems". My effect system, Bluefin, models capabilities as values that you explicitly pass around. You can't do I/O unless you have the "IOE" capability, for example.
Sorry to hear about the issue, not too surprising given Apples track record with this kind of thing though (You still can't even pin processes to specific CPU core/threads). Anukari is really cool though, wish you had a Linux build :)
You are making a rather wild assumption that dropouts don't have the abstract math skills that correlate with programming skill.
I'd argue that if they can figure out recursion after hitting a brick wall like you describe, then that's a good indication they did have abstract math aptitude to begin with.
In my personal experience the hardest part of mathematics is it's grammar and language. It's very different from natural language, whereas programming is much closer. You can take nearly any math problem and convert it to pseudo code and it'll be much more understandable for those programmers who never studied (or struggled with) advanced math.
Programming requires a base level of natural language aptitude that nearly all adults have, there's diminishing returns for anything approaching the levels of a poet or novelist for example.
I hope this guy gets hit with the full extent of the law. Not because I think he is a bad person, but because allowing individuals to be sheltered by corporations is at the core of why corps do illegal or legally grey things.
Banning apps that linked sales out of app is what they already did, but that was ruled to be anti-competitive. Then they allowed it, but with an added 27% fee for whatever was purchased through the link (banning if you didn't pay the fee), which was also found to be anti-competitive and a attempt to avoid having to comply with the first ruling.
Charging for bandwidth of app downloads and updates would equate to pennies (relatively). It's not worth it. And would probably be deemed anti-competitive in the future anyway if they didn't also allow 3rd party app stores / installs (like in the EU).
Yeah I have no idea why music recommendation algorithms have gotten so bad. Rdio had the pinnacle of music recommendations in 2013. I wonder what happened to that tech after they shut down in 2015, and why no one has been able to reproduce it.
It already does run its own private court system, it's the consensus process that is used to upgrade the protocol. If there was enough consensus there could be a fork that returned the funds, but that will never happen.
reply