3622
 правки
Изменения
м
 
  
→Пример
 <font color=green>-- дано</font>
 func = foldr (+) 0 . map (\x -> x * 10)
 <font color=green>-- сначала перепишем композицию в обычную аппликацию для дальнейшей ясности</font>
 func0 l = foldr (+) 0 (map (\x -> x * 10) l)
 <font color=green>-- теперь инлайним foldr, то есть раскрываем его тело</font>
 func1 l = '''case''' (map (\x -> x * 10) l) '''of'''