递归让插件 使用GHC插件实施类似于的实验。 它仅适用于GHC 8.10，因为这些天GHC模块似乎已被重命名，而且我不想为CPP所困扰。 欢迎公关。 这是在一天的过程中实施的，未经测试。 它似乎适用于简单的情况。 例子 {-# OPTIONS_GHC -fplugin=RecursiveLetPlugin #-} module P1 where foo :: Int foo = let even x = if x == 0 then True else odd (x - 1 )