Is anyone aware of program synthesis research on better error messages, so you can figure out how to improve your spec if synthesis fails? (perhaps related to better type errors?)
-
-
Replying to @geoffreylitt1 reply 0 retweets 1 like
-
Replying to @maxkriegers @geoffreylitt
Survey of error message research: https://dl.acm.org/doi/pdf/10.1145/3344429.3372508 … Nothing in there about synthesis. The only HCI-esque work that's been done on synthesis (to my knowledge) has been for programming by example: https://www.aaai.org/ojs/index.php/aimagazine/article/view/2262 …
3 replies 0 retweets 8 likes
Replying to @wcrichton @geoffreylitt
(Geoffrey, check out Will's piece on "human-centric synthesis" https://plateau-workshop.org/assets/papers-2019/3.pdf …)
2:04 PM - 3 Apr 2020
0 replies
0 retweets
3 likes
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.