Haskell 让 ..... 在让 ..... 在让

Haskell let ..... in let ..... in let

需要完成一些代码。但我不知道如何处理 nasted let in 表达式。那是代码:

data Zutat = Tomate | Fleisch | Salat
data Bun = Weizen | Roggen
data Sosse = Ketchup Sosse | Mayo Sosse | Keine
data Burger = Burger Bun [Zutat] Sosse

我需要完成代码:

let zt =               in -- Zutat
  let so =               in -- Sosse
    let dw =

dw 必须像 dw = Weizen [Tomate,Fleisch,Fleisch] (Mayo (Ketchup Keine))

知道了:

zt = [Tomate,Fleisch,Fleisch]
so = Mayo (Ketchup Keine)
dw = Burger Weizen zt so

但是如何将它构建到 let in 表达式中?

您可以将这些表达式插入 let 表达式中:

let zt = [Tomate, Fleisch, Fleisch] in
  let so = Mayo (Ketchup Keine) in
    let dw = Burger Weizen zt so in
      ...

或使用单个 let 表达式:

let
  zt = [Tomate, Fleisch, Fleisch]
  so = Mayo (Ketchup Keine)
  dw = Burger Weizen zt so
in ...

完整示例:

data Zutat = Tomate | Fleisch | Salat
  deriving (Show)

data Bun = Weizen | Roggen
  deriving (Show)

data Sosse = Ketchup Sosse | Mayo Sosse | Keine
  deriving (Show)

data Burger = Burger Bun [Zutat] Sosse
  deriving (Show)

main :: IO ()
main = let
  zt = [Tomate, Fleisch, Fleisch]
  so = Mayo (Ketchup Keine)
  dw = Burger Weizen zt so
  in print dw

输出:

Burger Weizen [Tomate,Fleisch,Fleisch] (Mayo (Ketchup Keine))

听起来您需要参考基本 Haskell 语法。