3 ms·
I don't accept that argument. As I see it, laws should be structured as data rather than code, using a clean non-Turing-Complete DSL for any embedded logic and
by falcor84 2mo ago
I don't accept that argument. As I see it, laws should be structured as data rather than code, using a clean non-Turing-Complete DSL for any embedded logic and calculations. Maybe there would still be occasional situations when new software features are needed, but it should be a rare occurrence rather than on every new change.
- ok123456 2mo agoPeople just need to add/subtract an input box and update the tax rates. They don't need an ontology of taxes and goods.
- mejutoco 2mo ago> laws should be You are comparing what it is with what should be.
- Terr_ 2mo ago> laws should be structured as data rather than code There was a submission a while back that might be relevant here: "Why Law Is Law-Shaped" (lawvm.org) [0] [0] https://news.ycombinator.com/item?id=47945861 https://news.ycombinator.com/item?id=47945861
- mdemare 2mo agoI bet tax law is Turing-complete.
- falcor84 2mo agoI wouldn't be surprised if it is in some places, but nevertheless I wonder - is there a good reason for that? I don't think any lawmaker actually wants tax calculations to have the potential of not halting, right? ... right?