Google выпустил новый язык программирования: зачем он нужен?

Богдан Мирченко

15.04.2021 15:47

Компания Google разработала новый язык логического программирования с открытым исходным кодом Logica. Это преемник существующего логического языка Google Yedalog. Он предназначен для манипулирования данными и транслирования программ в язык SQL.

Новый язык компилирует логическую программу в выражение SQL, чтобы ее можно было выполнять в усовершенствованном SQL-механизме в хранилище Google BigQuery. По заявлению создателей языка, Logica также включает экспериментальную поддержку PostgreSQL и SQLite.

Особенности языка:

Поддерживает чистые и многократно используемые механизмы абстракции, которых нет в SQL;
Можно использовать из интерактивной записной книжки Python;

Способен производить тестирование запросов;
Поддерживает модули и импорт;
Может работать прямо из интерактивной оболочки Jupyter Notebook.

Обычно языки логического программирования используют синтаксис математической логики высказываний, а не естественный (английский) язык. Logica расширяет классический синтаксис программированию с помощью агрегаций, отсюда и название языка:

Logica = Logic + Aggregation

Инженеры-программисты Google Константин Третьяков и Евгений Скворцов объясняют, что Logica более лаконичен и поддерживает чистые и многократно используемые абстракции, которых нет в SQL. Например, базовый запрос в коде Logica выглядит следующим образом:

MagicComment(comment_text:) :-

 `comments`(user_id:, comment_text:),

 user_id == 5;

А вот его эквивалент в SQL:

SELECT comment_text FROM comments WHERE user_id = 5;

Разработчики говорят, что Logica привносит удобочитаемость и передовые инженерные практики в запросы к базе данных, что упрощает их чтение. Также по их словам, Logica позволяет определять и повторно использовать подзапросы и функции.