Comment by tsahyt

13 years 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 ;)

2 comments

tsahyt

gosub 13 years ago

    data Offense = MensRea | ActusReus
    CriminalLaw :: [Offense] -> Punishment
    ExtenuatingCircumstances :: CriminalLaw -> [Circumstance] -> ExtenuatingEffect -> Punishment

icebraining 13 years ago

Logic in computers doesn't have to be binary either. There are plenty of implementations of fuzzy logic, including some programming languages.