propensive / contextual

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

Add support for holes in binary example #30

Closed jcazevedo closed 3 years ago

jcazevedo commented 7 years ago

This PR adds support for holes in the binary example. This was done in scope of Scala Swarm's Scala Center Hackathon.

The implemented strategy tries to check as much as possible during compile time and only falls back to runtime checks when dynamic parts are used.

I was unable to avoid adding an Embedder typeclass, even though it doesn't seem necessary. Is it possible to avoid it?