wisam

I don't know, variable decelerations seem to me to be funny but useful.

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)?

That's interesting.

Would you share the details of the hardware setup (MiniPC, USB remote control) and screenshots of your configured KDE/Plasma desktop?

... and aspect ratios. Country flags are not (almost) squared as in the OP link.

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.

I'm not even American, but CNN coverage of the 1990-91 Gulf War really put them on the radar. The whole Middle East watched CNN Live coverage.

2001 was the first time I got online; first site visited was also cnn.com on a 56k modem.

Thanks, I stand corrected.

Are you thinking F#?

I believe that other than being ML-like language and being developed jointly by Microsoft Research and Inria, F* has nothing to do with F# and .NET.

... and C. But I can see why you dropped Part C. Part A and B were excellent but C not that much.

Dan Grossman is an excellent educator. You'll probably learn more programming [languages] concepts than any other beginner's course.

Just be careful when setting up Algo VPN.

Its secure defaults will probably block all other services you're running on your server and render them inaccessible.

You might even end up not being able to ssh to your server if you choose not to let Algo set up ssh configurations (because you have your own).

I would say install Algo on a dedicated droplet or backup your VPS before setting it up.

I would say IEnumerable<T> interface.

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?

   I'm not going to say the M-word, someone will *maybe* say it in ... *either* case.

Just wanted to say I see what you did there. Nothing insightful to add.

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.

Sincere question, what am I getting wrong?

Is Visa sponsorship an option?

Well, he just posted the second entry in the series. Let's hope he keeps posting that frequently.

http://blog.ploeh.dk/2017/10/05/monoids-semigroups-and-frien...

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 don't know about Rust; but in ML family, everything in top level is a binding. Whether it's a variable, function, type or structure.

SML is explicit about it and its syntax makes it clear what type of binding is going on.

val x = 5

fun f = fn x => x * x

datatype weekend = Sat | Sun

So while on top level not everything is an expression, everything on the RHS is an expression.