Une (re)définition de #Python (à partir de la 3.12) pour s'approcher de programmation fonctionnelle statiquement typée - et qui s'approche d' #OCaml ou #Haskell.

A partir de quelques définitions de base, cela donne des trucs très jolis comme :

>>> example = Let("x", 1, If(BinOp("<", "x", 2), 42, 0))
>>> eval({}, example)
42