A mathematician learning the basics of software engineering! This truly is the end times.https://xenaproject.wordpress.com/2020/03/24/no-errors/ …
-
-
Replying to @codydroux @alpha_convert
Since languages like Lean push so many errors to compile time, seems like a little investment in the error message UX would go so far. What if you took all the wisdom in this blog post, and automated it? e.g.https://github.com/willcrichton/r-autota …
1 reply 0 retweets 0 likes -
Replying to @wcrichton @codydroux
That tool is really cool, Will. How much is the explanation tailored to the actual error message? In the example in the readme, the explanation syntactically mirrors the failed parse. Does it try to do this in general?
1 reply 0 retweets 1 like
We hard-coded explanations for 5 messages that account for 50% of novice errors (based on telemetry). Each explanation tries to use the programmer's context where possible. e.g. if you get "x not found" and your program has "x <- 1", it will say "did you forget to run line N?"
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
cognitive psychology. PhD