Mangle – a language for deductive database programming

103•simonpure•5mo ago

Comments

Pxtl•5mo ago

Anybody who replaces the hoary old albatross of SQL without throwing out the relational algebra baby with the bathwater gets my support. I hope this goes far.

jauntywundrkind•5mo ago

I'm unconvinced the syntax makes a genuine difference. But always interesting to see what folks come up with!

Some notable others:

PreQL/Trilogy - https://github.com/trilogy-data/pytrilogy https://news.ycombinator.com/item?id=40728938

Malloy -https://www.malloydata.dev/ https://github.com/malloydata/malloy https://news.ycombinator.com/item?id=30053860

PRQL - https://prql-lang.org/ https://github.com/PRQL/prql https://news.ycombinator.com/item?id=36866861

anonzzzies•5mo ago

> I'm unconvinced the syntax makes a genuine difference

Syntax not, but datalog (-ish) does. It's a more natural way (imho of course) to query data. Far more complex queries with less mental overload.

pbowyer•5mo ago

EdgeQL - https://www.geldata.com/showcase/edgeql

Pxtl•5mo ago

SQL's shortcomings aren't just syntax and the convention of SCREAMING KEYWORDS. There's the lack of algebraic types (particularly galling given the bizarre three-value boolean algebra created by its strange null-handling), the poor composability (why is creating a reusable predicate filter so hard?), the lack of any coherent module system, etc.

The fact that something as simple as a tree is such a nuisance in a "relational" database is ludicrous.

Onavo•5mo ago

This is what? The third logic/datalog family query language Google launched? What's the internal story? Does each department have their own query engine?

yorwba•5mo ago

"This is not an officially supported Google product." For all we know, this is just some people having fun, but because they're having their fun at Google, it needs to be open-sourced under the Google umbrella.

diggan•5mo ago

> because they're having their fun at Google

I think it's even worse, even stuff they do in their freetime have to be under the Google umbrella if they want to open-source it, just because they work during the daytime at Google.

riku_iki•5mo ago

Does it depend on jurisdiction? In California, they are free to do whatever they want if they don't compete with employer (a little bit hard in case of Google of course)

nylonstrung•5mo ago

No, big tech has restrictive CIIA agreements that apply in California too

hobofan•5mo ago

Which are the other ones that come to your mind?

I know of PathQuery[0], but that one doesn't have an open source implementation and is much more inspired by Graph query languages than SQL.

[0]: https://arxiv.org/abs/2106.09799

cess11•5mo ago

Perhaps they have https://logica.dev/ in mind. I think it's more restricted.

tomsmeding•5mo ago

Which is, in fact, linked in the readme of this project.

business_liveit•5mo ago

I wanna know what's the difference between the mysql and mangel?

tomsmeding•5mo ago

I suggest you read the linked readme. ;)

business_liveit•5mo ago

ok...

albert_e•5mo ago

Is this the same "Deductive Database" mathematical programming language of Google DeepMind mentioned in the latest 3b1b guest video by Aleph0 (where they say the language doesnt have a name yet)

https://youtu.be/4NlrfOl0l8U?t=4m8s

haolez•5mo ago

I haven’t worked closely with Datalog, but whenever I come across tools that use it, they always seem to extend vanilla Datalog (like this one).

Are there any notable implementations of plain Datalog? If not, what’s the reason? Does vanilla Datalog have major limitations? Just curious.

jauco•5mo ago

I think it’s similar to how every sql implementation adds their own extensions.

But iirc datomic came with a quite vanilla datalog implementation.

They were drawn to Korea with dreams of K-pop stardom – but then let down

Show HN: AI-Powered Merchant Intelligence

Bash parallel tasks and error handling

Let's compile Quake like it's 1997

Reverse Engineering Medium.com's Editor: How Copy, Paste, and Images Work

Go 1.22, SQLite, and Next.js: The "Boring" Back End

Laibach the Whistleblowers [video]

Slop News - HN front page right now hallucinated as 100% AI SLOP

Economists vs. Technologists on AI

Life at the Edge

RISC-V Vector Primer

Show HN: Invoxo – Invoicing with automatic EU VAT for cross-border services

A Tale of Two Standards, POSIX and Win32 (2005)

Ask HN: Is the Downfall of SaaS Started?

Flirt: The Native Backend

OpenAI's Latest Platform Targets Enterprise Customers

Goldman Sachs taps Anthropic's Claude to automate accounting, compliance roles

Ai.com bought by Crypto.com founder for $70M in biggest-ever website name deal

Big Tech's AI Push Is Costing More Than the Moon Landing

The AI boom is causing shortages everywhere else

Suno, AI Music, and the Bad Future [video]

Ask HN: How are researchers using AlphaFold in 2026?

Running the "Reflections on Trusting Trust" Compiler

Watermark API – $0.01/image, 10x cheaper than Cloudinary

Now send your marketing campaigns directly from ChatGPT

Queueing Theory v2: DORA metrics, queue-of-queues, chi-alpha-beta-sigma notation

Show HN: Hibana – choreography-first protocol safety for Rust

Haniri: A live autonomous world where AI agents survive or collapse

GPT-5.3-Codex System Card [pdf]

Atlas: Manage your database schema as code