Systems and Delays

Solving the 1+N query problem

The N+1 query problem occurs when an ORM's object-access syntax silently triggers separate database queries in a loop, deoptimizing what should be a single join. Acadia, a new query language by Evan Czaplicki, eliminates this entirely by design: it has no for loops and no recursion, drawing inspiration from Datalog (a recursion-free subset of Prolog from the 1970s). This restriction guarantees not only that N+1 queries are impossible, but that every Acadia query terminates, and terminates in polynomial time relative to the data size. The post walks through pl/pgSQL and GraphQL examples showing how Turing-complete looping constructs enable the problem, then shows Acadia's intersect-based syntax as the alternative, along with the SQL it compiles to.

Road to Elm 1.0

Bản phát hành Elm 0.19.2 cải thiện hiệu suất trình biên dịch với giảm 20% sao chép GC, 10% bộ nhớ đỉnh thấp hơn và biên dịch nhanh hơn 7%, cùng tốc độ build tăng tới 1.9x trong dự án thực tế. Đây là bước đầu tiên hướng tới Elm 1.0, với các tính năng sắp tới như kiểu dữ liệu so sánh được (equatable) và có thể hash (hashable).

Là người phát triển Elm muốn tối ưu hiệu suất dự án hiện tại hoặc chuẩn bị chuyển sang Elm 1.0, bài viết này sẽ giúp bạn hiểu rõ cách cải thiện hiệu suất biên dịch, giảm thiểu chi phí CPU/ram và chuẩn bị sẵn sàng cho các tính năng mới như equatable và hashable trong tương lai.

Rethinking Database Programming

Evan Czaplicki, tác giả của Elm, giới thiệu Acadia - công cụ lập trình cơ sở dữ liệu mới ở giai đoạn public alpha, biên dịch ngôn ngữ truy vấn dạng functional (giống Elm, sử dụng map/filter và let-bindings) thành SQL. Acadia hướng tới kiểm soát chặt chẽ kiểu dữ liệu xuyên suốt client, server và database, hỗ trợ migrations được xác minh bởi compiler cùng thông báo lỗi thân thiện, hiện tương thích với Elm và Haskell, chạy trên SQLite. Dự án bắt nguồn từ nghiên cứu năm 2020 với Tereza Sokol nhằm giải quyết vấn đề mất kiểu dữ liệu giữa Elm và SQL.

Lập trình viên muốn xây dựng ứng dụng có tính nhất quán về kiểu dữ liệu và bảo mật cơ sở dữ liệu mà không phải đối mặt với lỗi kiểu SQL và Elm không tương thích thường xuyên.