Hacker News Reader

But we didnt develop our own programming language to do this though.

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:

https://m.youtube.com/watch?v=_-XMjfz3RcU

Reply on news.ycombinator.com