propensive / contextual

Statically-checked string interpolation in Scala
https://soundness.dev/contextual/
251 stars 23 forks source link

Provide a simpler `Verifier` type for interpolations without substitutions #72

Closed propensive closed 1 year ago

propensive commented 1 year ago

The five methods required to implement an interpolator could be much simplified in many cases with a subtype of Interpolator which doesn't deal with intermediate state or substitution types.