Подозрительные типы

Тут даже вопрос не в том, что функционал стабилен и покрыт юнит-тестами (это де-факто правило хорошего тона для любого качественного продукта, к коему я, безусловно, отношу PostgreSQL). Скорее тут поставили в приоритет удобство использования, а я лишь описал эти особенности, чтобы было под рукой.

Подозрительные типы

Да, это равносильно SELECT array[1, 2] || NULL::int[]. Если же мы явно приведем NULL к int, база увидит, что это не массив, а элемент массива, и добавит его к имеющимся, т.е. SELECT array[1, 2] || NULL::int даст {1,2,NULL}

Подозрительные типы

В PostgreSQL тоже нужно быть особенно внимательными с константами типа now (не путать с функцией now()!). К примеру, конструкция TIMESTAMP 'now' в качестве параметра для DEFAULT при создании таблицы будет всегда возвращать дату/время создания таблицы вместо текущего значения, и об этом в документации даже есть специальное предупреждение

Подозрительные типы

Да, вообще говоря, когда мы работаем с jsonb, мы работаем с индексированной внутри базы структурой, в которой порядок не обязательно будет соблюден. И хотя логично предположить, что сортировка будет по текстовому ключу, закладываться на это не стоит, так как в документации ничего об этом не говорится

Подозрительные типы

Есть такое. Еще не упомянул ряд примеров, скажем, попытку привести число 123456789 к типу REAL. Тоже будет сюрприз :)