Control flow as a type

[amarao]

Чем больше я про это думаю, тем больше я его хочу.

Любое замыкание (в расте) может управлять control flow приложения, но только в смысле panic!. Замыкание не может управлять другим control flow, например, break/continue/return.

Это делает не экивалентным цикл итератора и применение map для того же самого итератора. Несправедливо! Если бы только компилятор понимал управление control flow и мог правильно проверить его совместимость...

Comments

[yurikhan]

Семантика цикла в верхнем примере — поиск с ранним выходом при успехе и ранним осознанием облома. Соответственно, его надо выражать не в базисе map/filter, а в базисе map/filter/take 1.

Не тестировал, но что-то такое:

NotFound = object()
Break = object()
Continue = object()

def find(xs, sample) -> TypeFoo:
    z = next((y
              for x in xs
              if Continue != (y := (x.make_foo(sample) if x.should_return(sample) else
                                    Break if x.should_stop(sample) else
                                    Continue))),
             NotFound)
    return {NotFound: TypeFoo, Break: TypeFoo}.get(z, lambda: z)()

[amarao]

Ну ты просто энумизируешь флоу и делаешь по ним lookup в словаре. Это всем читерство.