Strongly typed languages help so much to close this gap, yet so many people refuse to use them.
-
Current programming expects us to specify instructions, and then proceeds to execute them exactly. Instead, they should reason about intent
And when intent is unclear (most of the time), interactively ask the user for more information -- as a dialogue
-
-
Sorry that kind of design that leads to a next generation Stata or R.
-
I want to compose systems with myself out of the loop, not be chained to a dialogue with my computer.
End of conversation
New conversation -
-
-
I completely agree that the goal is to guide a user provide the minimal specification needed to get the computer to do the right thing.
-
I disagree that humans aren't interested in types, though. Types are the basis of deductive reasoning. You don't put underwear on your head.
- Show replies
New conversation -
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.