4 ms·
jOOQ's internals are full of unsafe casts, though.
by lukaseder 1y ago
jOOQ's internals are full of unsafe casts, though.
- gf000 1y agoWell, you have basically implemented a Java type-system level type checker for SQL. I don't believe there is any type system strong enough to express the whole thing without the escape hatches (casts), besides Lean, Coq and alia.
- lukaseder 1y agoNot sure what you mean. I meant that without declaration site variance, ("pragmatic") unsafe casting is everywhere in jOOQ's internals. Without being able to capture wildcards in local type variables, ("pragmatic") rawtypes are everywhere as well (check Collections.swap() for an illustration)