Recently I was giving an introductory talk about constructing implicit proofs with Shapeless at Scala Riga Meetup. Contents in brief Analogy between Scala implicit resolution and Mathematical…
Scala developer. Peace. Love. Referential Transparency.
Tag: hlist
Hello, Scala developers! In this post we will develop a simple type-safe request builder. Along the way, we will: encode domain rules and constraints at compile time with…