Articulating the ineffable. Programming language theory 
cognitive psychology. PhD @Stanford
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
...The trend at confs like ICFP has been unbreakable abstractions. But systems that result from that, esp editors, are not as flexible at runtime like Emacs. But the balance is hard to find and keep the system comprehensible.
Don Syme presents the history of F#. Frames it through the lens of the OOP wave of late 90s, and how FP advocates within MSR continued to push for language innovation beyond objects. Found initial F# made for 10x smaller code than C#. 56k LOC for braces! 3k null checks!pic.twitter.com/zur4byC6To
"When I got to Microsoft, I was told in no uncertain terms that the word 'compositional' was not in the MS vocabulary. And we have blown that apart at MS."
Q: Aspects of C#/.NET that are hindering F#? A: The big way we suffered is that F# did not have a strong Linux story during the rise of Linux and subsequently the cloud. That's crucial.
Earlier, several HDL designers discussed Verilog and its ilk. "When we discuss Moore's law, we focus on semiconductor technology... but just as important are the tools used to design the chips. Chips in 1978 were designed with pencil and paper."pic.twitter.com/HdGQ5vL1La
Sneak peek into the intensive process of naming a language (tag yourself, I'm "logol")pic.twitter.com/92tIyks0oY
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Eg for complect, I was trying to give more specificity to an old notion, coupling, that system designers understand intuitively.
