https://blog.rafaelfernandez.dev/tags/zero-cost-abstraction/ Recent content in Zero-Cost-Abstraction on Home Hugo -- gohugo.io en © 2026 Rafael Fernandez Sat, 28 Mar 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/posts/criteria4s-2-phantom-types-in-practice/ Sat, 28 Mar 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/posts/criteria4s-2-phantom-types-in-practice/ A walkthrough of the actual criteria4s source code to see how phantom types and type classes enforce dialect safety with zero runtime cost. https://blog.rafaelfernandez.dev/posts/criteria4s-2-phantom-types-in-practice/ Sat, 28 Mar 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/posts/criteria4s-2-phantom-types-in-practice/ A walkthrough of the actual criteria4s source code to see how phantom types and type classes enforce dialect safety with zero runtime cost.