cognitive psychology. PhD 
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?)
-
thanks, helpful pointer. also enjoyed your PLATEAU paper! context btw: playing with Synquid for a class (synthesis w/ refinement types, http://comcom.csail.mit.edu/comcom/#Synquid ) neat tool, but specifying w/ types is subtle and challenging, and error messages are often unhelpful
Synthesis seems challenging b/c knowing whether something is possible is really hard. I took the first example on Synqiud page ("List Replicate") and tried to change n to n+1 (worked), n-1 (failed), 1 (worked), 2 (worked), 4 (failed).
-
-
yeah, i think the "expert answer" here would be "obviously it's doing a tree search and it's hitting the depth limit! so you just need to pass in a CLI command to deepen the search" ("-a 5" actually seems to work in this case) ....but yeah, that's not a user-friendly answer
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.