criteria4s. El tipo que la JVM nunca ve
·9 mins
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.