I think an important benefit of a good ORM is to reduce the translations that you have to do between your mental model of the data and what you are trying to do with the data.<p>Before I started working a lot with SQL, ORMs fit my mental model better since I was more used to imperative programming languages and I thought they were easier to work with.<p>Now that I am very comfortable with SQL, I have to translate an ORM into the SQL that it would produce. So now they just add another step in between me and the data
The point of Prela is exactly to remove that step of indirection, it gives you ORM ergonomics but compiles directly to operations on the physical columns, skipping SQL. At least for me I find it easier to think in Prela than to think in SQL, especially for complex queries, and I believe you’ll feel the same with some practice.
Very interesting. I'm not very fluent in SQL, so it would have been helpful to see some more side by side examples. (Since Prela seems a lot more ergonomic!)<p>Though maybe a reader fluent in SQL can compare them mentally on the fly?
At the bottom is the actual code for the "language", which is only 79 lines.<p>I found it helpful to read it first and then go back to the article. (On my initial reading I was like, "okay, but what is a Rel?")<p><a href="https://github.com/remysucre/prela/blob/main/tutorial/prela.py" rel="nofollow">https://github.com/remysucre/prela/blob/main/tutorial/prela....</a>
Examples don't show much more composability comparing to SQL. Even more Prela is heavily based on tuples and has same operation semantics as SQL.<p>Shameless plug: <a href="https://github.com/baverman/sqlbind-t" rel="nofollow">https://github.com/baverman/sqlbind-t</a>
Compositionality is hard to show with a small example because it really only comes through at scale.<p>If anyone can point me to a huge SQL query, I’ll take it up as a challenge to rewrite in Prela!<p>Prela’s semantics is based on an algebra of binary relations (unfortunately called <i>relation</i> algebra [1]), not the standard <i>relational</i> algebra.<p>[1]: <a href="https://arxiv.org/abs/2607.26356" rel="nofollow">https://arxiv.org/abs/2607.26356</a>
Looks a lot like 6NF (<a href="https://en.wikipedia.org/wiki/Sixth_normal_form" rel="nofollow">https://en.wikipedia.org/wiki/Sixth_normal_form</a>)
Cool language! I thought dplyr and datalog are both local optima (forget about the three-letter abomination) but I now declare this language the global optimum of query language.<p>> In contrast, Prela can be implemented extremely close to the metal. The Rust implementation inlines operators and compiles them into tight fused loops over raw arrays, running several times faster than DuckDB even without a query optimizer.<p>This will be true in Common Lisp as well. Now someone just have to implement it.<p>Or maybe I should steal the syntax and compile to SQL first, just so people can use existing DBMS.
Interesting concept which reminds of the operations available in pandas.<p>I disagree though with the statement of SQL needing 20 lines. The given query feels verbose and has lots of redundant conditions. Not saying that it is short but a better analogy could look like this:<p>SELECT DISTINCT an.name, t.title<p>FROM keyword k<p>JOIN movie_keyword mk ON mk.keyword_id = k.id<p>JOIN title t ON t.id = mk.movie_id<p>JOIN movie_companies mc ON mc.movie_id = t.id<p>JOIN company_name cn ON cn.id = mc.company_id<p>JOIN cast_info ci ON ci.movie_id = t.id<p>JOIN aka_name an ON an.person_id = ci.person_id<p>WHERE k.keyword = 'character-name-in-title' AND cn.country_code = '[us]';
I'm afraid I'm in the "uses column store" and not "understands the actual storage mechanisms", but this feels like something that's essentially the same thing?<p>Yes, I could ask my local AI, I'm just curious if anyone here's wondering the same thing.
am i the only one who's not afraid of sql taking up lines? sql thats formatted well is beautiful to read my brain enjoys it. it's way easier to read sql in terms of "what resultset is this trying to build" then it is to pick apart some fluent api lookin orm on top of sql
I am in that club. As someone who quite enjoys writing sql but does not like the big sql strings intermingled in the rest of the code I even wrote a clever little python library that loads the queries from files as a function call, that is, you have a file with a pure sql query with parameterized variables and you call it like "for row in sql.video_search(title_like='bridge', date_after='1964-1-1', date_before='1975-1-1')" Nowhere near an orm, everything just produces a result set.<p>I am sure there are many projects like it, I suspect it is like static site generators and notekeeping apps, easy enough that everybody just makes their own. But this one is mine, and I have grown quite fond of it and use it in all my scripts. It is a little more magic than I am normally comfortable with. dynamic function generation is a bit of a black art, but having each query as it's own callable unit is super handy.
I also work on this are (<a href="https://tablam.org" rel="nofollow">https://tablam.org</a>) and have used languages where this weird, poorly developed language SQL was not the main interface (FoxPro).<p>Think on this: You imagine yourself writing a regular website with ONLy sql? no, because SQL is <i>not</i> a "programming language" for developers.<p>Is possible you could think in various ideas about why is "nonsensical" to make an app with a relational language (that SQL clearly is not) but is the same as with OOP or functional: there is not reason to be a problem, and there is a lot of things that will be far easier if a proper relational language is used, like for example, is unnecessary and ORM and/or is not complicated and confusing to make one.
I'm in this boat, especially if you're language supports multi-line strings
People don't use SQL because it's a good language
this is utterly fascinating.<p>thinking of LLM usage... it's so close to how LLMs think anyway, vector similarity also being a binary relation. LLM stops blindly guessing SQL and instead starts navigating data straight away.