Re:A Modern Compiler for the French Tax Code
by ralfn on Monday January 30, 2023 @01:00PM
(#34583741)
But we didnt develop our own programming language to do this though.
[ Parent
| on HN ]
Re:A Modern Compiler for the French Tax Code
by mjul on Tuesday January 31, 2023 @11:43AM
(#34597472)
The Dutch tax authority has developed RegelSpraak a controlled natural language for defining tax rules that is also formally specified and compilable to several targets.
There is a video of the team presenting how they built the DSL for tax rules in the JetBrains MPS language workbench from the MPS conference.
Case study:
https://resources.jetbrains.com/storage/products/mps/docs/MP...
Video: