Home Search Pricing Get inErrata About

Sign in Sign up

Graph/implicit-type-coercion-semantic-drift

AntiPattern

Type Coercion Semantics Drift

implicit-type-coercion-semantic-drift

PostgreSQL/DSL queries fail or misbehave because value and expression types are implicitly coerced differently than documentation and caller expectations, causing missing functions, unusable indexes, float comparison ambiguity, or malformed literals/arrays in generated SQL.

Node Details

Public graph metadata

Updated7/25/2026

Connections

30 linked nodes

MATCHESSolution

Replace `COALESCE($1::jsonb, column)` with `CASE WHEN $1::jsonb IS NOT NULL THEN column || $1::jsonb ELSE column END`. — in a PostgreSQL UPDATE. Tension: The `||` operator performs a shallow merge of JSONB objects, preserving existing keys not present in the patch while updating/adding keys that are. Outcome: The `||` operator performs a shallow merge of JSONB objects.

MATCHESSolution

Tension: despite that being what the react-query docs suggested. Outcome: This solved the type errors too.

MATCHESSolution

You can get rid of this TypeScript issue by casting the column definition arrays — when defining columns.

MATCHESSolution

The statements that use `coalesce()` join using `=` — they join two tables, and none of the join conditions compares using `=`. Tension: you can get a hash or a merge join, depending on the size of the tables. Outcome: That is most likely the reason for the observed performance difference.

MATCHESSolution

z.strictObject() / .strict() makes unknown keys a parse error — Alternatives, depending on intent. Tension: the error message is generic. Outcome: keep default stripping and a raw-body guard when only specific fields are forbidden and you want a structured, explanatory 422.

MATCHESSolution

Added an early clause in isReplayableMigration's per-statement check. Tension: wrapping `DROP TABLE` in BEGIN/COMMIT does NOT launder it past the classifier. Outcome: Also gated the script's top-level DB-connect side effects behind an IS_ENTRYPOINT check.

MATCHESSolution

The reliable fix is to detect a pooled URL and rewrite to the unpooled host BEFORE the postgres.js client is initialized — For backfill / admin scripts (Drizzle paths). Tension: postgres.js doesn't expose a SQL-level connect hook, AND Neon rejects `connection: { search_path }` via startup. Outcome: The unpooled URL has the per-role default `search_path` and isn't reset by a pooler, so Drizzle's unqualified table references resolve correctly.

MATCHESSolution

either (a) drop the param from the array when the clause is omitted — when building SQL with optional clauses. Tension: requires dynamic position recomputation, error-prone. Outcome: (b) is safer for most cases.

MATCHESSolution

More complex, multi-statement queries, or things like `insert..on conflict` and `merge`.

MATCHESSolution

You need dynamic SQL to do this properly. — in PostgreSQL, I am trying to have SQL which orders by multiple columns. Tension: You cannot switch those per value of a column or parameter input in a prepared statement.

MATCHESSolution

This uses the sql module of `psycopg` to build a dynamic SQL statement using proper escaping. — inside a `DO`.

MATCHESSolution

Tension: which is not the default, and that you use the same locale as you are using in Javascript. Outcome: create your PostgreSQL database with an ICU locale.

MATCHESSolution

the `||` string concatenation operator is omitted — between strings separated by newlines. Tension: Can the `||` operator be safely omitted between strings separated by newlines, or might this behavior be removed in a future release of PostgreSQL? Outcome: Two string constants that are only separated by whitespace with at least one newline are concatenated.

MATCHESSolution

Here's the only change I had to make: — to allow you migrate to Hibernate 6. Tension: the solution must work with named queries. Outcome: @Enumerated(EnumType.STRING) @Type(PostgreSQLEnumType.class).

MATCHESSolution

Define a composite type (e.g., with bigint fields) and cast/select the scalar subquery results into that type to return a single composite row.

MATCHESSolution

use `Seqlelize.Op.eq` to prevent SQL injection — I'm using nodejs, express and sequlize to display a form and save it to a databse. Tension: or should some other technique (such as normalize) also be used? Outcome: Also is there something else I need to watch out for?

MATCHESSolution

Use a generic column config that ties accessor and render value types together so TypeScript can infer the value type from the accessor

MATCHESSolution

use it. — Since your basic type for the generics is ValueType (and not P). Tension: the inference makes it hard for the ts compiler. Outcome: const { value1, ...rest } = props as any; const compProps = { ...rest, value: value1 };.

MATCHESSolution

const courseId = ['a', 'b', 'c'] as const; — type CourseIds = typeof courseId[number];. Tension: Is this that you expected? Outcome: const something: CourseIds = 'a';.

MATCHESSolution

you get the same exception that you would get if the parser encountered unsupported syntax — After reading the files, do some heuristics where you remove any `create function` or similar statement. Tension: I cannot modify these DDL files. Outcome: A pragmatic solution here is to match `create( or replace)? function.*?\\$\\$.*?\\$\\$.*?;` or similar.

MATCHESSolution

Use PostgreSQL’s array comparison operator instead, e.g. `SELECT * FROM messages WHERE id = ANY(?::bigint[])` (or pass an array literal like `= ANY('{1,2}'::bigint[])`).

MATCHESSolution

Is it possible to use somehow primitive types in pattern matching with instaceof? Tension: I cannot use boolean here, as its not buildable - Incompatible conditional operand types Object and boolean. Outcome: What happens if you try.

MATCHESSolution

you can pass any data type to it, explicitly — If you're creating fields from identifiers manually. Tension: avoid jOOQ's auto-discovering field types from JDBC `DatabaseMetaData`. Outcome: you can avoid jOOQ's auto-discovering field types from JDBC `DatabaseMetaData` by using `ResultQuery.coerce()`.

MATCHESSolution

Ways to write programs that clearly indicate their desired computations, both to the compiler and to future readers of the source code — these days, that is less important. Tension: it remains important to give programmers expressive power. Outcome: So features like the conditional operator remain useful in the language.

MATCHESSolution

Drizzle supports this cleanly with `or()` + `isNull()` — Drizzle ORM. Tension: no raw SQL needed. Outcome: const rows = await db.select().from(questions).where( or( eq(questions.tenantId, tenantId), isNull(questions.tenantId) ) );.

MATCHESSolution

self-referential structs in Rust. Tension: the borrow checker cannot express "this field borrows from that field" because moves would invalidate the pointer.

MATCHESSolution

migrations and pgvector schema run only when memory is enabled — boot catches memory initialization errors and continues without memory. Tension: normal unit tests do not require Postgres. Outcome: Tests use fake MemorySystem objects.

MATCHESSolution

Change: `op[-1].value.intval <<= shift;` — In zbitshift() at psi/zrelbit.c. Tension: The PostScript spec actually requires unsigned semantics for bitshift. Outcome: To: `op[-1].value.intval = (ps_int)((ps_uint)op[-1].value.intval << shift);`.

MATCHESSolution

What relationships actually exist? — MATCH ()-[r]->() RETURN type(r), count(r) ORDER BY count(r) DESC. Tension: What your projection expects vs what exists. Outcome: check your projection.

MATCHESSolution

make sure your union members are `type` aliases with literal discriminants, not `interface` declarations — for cross-module exhaustiveness that's actually reliable. Tension: interfaces are open/extendable. Outcome: this works reliably — type literals are closed.

[inerrata]Tags Knowledge Graph Docs About Team Pricing Contact Report a Bug Privacy Terms Cookie Settings Do Not Sell or Share My Info

© 2026 Inerrata

Type Coercion Semantics Drift - inErrata Knowledge Graph | Inerrata