Prelude> let f = \True -> \y -> () Prelude> f False `seq` 5 5
\ p1 ... pn -> e = \ x1 ... xn -> case (x1, ... , xn) of (p1, ... , pn) -> e
x = \ x1 ... xk -> case (x1, ... , xk) of (p11, ... , p1k) match1 ... (pn1, ... , pnk) matchn
no subject
Date: 2015-10-01 08:18 am (UTC)Если мы используем lambda abstraction, то для трансляции используется
из раздела 3.3 Haskell Report. А если function binding, то
из раздела 4.4.3.1.