谷歌發(fā)布新編程語言，專治SQL各種“不服”
豐色 發(fā)自 凹非寺
量子位 報(bào)道 | 公眾號(hào) QbitAI
天下苦SQL久矣。
寫個(gè)查詢語句而已，動(dòng)不動(dòng)就上百行……
不過谷歌新推出的這個(gè)邏輯編程語言，對(duì)于“SQL黨”來說可謂是福音：
專治SQL語句的冗長(zhǎng)和它不擅長(zhǎng)的抽象機(jī)制 （abstraction mechanisms）。
它就是Logica。
（又有新語言了？“扶我起來，還能學(xué)”）
邏輯編程語言解決SQL的局限性
谷歌為什么要推出這樣一門新的編程語言？
有道是，“數(shù)據(jù)是新世紀(jì)的石油”。
SQL作為處理數(shù)據(jù)的通用語言，因?yàn)樗谧匀徽Z言的設(shè)計(jì)，好理解好入門，已流行了很多年，但，也并非完美無缺：
沒有將邏輯分成小塊的設(shè)計(jì)
沒有“模塊”和“導(dǎo)入”的概念
更沒有高級(jí)點(diǎn)的構(gòu)造（例如函數(shù)間的傳遞）
這就導(dǎo)致SQL對(duì)抽象的支持非常有限，就更不用說還要去維護(hù)那動(dòng)輒上百行的語句了。
有沒有好的解決方案呢？
市面上開發(fā)了很多可供大家選擇的數(shù)據(jù)庫查詢語言和相應(yīng)的庫。
其中，邏輯編程語言最能解決SQL的局限性。
邏輯編程語言Logica
Logica就是這樣一門邏輯編程語言。
何為邏輯編程？
邏輯編程是種編程典范，它設(shè)定答案須符合的規(guī)則來解決問題，而非設(shè)定步驟來解決問題，過程是事實(shí)+規(guī)則=結(jié)果。
Logica進(jìn)一步擴(kuò)展了經(jīng)典的邏輯編程語法，最顯著的是使用聚合，這也是這個(gè)名字的來源：Logic + Aggregation （聚合）。
Logica繼承自Yedalog（早期谷歌開發(fā)的一種語言），是一種類似數(shù)據(jù)日志（Datalog-like）的邏輯編程語言。Logica代碼可以編譯成SQL，可在谷歌BigQuery上運(yùn)行（也支持PostgreSQL和SQLite）：
支持SQL所缺乏的簡(jiǎn)潔和可重用的抽象機(jī)制
支持模塊和導(dǎo)入
甚至使測(cè)試查詢變得不再困難！
到底好不好用，上手體現(xiàn)便知結(jié)果。
下面是一個(gè)查找小于 30 的質(zhì)數(shù)的具體示例：
# 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
);
運(yùn)行結(jié)果：
$ logica primes.l run Prime
+-------+
| prime |
+-------+
| 2 |
| 3 |
| 5 |
| 7 |
| 11 |
| 13 |
| 17 |
| 19 |
| 23 |
| 29 |
+-------+
熱議：能否成為主流？
谷歌工程師們鼓勵(lì)大家積極嘗試Logica。
很多人很高興看到Google推出的這樣一門新的邏輯編程語言，但表示被主流采用還有很長(zhǎng)的路要走。
正如很多網(wǎng)友都有一些質(zhì)疑：
有人認(rèn)為L(zhǎng)ogica沒有真的做到轉(zhuǎn)SQL，只是用了作為虛擬機(jī)的解釋器動(dòng)態(tài)“翻譯”的。
還有人覺得這不是通常意義的邏輯編程，僅僅搞了搞數(shù)據(jù)庫查詢。
并且還會(huì)帶來依賴問題。
但他們都表示可能是對(duì)Logica了解得不夠深入。
只有一個(gè)人的關(guān)注點(diǎn)是這個(gè)新編程語言的名字和一家公司撞名了
最后，項(xiàng)目已開源，參見鏈接[2]。（有頭發(fā)的）朋友們可以自己嘗試一下！
參考鏈接：
[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