6/1/2026 at 1:26:01 PM
by remywang
6/4/2026 at 4:24:58 PM
Julian Hyde (Apache Calcite author) has a side project called MorelMorel is an ML dialect that can compile set-producing expressions into bytecode that Calcite can execute against databases
Sort of like "If you could query anything with SQL but it's ML instead"
I bring this up because the example query looks very similar to Morel queries
Neat xample of solving a combinatorial optimization problem with a single query that he posted recently to Twitter:
by gavinray
6/4/2026 at 3:21:33 PM
> Prela queries are readable even to those new to the languageNot really, too many obscure symbols.
Certainly learnable but I wouldn't say immediately readable.
by anentropic
6/4/2026 at 5:18:13 PM
It seems to be assuming a familiarity with logic algebras in general. It's main operator is just the common math symbol for logical conjunction (∧) [0] and how familiar it feels versus how obscure it feels depends on your mathematical background (and how long it has been). But yeah, most programming languages tend to prefer operators like & or && or `and` for logical conjunction, so Prela chose the mathematical choice over the programming language choice. Which is perhaps easily explainable by Prela starting as trying to be a pure syntax of Relational Algebra [1] which does usually prefer the mathematical symbols, given it is the mathematical theory (underpinning things like SQL) for academic/mathematical discussion more than a working programming language. Though we live in a time of Unicode where that distinction starts to get blurry again and mathematical symbols are easier to use than prior eras without dedicated APL keyboards or things like that.by WorldMaker
6/4/2026 at 4:44:43 PM
SQL, JS, Excel are really hard to substitute because of how widely used they are by people. Even if something new comes up that it's objectively better, so far has always failed gaining traction because of this reality.I wonder though, is such a dialect better for agents? Have you tried to measure if an agent performs better expressing queries in such a language instead of SQL?
by cpard
6/4/2026 at 4:48:17 PM
Claude had no problem translating SQL into Prela, and because you have fine grained control over the query plan (a Prela query is a plan), it was able to optimize queries to be very fastby remywang
6/4/2026 at 4:56:22 PM
I'm more curious about going from text to Prela instead of going from text to SQL and measuring any difference in the performance there. On one hand models have been trained on a lot of SQL on the other hand they are really good in mathematical reasoning too so thinking in Perla might be a natural fit for them.by cpard
6/4/2026 at 5:38:16 PM
There are fewer foot guns in Prela in particular no NULLs which should help both humans and robots.by remywang
6/4/2026 at 4:52:47 PM
Having control over the execution plan is super interesting ! This is a very common frustration when writing SQL.Do you think it would be possible to offer Prela as a direct interface to a relational database?
by joelthelion
6/4/2026 at 5:36:35 PM
Yes, maybe not the language itself, but the ideas behind it. Tarski's Algebra of Relations is actually a better model for modern columns stores than the standard relational algebra, because a column is a binary relation from the primary key into its value.by remywang
6/4/2026 at 7:25:07 PM
It would be pretty easy to put a DuckDB data source into this code.It might be pretty easy to use overloading to get special case implementations that form SQL queries progressively until the results need to be materialized as something like a dataframe for the function code to work on.
by ted_dunning
6/4/2026 at 5:47:45 PM
The heading saying "Simple (SPJ)" caught my eye, because I'm not sure SPJ has ever talked about simplicity in an especially referenceable way. Were you thinking of Rich Hickey's "Simple made Easy", or did SPJ do a presentation I missed out on?by chowells
6/4/2026 at 5:51:54 PM
Select-Project-Join, not Simon Peyton Jones :)by remywang
6/4/2026 at 5:56:13 PM
Hah. Not sure I've ever seen relational algebra abbreviated that way, but yeah. It makes sense.by chowells