如何基于外部函数参数创建内部函数，实现指定条件返回逻辑？

哈哈，这个坑我刚学Haskell的时候也踩过！你遇到的核心问题是变量作用域遮蔽——你内部定义的函数f用了和外部参数一样的名字x，直接把外部的x给“盖住”了，导致逻辑完全不符合预期。

为什么原来的代码不对？ #

你写的代码里：

g x = do
    let f x = 10
        f _ = 0
    f

这里的两个f分支里的x，是函数f自己的参数，和外部g的参数x完全是两个独立的变量！不管你调用返回的f时传什么值，第一个分支f x =10都会匹配（因为任何输入都会被绑定到这个局部的x上），所以永远返回10，完全没用到外部的那个x。

正确的实现方式 #

有几种写法可以达到你的预期：

1. 使用if-else判断（最直观）

把内部函数的参数改成别的名字，比如input，然后和外部的x做比较：

g x = do
    let f input = if input == x then 10 else 0
    f

其实这里的do完全多余，更简洁的写法是：

g x = let f input = if input == x then 10 else 0 in f

2. 使用守卫（Guard）实现模式匹配风格

如果更喜欢用分支的写法，可以用守卫来判断输入是否等于外部的x：

g x = let f input
            | input == x = 10
            | otherwise = 0
      in f

3. 匿名函数（最简洁）

直接用lambda表达式返回，省去定义内部函数f的步骤：

g x = \input -> if input == x then 10 else 0

这样调用(g 3) 4就会返回0，调用(g 3) 3就会返回10，完全符合你的预期啦！

内容的提问来源于stack exchange，提问作者Luca9984