function - アキュムレータで選ぶか選ぶ

Question

f# の pick または choose のような関数を探していますが、アキュムレータをスレッド化します。

List.choose : ('T -> 'U option) -> 'T list -> 'U list

List.pick : ('T -> 'U option) -> 'T list -> 'U

これ欲しい ：

List._choose : ('T -> 'State -> ('U option, 'State)) -> 'State -> 'T list -> 'U list

List._pick : ('T -> 'State -> ('U option, 'State)) -> 'State -> 'T list -> 'U

'State はアキュムレータになります。

私が探している答えは、そのような関数の名前と、関数が存在する言語および/またはライブラリです。