VY
Size: a a a
VY
VY
ЗП
VY
VY
ЗП
к
к
к
к
AK
AK
testF :: Int -> Int -> Int -> Int -> Char
testF a b c d = 'x'
1 `testF` 2 ? ?
ЗП
AK
Aq
testF :: Int -> Int -> Int -> Int -> Char
testF a b c d = 'x'
1 `testF` 2 ? ?
> (1 `testF` 2) 3 4
Aq
ЗП
> (1 `testF` 2) 3 4
Aq
> if_ a = a
> then_ b x y = if b then x else y; infixr 1 `then_`
> else_ = ($); infixr 0 `else_`
> if_ False `then_` 1 `else_` 0
0
> if_ True `then_` 1 `else_` 0
1
ЗП
ifThenElse = if _ then _ else _