3 ms·
In France, not only our law are versioned. It's formally proved too! https://catala-lang.org/ https://catala-lang.org/ *Edit*: Woah ! The French crew is her
by _ache_ 6mo ago
In France, not only our law are versioned.
It's formally proved too!
https://catala-lang.org/ https://catala-lang.org/
*Edit*: Woah ! The French crew is here. We are at least 5 quoting a variation of <https://www.legifrance.gouv.fr/ https://www.legifrance.gouv.fr/> for versioning.
- allan_s 6mo agoI find it ironic to have it named "catalan(g)" on a post about spanish law.
- asveikau 6mo agoEven better. The Catalan word for Catalan is català. So catala-lang.org fits that too.
- kiliancs 6mo agoPrevious discussion https://news.ycombinator.com/item?id=46177022 https://news.ycombinator.com/item?id=46177022
- krtab 6mo agoCatala is not at all about "proving the law" formally (I'm not even sure what it would mean?). It's about having a formal language to translate law into that both matches the way law is usually written ("default logic") and allows to make numerical computations on. This can typically be used to implement tax or benefits law so that it is way easier to check that the algorithm computing taxes/benefits is correct compared to the actual state of the art of using general purpose programming languages.
- mdnahas 6mo agoI don’t know if they do it, but it allows proving properties of the law. For example, that the tax increases with income or that an exception doesn’t accidentally increase the tax paid.
- mentalgear 6mo ago> scope QualifiedEmployeeDiscount : definition qualified_employee_discount under condition is_property consequence equals if employee_discount >= customer_price \* gross_profit_percentage then customer_price \* gross_profit_percentage else employee_discount Dang, I wish all law was written like this instead of the purposefully obfuscated legalise of (lobbied) legislative lawyers meant to mislead people and slip in loopholes for their interest groups to profit of. Clear legislature is definitely something every person in the world would benefit of - if the the country's administration would want that.
- golem14 6mo agoFor me, a great advantage is that this system makes it far simpler to understand the impact of a change, say a multi-pronged bill incl millionaire taxes, energy subsidy changes etc. Much harder to hide some impact under the carpet
- qubex 6mo agoBorbaqui est la volonté du peuple!