語法，其中塊

Question

我讀編程在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) 

我知道這行存在，因爲三個類型解析器（Char，Char），但gabc代表什麼？ g a b c如何在語法上有效？我已經習慣了看到每個符號x和y在哪裏聲明之前出現在哪裏像案件

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

。

Answer 1

這是聲明函數的語法。它是相當於

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

g是一個函數，它接受3個參數，並返回一個元組

Answer 2

如何爲g a b c語法有效？

由於相同的原因，模塊頂層的相同定義是有效的。在where定義和頂層之間的區別就是，你必須在功能上的頭部約束變量（例如，在您的最後一個例子x）的範圍，可以在右側使用它們，但這並不意味着你有使用他們。