3 ms·
Writing laws is much much much harder than writing code (corner cases, ambiguity, corruption, etc.). Did you ever write a "big" program completely bug-free? I
by ffggvv 10y ago
Writing laws is much much much harder than writing code (corner cases, ambiguity, corruption, etc.).
Did you ever write a "big" program completely bug-free? I think we should first start by writing correct programs (e.g. invest more in Coq, linters, etc.) then "pass" our wisdom to law writers.
- adamnemecek 10y agoI was talking about something like coq.
- ffggvv 10y agoI know. But if not even professional programmers use Coq day to day (because it's hard to use, the limitations and well known, etc.) why should we base our laws on it? WE should start using it, when we enough gain experience we start using it in law writing. As a matter of fact I'm going to check out Coq right now...