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
WHAT? Are you kidding? You're getting "more intuitive" from "shorter"? Why don't you compare J and Python, then tell me which one's shorter, and which one's more readable and writable. For reference, J quicksort: quicksort=: (($:@(<#[), (=#[), $:@(>#[)) ({~ ?@#)) ^: (1<#)
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.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
