Я думаю, что решение Игнасио почти правильное, но требует оператора типа ('a ->' a -> 'a) и не дает первого элемента.
def scan(f, state, it):
for x in it:
state = f(state, x)
yield state
# test
>>> snoc = lambda xs,x: xs+[x]
>>> list(scan(snoc, [], 'abcd'))
[['a'], ['a', 'b'], ['a', 'b', 'c'], ['a', 'b', 'c', 'd']]
>>> list(scan(operator.add, 0, [1,2,3]))
[1,3,6]
В частности, тип Seq.scan
равен
('State -> 'T -> 'State) -> 'State -> seq<'T> -> seq<'State>
Подход по умолчанию в Python - написать scan
с типом
('State -> 'State -> 'State) -> seq<'State> -> seq<'State>
Это происходит из-за того, что Python указывает reduce
, который по умолчанию имеет тот же тип.