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
Hey folks! I'm writing a thesis on the practical effects of type systems, but to do that I need to start with "what everyone knows" about type systems If you write code, regardless of whether you use types or not, please comment with one thing you know about types/type systems!
A note on the approach — there’s a large body of literature around the empirical study of programmers (VL/HCC, ICPC, CHI). eg see “Programmers are Users Too” https://faculty.washington.edu/ajko/papers/Myers2016ProgrammersAreUsers.pdf …
There’s also an upcoming workshop specifically about human factors in type systems: https://2020.splashcon.org/home/hatra-2020
Wow, thanks! That's super helpful!
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
