Typed Tagless Final, for real!
Every so often, a software technique takes the center stage of attention and becomes the source of countless articles, tutorials, and conference talks.
This is particularly true in the world of functional programming with techniques such as:
"failur...
etorreborre.blog10 min read
Arnaud Bailly
Nice article! FWIW, this is exactly how Idris2's JSON library works: Checkout
JSON.Encoderin idris2-json