谷歌发布新编程语言，专治SQL各种“不服”

关注

转载最新推荐文章于 2026-01-21 09:44:43 发布 197 阅读 AI 写同款· GEO 优化 ›

Google最近发布新型的编程语言，Go资料 Google最近发布新型的编程语言，Go。它被设计为将现代编程语言的先进性带入到目前仍由C语言占统治地位的系统层面。然而，这一语言仍在试验阶段并在不断演变。 Go语言的设计者计划设计一门简单、高效、安全和并发的语言。这门语言简单到甚至不需要有一个符号表来进行词法分析。它可以快速地编译；整个工程的编译时间在秒以下的情况是常事。它具备垃圾回收功能，因此从内存的角度是安全的。它进行静态类型检查，并且不允许强制类型转换，因而对于类型而言是安全的。同时语言还内建了强大的并发实现机制。立即下载

本文经AI新媒体量子位（ID：QbitAI）授权转载，转载请联系出处
丰色发自凹非寺

天下苦SQL久矣。

写个查询语句而已，动不动就上百行……

不过谷歌新推出的这个逻辑编程语言，对于“SQL党”来说可谓是福音：

专治SQL语句的冗长和它不擅长的抽象机制 （abstraction mechanisms）。

它就是Logica。

（又有新语言了？“扶我起来，还能学”）

逻辑编程语言解决SQL的局限性

谷歌为什么要推出这样一门新的编程语言？

有道是，“数据是新世纪的石油”。

SQL作为处理数据的通用语言，因为它基于自然语言的设计，好理解好入门，已流行了很多年，但，也并非完美无缺：

没有将逻辑分成小块的设计
没有“模块”和“导入”的概念
更没有高级点的构造（例如函数间的传递）

这就导致SQL对抽象的支持非常有限，就更不用说还要去维护那动辄上百行的语句了。

有没有好的解决方案呢？

市面上开发了很多可供大家选择的数据库查询语言和相应的库。

其中，逻辑编程语言最能解决SQL的局限性。

逻辑编程语言Logica

Logica就是这样一门逻辑编程语言。

何为逻辑编程？

逻辑编程是种编程典范，它设定答案须符合的规则来解决问题，而非设定步骤来解决问题，过程是事实+规则=结果。

Logica进一步扩展了经典的逻辑编程语法，最显著的是使用聚合，这也是这个名字的来源：Logic + Aggregation （聚合）。

Logica继承自Yedalog（早期谷歌开发的一种语言），是一种类似数据日志（Datalog-like）的逻辑编程语言。Logica代码可以编译成SQL，可在谷歌BigQuery上运行（也支持PostgreSQL和SQLite）：

支持SQL所缺乏的简洁和可重用的抽象机制
支持模块和导入
甚至使测试查询变得不再困难！

到底好不好用，上手体现便知结果。

下面是一个查找小于 30 的质数的具体示例：


# Define natural numbers from 1 to 29.
N(x) :- x in Range(30);
# Define primes.
Prime(prime: x) :-
  N(x),
  x > 1,
  ~(
    N(y),
    y > 1,
    y != x,
    Mod(x, y) == 0
  );

运行结果：


$ logica primes.l run Prime
+-------+
| prime |
+-------+
|     2 |
|     3 |
|     5 |
|     7 |
|    11 |
|    13 |
|    17 |
|    19 |
|    23 |
|    29 |
+-------+

热议：能否成为主流？

谷歌工程师们鼓励大家积极尝试Logica。

很多人很高兴看到Google推出的这样一门新的逻辑编程语言，但表示被主流采用还有很长的路要走。

正如很多网友都有一些质疑：

有人认为Logica没有真的做到转SQL，只是用了作为虚拟机的解释器动态“翻译”的。

还有人觉得这不是通常意义的逻辑编程，仅仅搞了搞数据库查询。

并且还会带来依赖问题。

但他们都表示可能是对Logica了解得不够深入。

只有一个人的关注点是这个新编程语言的名字和一家公司撞名了

最后，项目已开源，参见链接[2]。有兴趣（有头发的）的朋友可以自己尝试一下！

参考链接：

[1]https://opensource.googleblog.com/2021/04/logica-organizing-your-data-queries.html
[2]https://github.com/EvgSkv/logica
[3]https://news.ycombinator.com/item?id=26805121
[4]https://www.163.com/dy/article/G7GCQN3G0511FQO9.html

--- EOF ---

点这里????关注我，记得标星呀～
长按进入小程序，进行打卡签到小程序送书福利更新啦！
（更多精彩值得期待……）
最近热文：国内大神成功给手机装上了 Win11，代码已开源！
最强代码生成器平台，杀疯了~
基于 SpringBoot + Vue 实现的可视化拖拽编辑的大屏项目
2021年7月程序员薪资出炉，平均15302元

2T技术资源大放送！包括但不限于：C/C++，Linux，Python，Java，人工智能，考研，软考，英语，等等。在公众号内回复「资源」，即可免费获取！回复「社群」，可以邀请你加入读者群！
❤️给个「在看」，是对我最大的支持❤️