News for hackers. Stuff that matters.
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
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 Eikon on Wednesday November 25, 2020 @09:55AM (#25209844)
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?
Re:A Modern Compiler for the French Tax Code by Eikon on Wednesday November 25, 2020 @10:16AM (#25210056)
Hi! Unfortunately I have no idea, I don't work there nor have any affiliation with them.