haskell - 与 lambda 表达式组合 haskell

Question

我尝试了一个将组合与 lambda 表达式结合使用的虚拟示例。下面的代码可以编译，但是当我尝试 (f.g) 3 2

时它没有运行

f x = x^2
g x = 5*x

f.g = \x -> f(g x)
    

它给出这样的错误:

Ambiguous occurrence `.'
It could refer to
   either `Prelude..',
          imported from `Prelude' at list3.hs:1:1
          (and originally defined in `GHC.Base')
       or `Main..', defined at list3.hs:42:3.

谁能告诉我问题出在哪里？

Answer 1

您定义了一个合成运算符，它沿着从 Prelude 导入的运算符存在。 定义没有错；当您尝试使用 它时会出现问题，因为编译器无法判断是否有类似的东西

main = print $ f . g $ 10

应该使用 Prelude 中的 . 或 Main 模块中的 .。

一个解决方案是简单地明确说明您想要两者中的哪一个。

f . g = \x -> f (g x)

main = print $ f Main.. g $ 10

或者首先不导入 Prelude 版本。

{-# LANGUAGE NoImplicitPrelude #-}

import Prelude hiding ((.))

-- Now this is the *only* definition.
f . g = \x -> f (g x)

main = print $ f . g $ 10