Хорошо, в основном у меня проблема с пониманием того, применима ли опция 1 или 2 в следующем случае:
naturals = 0 : map (+ 1) naturals
Где варианты:
1. Выполнение ужасно, все пересчитывается на каждом шаге:
naturals = [0]
naturals' = 0:map (+ 1) [0] // == [0, 1]
naturals'' = 0:map (+ 1) [0, 1] // == [0, 1, 2]
naturals''' = 0:map (+ 1) [0, 1, 2] // == [0, 1, 2, 3]
naturals'''' = 0:map (+ 1) [0, 1, 2, 3] // == [0, 1, 2, 3, 4]
2. Выполнение не ужасно, список всегда бесконечен и map
применяется только один раз
naturals = 0:something
|
naturals' = 0: map (+ 1) (0: something)
|
naturals'' = 0:1: map (+ 1) (0:1: something')
|
naturals''' = 0:1:2: map (+ 1) (0:1:2: something'')
|
naturals'''' = 0:1:2:3:map (+ 1) (0:1:2:3:something''')
с |
, указывающим, где map
находится в его выполнении.
Я знаю, что ответы могут быть только 1 или 2, но я был бы признателен за некоторые пояснения к хорошим объяснениям по совместной рекурсии, чтобы устранить последние сомнения:)