18 karma · joined August 22, 2014
Very seductive of simple minds. Congratulations, Google, you have discovered of how to start fishing for the bottom of the barrel ...
Concerning the replacement of ZFC by Russell types -- contrary to lambda calculus' functions -- I have not run often enough in illustrations that demonstrate the usefulness of Russell types.
I am personally much more vouching for a replacement of Zermelo and Fränkel's sets by Alonzo Church's functions than Bertrand Russell's types at this point. It is probably just an issue of lack of familiarity, though.
However, they could indeed be able to circumvent the permission system by figuring out what sensitive data your program left behind in uninitialized memory and in CPU registers.
Not leaving traces behind then becomes a serious issue. Could the kernel be tasked with clearing registers and clearing re-assigned memory before giving these resources to another program? The kernel knows exactly when he is doing that, no?
It would be a better solution than trying to fix all possible compilers and scripting engines in use. Fixing these tools smells like picking the wrong level to solve this problem ...
Centralizing the concept of security in the network's architecture will create an intractable problem. Certain parties will still want to impose their desire to be able to eavesdrop on the data. Therefore, there cannot be any real security in such centralized design for security.
The in tempore non suspecto in which it was still possible to roll out security jokes such as SSL, is over now. Nowadays, 95% of the world population (and their governments) will refuse to adopt any centralized security design, because they do not trust it.
In my impression, the project is dead on arrival.
Every language that you learn and abandon, makes you understand the next one much quicker. Furthermore, you learn the appreciate the new constructs and idioms that new language brings. The new language usually also supports all the old constructs that you got used to in the past. So, you can always fall back on those too.
Concerning computer science, and especially compiler construction, indeed as you wrote, it applies equally everywhere.
After six years of relatively easy money of mostly delegating PHP work to others, I moved on to nodejs this year. I am not that keen on delegating node work at this time, because I want to play a bit more with it by myself.