The Mozilla foundation is a nonprofit, not a company -- which is probably why it's doing all of these great things that profit seeking companies are not.
I understand that constitutional arguments often carry great legal and practical weight, but politically the fact that an action is constitutional matters only sometimes, whereas morally it hardly ever matters at all.
Politically, there are many constitutional actions that our government quite rightly chooses not to take. (Though certainly, the constitutional aspects are extremely relevant in this particular case.)
Morally, it's easy to produce historical examples of morally repugnant but legal institutions. You can similarly argue that if the Constitution allows for secret law which permits the sort of mass surveillance the NSA has been revealed to undertake, then all this shows is that the Constitution is defective, not that these actions are in any way acceptable.
Especially if you tend to find yourself making arguments like this last one, it might sometimes be advantageous to try to achieve political goals by means outside of the court-focused means used by, for example, the ACLU. Leaks are one such method.
"In this mythical, not yet-existing, but clearly on-the-horizon "Haskell", you'll be able to choose how much safety you want. You'll have "knobs" for increasing or decreasing compile-time checks for any property and invariant you desire."
It might not be "Haskellish" or safe in the way that I or some others are used to, but it does seem to be a clear increase in the expressiveness of the language.
Until "expressiveness" has a defined meaning, I encourage us all to stop using it to describe programming languages. We just beat each other up with it without really saying anything meaningful.
Programs that were right before continue to be right. Programs that were wrong before continue to be wrong. What's changed is that programs which were wrong before can now be wrong at runtime rather than at compile time. The parts of the program that don't explode now wouldn't have exploded before. So I don't think that really changes the expressiveness, whatever that means.
I think this change will do wonders for Haskell marketing but I don't think it will have much effect on the day-to-day lives of Haskell programmers.
If you disable javascript on the site you don't even need to ever bother with cookies. This prevents some multimedia parts of the site from working, but you can read all you want.
