2 ms·
> automated compile errors when trying to craft conflicting laws That just made my day :) It's actually a good idea, I think. I'm just not exactly sure whethe
by tsahyt 14y ago
> automated compile errors when trying to craft conflicting laws
That just made my day :)
It's actually a good idea, I think. I'm just not exactly sure whether that would work because laws govern the real world and in the real world, logic isn't binary.
However, such laws would at least be understandable for mere programmers ;)
- icebraining 14y agoLogic in computers doesn't have to be binary either. There are plenty of implementations of fuzzy logic, including some programming languages.
- gosub 14y agodata Offense = MensRea | ActusReus CriminalLaw :: [Offense] -> Punishment ExtenuatingCircumstances :: CriminalLaw -> [Circumstance] -> ExtenuatingEffect -> Punishment