Just type > before pasting the quoted text. But you have type some text in a separate line as a place holder of your own response before you paste your quote or else your response will be part of the quote as you just said.
Why do think is the reason that most managers in technology are bad? I tend to think of management as abstraction. A mid-level manager provides an abstraction of the work for high-level management and at the same time is provided an abstraction of the work by the low-level managers or engineers. Assuming that my understanding is right, are these abstractions leaky? is the lack of technical knowledge the reason why managers are bad?
Any chance you'd record the lectures like the 2012 iteration? Seems that the discussions are a big part of this pedagogical approach; and those are better captured through videos than notes/books. Also, the latest version of PaPL book doesn't seem to incorporate the mystery languages. Is there a plan to include them in the book?
I thought soundness (when it comes to statically-typed languages) means that the static type checker won't pass a program that would raise runtime type errors. Your comment (and Dart's website) was the first time I've read a claim of soundness by combining static type checker and runtime checks. Doesn't your definition mean that most type systems (even those of weakly and dynamically-typed languages) are sound. Even JS and PHP will eventually give up and give you a type error. Can't think languages other than C (which might give you segfaults or whathaveyou) that won't fit that definition of soundness.
I was going to ask "why?" before I read in the overview the reason being helping non Arabic speaking learners of the language. It still defeats the purpose of learning a language to be able to read literature written in original script and communicate in writing with the language readers. The only case where I see this useful is when verbally communicating using words memorized using this Latin script as tourists do when visiting a foreign land.
As an Arab I also hope that the motivation behind this is not ideological. Like how the Turkish language was transformed to use a Latin-based script system.
Edit: As of the claim of it being useful to Arabs, please no! Arabs when use "Arabish" tend to use it badly with no vowels making pronouncing words hard and sometimes ambiguous. The "Arabish" trend was popular in the 90's (in the infancy of Internet or at least Internet penetration) and has declined dramatically in the 2000's. Arabs lazy enough to not write in Arabic script would also be lazy enough to not learn the proper usage of this Latin script.
I mean constant constants, constant variables, and variable variables seem useful.
I'm not sure how would variable constants be useful.
Also, anybody knows the difference between constant constant and immutable data (constant contact constant)?