Re:A Modern Compiler for the French Tax Code
by Eikon on Wednesday November 25, 2020 @09:09AM
(#25209358)
Here's the source code of the implementation of the tax code: https://github.com/etalab/calculette-impots-m-source-code
[ Parent
| on HN ]
Re:A Modern Compiler for the French Tax Code
by protz on Wednesday November 25, 2020 @12:06PM
(#25211431)
Hi, one of the paper authors here. This is unfortunately only part of the story. This "calculette" covers only a fraction of the tax computation; furthermore, without knowing the crazy semantics and computational rules of the M language, it's very hard to reproduce the tax computation.
As a side-note, the source code appears to have moved here: https://gitlab.adullact.net/dgfip/ir-calcul
Re:A Modern Compiler for the French Tax Code
by rozab on Wednesday November 25, 2020 @09:41AM
(#25209678)
The languages breakdown is interesting. It seems GitHub refuses to admit defeat and categorises the .m files into various other languages which use the extension (M, MATLAB, Objective-C, Mathematica and Mercury). I wonder if they use some sort of fuzzy ML solution for categorising them rather than conventional parsing.
Re:A Modern Compiler for the French Tax Code
by remram on Wednesday November 25, 2020 @10:02AM
(#25209919)
Wonder no more! https://github.com/github/linguist/blob/7c2adbdb15d4efd25d92...
As most AI, it's regex and ifs all the way down.
Re:A Modern Compiler for the French Tax Code
by nolok on Wednesday November 25, 2020 @10:57AM
(#25210544)
> As most AI, it's regex and ifs all the way down.
This made me laugh way more than expected, mostly because of how true it is.
Re:A Modern Compiler for the French Tax Code
by rozab on Wednesday November 25, 2020 @12:43PM
(#25211891)
These incredibly vague regexes are hilarious. But I guess if it works, it works (until it doesn't)
Re:A Modern Compiler for the French Tax Code
by riffraff on Wednesday November 25, 2020 @10:02AM
(#25209918)
I can't help but wonder what awesome things happen in "iliad" and "ocean" mode after looking at some of those files:
application : pro, batch , iliad,oceans ;
Re:A Modern Compiler for the French Tax Code
by Eikon on Wednesday November 25, 2020 @10:08AM
(#25209985)
Iliad means "Informatisation de L'inspection d'Assiette et de Documentation" which roughly translates to "computerisation of tax base and documentation inspection".
Re:A Modern Compiler for the French Tax Code
by denismerigoux on Wednesday November 25, 2020 @10:10AM
(#25210003)
Hi, author here :) You seem to be well-informed of the DGFiP jargon, do you know if news of my work has been spreading among the IT department there?