yeslogic / doodle

6 stars 1 forks source link

[lang-model] `Format::AccumUntil` for fused fold-and-repeat operations #215

Closed archaephyrryx closed 1 month ago

archaephyrryx commented 2 months ago
  Format::AccumUntil(
      Expr, // @ Lambda :: { ( Acc, [Elem] ) -> Bool }
      Expr, // @ Lambda :: { ( Acc, Elem ) -> Acc },
      Expr, // @ _ :: { Acc }
      ValueType, // Acc
      Box<Format>, // @ _ :: { Elem }
  ) // :: (Acc, [Elem])

This would solve the following (non-issue) problems: