λ
do
-нотация значительно шире, чем сахар над биндом. Можно вспомнить о расширениях RecursiveDo
и ApplicativeDo
.Size: a a a
λ
do
-нотация значительно шире, чем сахар над биндом. Можно вспомнить о расширениях RecursiveDo
и ApplicativeDo
.λ
NL
λ
λ
λ
λ
NL
NL
λ
λ
NL
NL
r
DF
DF
r
DF
T
T