haskell - where block 的语法

Question

我正在阅读 Graham Hutton 的《Haskell 编程》，它在第 13 章中给出了以下代码:

import Control.Applicative
import Data.Char

{- some code omitted -}

newtype Parser a = P (String -> [(a, String)])

item :: Parser Char
item = P (\ input -> case input of
                     []   -> []
                     x:xs -> [(x,xs)])

three :: Parser (Char,Char)
three = pure g <*> item <*> item <*> item
        where g a b c = (a,c)

我很难理解最后一行

where g a b c = (a,c)

我知道这条线存在是因为 three 的类型是 Parser(Char, Char) 但是 g a b c 代表什么？ g a b c 在语法上如何有效？我习惯于在类似情况下看到哪里

f :: s -> (a,s)
f x = y
   where y = ... x ...

其中每个符号 x 和 y 出现在 where 声明之前。

Answer 1

这是声明函数的语法。它相当于

 where g = \a b c -> (a,c)

g 是一个接受 3 个参数并返回一个元组的函数