Если Haskell полностью преобразуется в форму лямбда исчисления,то как преобразуется

Question

Если Haskell полностью преобразуется в форму лямбда исчисления,то как преобразуется

такой кусок кода?

func a =
let b = a * 2 in
let c = b * 3 in
(b + c, b - c)

это будет

func = \a ->
((a * 2) + (b * 3), (a * 2) - (b * 3))

?мне интересно именно как конструкция "let in" раскрывается

#haskell #programming #russian

0

02.07.2020

1 ответов

17 просмотров

Cheese Syrowiecki · Accepted Answer

Cheese Syrowiecki

(let b = a * 2 in foo) = (\b -> foo) (a * 2)

0

02.07.2020

169 похожих чатов

Если Haskell полностью преобразуется в форму лямбда исчисления,то как преобразуется

1 ответов

Похожие вопросы