It does mean you can write fewer contracts! You don't need as many Require and Ensure clauses because you can encode some of them in the dependent type.
-
-
-
I’m waiting for the counterexamples :). It doesn’t rule out using contracts though, even if it does make them less valuable.
- 1 more reply
New conversation -
-
-
Actually, isn’t testing the dual of static analysis? If so, using both _is_ the way to achieve correct software :D
-
I don't know about dual but I'm definitely happier when doing both!
End of conversation
New conversation -
-
-
Not to mention, programmers are pretty awful judges of “good enough” looking at history.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
How could a liberal academic know anything????? Do you even do Real Code????!,?!,
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
True. Also true that clutter obscures things.
-
This is one of the things that APL makes me wonder. Can we quantify the benefits (or detriments) to correctness that the incredible conciseness of APLs gives you?
- 2 more replies
New conversation -
-
-
Could you not do symbolic execution, of course this assumes the api is correct.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Personally I've found even this position interesting https://www.youtube.com/watch?v=-UKEPd2ipEk&t=26m30s … if you're interested. Not saying it's necessary 100% true.
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.