def binders

bend-lint-rules@0.2.0.0 · performance/missed_fork.bend:162

import Base

162# Fresh names for `n` values, as a parallel let binds them.
163def binders(
164  texts: List<&2, String>,
165  ns: List<&2, String>,
166  out: List<&2, String>
167) -> List<&2, String>:
168  match texts ns:
169    case Con{t, rest} Con{n, more}:
170      binders(rest, more, n <> out)
171    case Con{t, rest} Nil{}:
172      binders(rest, [], "x" <> out)
173    case Nil{} _:
174      List.reverse(&2, String, out)