A linguagem M é uma linguagem dedicada usada pela Direção-Geral de Finanças Públicas para calcular o imposto de renda na França.
Um código-fonte escrito em M consiste em várias "regras" que são válidas em diferentes "aplicativos".
A linguagem inclui cerca de vinte operadores aritméticos ou lógicos, bem como mecanismos de loop.
A linguagem permite definir regras de controle.
A missão Etalab abriu uma gramática da língua M e um intérprete.
Em 2019 e 2020, uma iniciativa da Inria permitiu consolidar a atuação da Etalab e operacionalizar a linguagem M fora da DGFiP. Um artigo de pesquisa apresenta a semântica formal da linguagem, enquanto um compilador comprovado nos conjuntos de teste DGFiP está disponível em código aberto.
Definição da variável IRN (imposto de renda) para o ano de 2015:
regle 301000: application : bareme , iliad , batch ; IRN = min( 0, IAN + AVFISCOPTER - IRE ) + max( 0, IAN + AVFISCOPTER - IRE ) * positif( IAMD1 + 1 - SEUIL_61) ;