On: A Modern Compiler for the French Tax Code

[Eikon]

Here's the source code of the implementation of the tax code: https://github.com/etalab/calculette-impots-m-source-code

[protz → Eikon]

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

[rozab → Eikon]

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.

[remram → rozab]

Wonder no more! https://github.com/github/linguist/blob/7c2adbdb15d4efd25d92...

As most AI, it's regex and ifs all the way down.

[nolok → remram]

> 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.

[rozab → remram]

These incredibly vague regexes are hilarious. But I guess if it works, it works (until it doesn't)

[Eikon → rozab]

Here you go!

https://github.com/github/linguist#how-linguist-works

[riffraff → Eikon]

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 ;

[Eikon → riffraff]

Iliad means "Informatisation de L'inspection d'Assiette et de Documentation" which roughly translates to "computerisation of tax base and documentation inspection".

[denismerigoux → Eikon]

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?

[Eikon → denismerigoux]

Hi! Unfortunately I have no idea, I don't work there nor have any affiliation with them.