"Figure out how programmers are currently reasoning, formalize as language restricting validity to that model, profit!" is A+ research plan
I think it's also reasonable to meet in the middle, i.e. language formalism more in line with coder's thinking + shifting coders' thinking.
-
-
Agreed. Often "you're thinking this way, which is good, now let me show you an edge case you missed" is the "profit" part of that plan :)
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.