Live data from Hacker News

Compiler for the M language of the French DGFiP

gitlab.inria.fr

21–30 of 68 posts

Re: Compiler for the M language of the French DGFiP

#21
post #14

Earlier quoted context omitted.

Doubt it. The Intuit and HR Block lobbying dollars make sure our tax system is complicated enough to keep their businesses booming.

Petitions are free, right? Unless it actually does exist, it makes sense to start one.

This petition is made by Free Software Foundation Europe. I guess you should ask Free Software Foundation to start one in the US.

Re: Compiler for the M language of the French DGFiP

#23
post #5
post #2

Very good news. Consider signing the petition to make all publicly funded code free: https://publiccode.eu .

is there an initiative like this in the US?

In the US, you calculate your own income tax, don't you? Like in Canada.

The "source code" to the calculations are the paper forms which specify the calculations, making them transparent.

Re: Compiler for the M language of the French DGFiP

#24
post #14

Earlier quoted context omitted.

Doubt it. The Intuit and HR Block lobbying dollars make sure our tax system is complicated enough to keep their businesses booming.

Petitions are free, right? Unless it actually does exist, it makes sense to start one.

This is cute, but this isn't how things work in the US. Money talks :)

Re: Compiler for the M language of the French DGFiP

#25

The author explains what were the challenging bits in this thread (in french): https://twitter.com/DMerigoux/status/1314531302079688709

It's rare that I (an American) get to help out others by translating something, so I will post my translation here.

"Four years after the first publication by DGFIP, I have the pleasure of announcing that the source code permitting the calculation of taxes on revenue is finally reusable (recompilable by others)!

To use this algorithm in your application, follow this link...

It took us 1.5 years (with my coauthor Raphael Monat) to identify that which was missing in the published code in order for it to be reusable, and to fix this situation.

More or less, thanks to our project Mlang, a person can simulate IR's calculations without needing to interface with DGFIP.

The difficulty came from a constraint from DGFIP, who did not want us to publish (for security reasons) a part of the code that corresponds to a mechanism that handles "multiple liquidations". Raphael and I recreated this unpublished part in a new DSL.

DGFIP equally didnt want to publish their internal test games (cases). We had proceeded therefore with the creation of a suite of random test cases, separate from the non published ones, to finally be able to reproduce the validation of Mlang outside of DGFIP."

Re: Compiler for the M language of the French DGFiP

#27
Related: does anyone know if, by using these languages (Coq and OCaml), they've kept the door open to computer-assisted tax sensitivity analysis? E.g., I'm interested in outputting some kind of 2-dimensional or 3-dimensional solution space on 2, 3, or 4 input variables to identify discontinuities and slopes. Any thoughts?

ETA: Diving into my thoughts on this a little: really what I'm describing would require (1) a dumb numerical analysis algorithm or (2) some CAS computer algebra system features, my preference. I don't know all the keywords and concepts, but I think term rewriting and equation solving would get me towards the output I seek: a multivariate, piecewise equation with user-selected input variables and user-selected output variables: e.g., current year tax, n+1 year tax, etc. Seems too involved, but ai have hope.

Re: Compiler for the M language of the French DGFiP

#28
post #14

Earlier quoted context omitted.

Petitions are free, right? Unless it actually does exist, it makes sense to start one.

This petition is made by Free Software Foundation Europe. I guess you should ask Free Software Foundation to start one in the US.

Just sent an email. I'll update when I learn more.

Re: Compiler for the M language of the French DGFiP

#29
post #3

That's funny because the INRIA is 5 minutes away from the place I am studying sciences right now, I did not think I would ever see them top in HN :)

OCaml gets a lot of love here from time to time..

Alongside Smalltalk, INRIA is also a major contributor to Pharo and Squeak, which descend both from the original Smalltalk-80 image.

Re: Compiler for the M language of the French DGFiP

#30

I have implemented parts of the tax code, following 1040 and the network of forms it references line-by-line, for my own financial planning. I've been selective about what I implement based on what applies to me. I don't share the code because I'm not sufficiently confident that it's correct, don't want liability, and don't want an obligation to keep it up to date. That said, it feels like the scope of the project wo…

I understand your worry, but could you feel better offering it under a free software license that expressly disclaims warranties of usefulness for any purpose?
Post reply on HN