主要观点：在法国，所得税通过纳税人个人报税计算，由法国公共财政总局（DGFiP）编写、设计和维护的算法进行，该算法基于 1990 年设计的遗留自定义语言和编译器，随着时间推移老化严重，因输入语言的缺点和编译器的技术限制，维护愈发困难，需依赖临时行为和变通方法来实现最新税法变化，且系统未受益于现代编译器技术。为此，对该基础设施进行 overhaul，推出 Mlang 开源编译器工具链，基于 DGFiP 系统的逆向工程形式化，经 DGFiP 私人测试套件验证，有正式语义，消除了之前 C 语言中的手写变通方法，可编译为现代语言（Python），并能提供关于法国所得税计算本质的深入洞察，DGFiP 已正式将其用于生产系统。

关键信息：

• 算法由 DGFiP 负责，基于 1990 年的语言和编译器。
• 存在输入语言和编译器的问题导致维护困难。
• Mlang 基于 DGFiP 系统的逆向工程，经验证有效。
• DGFiP 已开始在生产系统中使用 Mlang。

重要细节：

• 有多个版本的相关文件，如 version 1、version 2、version 3 等。
• 包含多个标识符，如 HAL Id、ARXIV、DOI 等。
• 有较多的咨询次数和下载次数。
• 可通过多种方式分享相关内容。