в первом случае мы можем вызывать продолжение много раз, потому что мы знаем тип и можем догадаться как склеить несколько результатов в один во втором случае мы не знаем тип результата продолжения, мы никак не можем соединить несколько результатов неизвестного типа, точно так же мы никак не можем получить результат не вызывая продолжение таким образом в первом случае мы можем вызывать продолжение 0-inf раз, во втором случае СТРОГО один раз, ни больше ни меньше
строго говоря, можно вызвать много раз, просто все кроме одного результата потерять
Обсуждают сегодня