Zero-Cost-Abstraction on Inicio https://blog.rafaelfernandez.dev/es/tags/zero-cost-abstraction/ Recent content in Zero-Cost-Abstraction on Inicio Hugo -- gohugo.io es © 2026 Rafael Fernandez Sat, 28 Mar 2026 00:00:00 +0000 criteria4s 2. El tipo que la JVM nunca ve https://blog.rafaelfernandez.dev/es/posts/criteria4s-2-phantom-types-en-la-practica/ Sat, 28 Mar 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/criteria4s-2-phantom-types-en-la-practica/ Un recorrido por el código fuente real de criteria4s para ver cómo phantom types y type classes imponen seguridad de dialecto con coste cero en runtime. criteria4s. El tipo que la JVM nunca ve https://blog.rafaelfernandez.dev/es/posts/criteria4s-2-phantom-types-en-la-practica/ Sat, 28 Mar 2026 00:00:00 +0000 https://blog.rafaelfernandez.dev/es/posts/criteria4s-2-phantom-types-en-la-practica/ Un recorrido por el código fuente real de criteria4s para ver cómo phantom types y type classes imponen seguridad de dialecto con coste cero en runtime.