Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Compiler for the M language of the French DGFiP

gitlab.inria.fr

Post reply on HN
Print view View original

31–40 of 68 posts

Re: Compiler for the M language of the French DGFiP

#31

Post by cultus »

Ericson2314 wrote: post #19
jmole wrote: post #5

Earlier quoted context omitted.

is there an initiative like this in the US?

Code directly written be the Government must be public domain. I'm not sure this is a step in the right direction, or a step backwards as it just pushes more software engineering to consultants. (I've at least seen DARPA-funded work become open source. That's a good step.)

The big gotcha with that is that most government projects have collaborators in academia, NGOs, and/or industry. To a big extent, the public domain mandate doesn't apply if workers outside of the government contribute. Thus manuscripts or code often aren't public domain.

edit: Also publishers constantly "accidentally" claim copyright on public domain works (I'm looking at you, Elsevier). They never accidentally make something open-access.

Re: Compiler for the M language of the French DGFiP

#32

Post by Nextgrid »

glutamate wrote: post #11

Really interesting to see this. I'm a co-founder of AdviceBridge, where we have implemented part of the UK tax code related to income tax and pensions in order to provide digital financial advice. In the UK, the HMRC (again, equivalent of IRS) makes worksheets available for computational tax but these are not machine-readable and are not guaranteed to be correct! (Indeed on some points, government websites give incor…

Does HMRC provide those free of charge? I'd be curious to have a look at them.

Re: Compiler for the M language of the French DGFiP

#33

Post by dakdak »

There's a much broader project that can compute most taxes and benefits for France (and a few other countries) : https://github.com/openfisca/openfisca-france

It would be quite interesting to check that both the French IRS implementation of the tax & benefit laws and the free software community (though most devs of the project were employed by the French admnistration) implementation of the tax and benefit laws actually output the same results.

Re: Compiler for the M language of the French DGFiP

#34

Post by j4nt4b »

aloukissas wrote: post #24
j4nt4b wrote: post #14

Earlier quoted context omitted.

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 :)

And though a tooth may bend the purest coin, remember too how gold will knead reason and virtue themselves like dough.

Re: Compiler for the M language of the French DGFiP

#35

Post by glutamate »

Nextgrid wrote: post #32
glutamate wrote: post #11

Really interesting to see this. I'm a co-founder of AdviceBridge, where we have implemented part of the UK tax code related to income tax and pensions in order to provide digital financial advice. In the UK, the HMRC (again, equivalent of IRS) makes worksheets available for computational tax but these are not machine-readable and are not guaranteed to be correct! (Indeed on some points, government websites give incor…

Does HMRC provide those free of charge? I'd be curious to have a look at them.

e.g. https://assets.publishing.service.gov.uk/government/uploads/...

Re: Compiler for the M language of the French DGFiP

#36

Post by emilecantin »

sushshshsh wrote: post #25
testcross wrote: post #4

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 Raph…

Native French speaker here (Québécois). Minor nitpick: Your translation of "jeux de tests" to "test games" is incorrect.

The word "jeu" can indeed mean "game", but it can also mean a group of things. A better translation would be "test suites", "test sets" or similar.

Re: Compiler for the M language of the French DGFiP

#37

Post by remexre »

senstax wrote: post #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 du…

I think you'd want a differentiable language to make that easy.
Post reply on HN