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
I do think the authors claimed this in good faith. They made sensible high-level arguments in Sec2 about the value of their programming model ("automatic uncomputation"). They also argue in Sec8.2 about how their PL better captures the "intent" of an algorithm than Q#.
This shows the huge gap in evaluation between what we can quantitatively show and what we really care about. The authors have sophisticated PL tools, but primitive HCI tools. They either need better experimental methodologies or better cognitive models for testing comprehension.
For this paper, I think a better eval would be to pick 3 interesting programs and do a qualitative comparison of their lang vs. Q#. No LoC, no metrics, just a careful expert analysis of why they think their lang is better a better representation.
They could also acknowledge that what they're doing is desing, no science, but of course, then they'd never get any papers published.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
