URL: https://www.opennet.dev/cgi-bin/openforum/vsluhboard.cgi
Форум: vsluhforumID3
Нить номер: 123933
[ Назад ]
Исходное сообщение
"Google опубликовал язык логического программирования Logica"
Отправлено opennews , 13-Апр-21 13:54 
Компания Google представила новый декларативный язык логического программирования Logica, предназначенный для манипулирования данными и транслирующий программы в язык SQL.  Новый язык ориентирован на тех, кто хочет использовать синтаксис логического программирования при  написании запросов к БД.  В настоящее время результирующий SQL-код может выполняться в хранилище Google BigQuery  или в СУБД PostgreSQL и SQLite, поддержка которых пока является экспериментальной. В будущем планируется расширить число поддерживаемых SQL-диалектов. Код проекта написан на языке Python и опубликован под лицензией Apache 2.0...

Подробнее: https://www.opennet.dev/opennews/art.shtml?num=54960

Содержание
Сообщения в этом обсуждении
"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 13-Апр-21 13:54 
Ни тепло, ни холодно.
"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 13-Апр-21 13:57 
Спасибо за ваше экспертное мнение
"Google опубликовал язык логического программирования Logica"
Отправлено КО , 13-Апр-21 14:44 
У! У! Я тоже могу! Я ничего не понял, но вроде говно!
"Google опубликовал язык логического программирования Logica"
Отправлено VladSh , 13-Апр-21 15:01 
Всё верно, только не вроде.
"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 13-Апр-21 15:24 
не вроде - это про вас
"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 14-Апр-21 07:07 
зависть


"Google опубликовал язык логического программирования Logica"
Отправлено Nuzhny , 13-Апр-21 15:10 
Это про погоду в Питере. А по новости есть что?
"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 13-Апр-21 13:57 
Хоть он и Евгений Скворцов, но синтаксис языка получился как у сумрачного гения.... Слишком сурово для екатеринбуржца....
"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 13-Апр-21 14:01 
Синтаксис раст напоминает. Раз раст все любят, то и тут найдутся пользователи.
"Google опубликовал язык логического программирования Logica"
Отправлено Аноним84701 , 13-Апр-21 14:58 
> Синтаксис раст напоминает. 


> Here is an example of a simple aggregation counting employees per role.
Employee(name: "Alice", role: "Product Manager", office: "SEA");
Employee(name: "Bob", role: "Engineer", office: "SEA");
Employee(name: "Caroline", role: "Engineer", office: "LAX");
Employee(name: "David", role: "Data Scientist", office: "LAX");
Employee(name: "Eve", role: "Data Scientist", office: "SEA");
ByRoleCount(role:, count? += 1) distinct :- Employee(role:);
...
     role     count
0     Product Manager     1
1     Engineer            2
2     Data Scientist      2

Угу. Буквы очень похожи.
"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 13-Апр-21 15:32 
К чему эта портянка? В расте нельзя такие портянки писать?
"Google опубликовал язык логического программирования Logica"
Отправлено Аноним84701 , 13-Апр-21 22:26 
> К чему эта портянка?

Это для умеющих читать не только твиты (при этом еще и понимая прочитанное) и хотя бы краем глаза видевших rust.
В общем, похоже получилась опять  дискриминация бедных анонимов по интеллектуальному признаку. Увы.

> Синтаксис раст напоминает
> В расте нельзя такие портянки писать?

А разве аноним не должен сам знать, раз уж он так смело и так уверенно заявил, что "Синтаксис раст напоминает"?  

"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 14-Апр-21 13:57 
Ну а ты с ходу начал тешить своё чсв (было бы чем) и перешёл к ad hominem. Если где-то есть дно то ты его пробиваешь ещё до того как сказал первое слово. И это не ответ, закорючки никуда не делись.
"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 13-Апр-21 15:50 
слишком много смайликов:

:, ? += :- :)

"Google опубликовал язык логического программирования Logica"
Отправлено погромизд , 14-Апр-21 00:08 
Пролог же
"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 13-Апр-21 13:57 
В чем логика, большой брат?
"Google опубликовал язык логического программирования Logica"
Отправлено Леголас , 13-Апр-21 16:47 
Python, Python everywhere...
"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 13-Апр-21 14:01 
SQL понятнее.
Вообще все открытые гуглом коды такие - не понятно ни черта.
"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 14-Апр-21 11:57 
Конечно понятнее. Ты же его уже выучил, а этот язык ты не знаешь.
"Google опубликовал язык логического программирования Logica"
Отправлено danonimous , 13-Апр-21 14:06 
Персоной Лос-Анжелеса интересовались больше, чем Путиным. Либо это баг в программе, либо заговор.
"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 13-Апр-21 14:15 
Какое наглое покушение на логику. Теперь у всех в головах будет каша из языка и реальной логики. Поднагадили так поднагадили.
"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 13-Апр-21 14:50 
Они ещё радугу отфидорили
"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 13-Апр-21 15:27 
> Теперь у всех в головах будет каша

и только иксперты опеннет не заметят никаких изменений

"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 17-Апр-21 00:23 
Звучит как преимущество.
"Google опубликовал язык логического программирования Logica"
Отправлено DIO , 13-Апр-21 14:23 
prolog попытка номер два?
"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 13-Апр-21 16:31 
Нет, это другое
"Google опубликовал язык логического программирования Logica"
Отправлено mos87 , 13-Апр-21 14:40 
гугель и логика? ноувей)

вообще щитаю миру нужен нормальный процедурный SQL а не это убожество псевдо-декларативное (навеяло ключевыми словами)

"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 13-Апр-21 14:44 
К твоим услугам куча опенсорсных орм, если чего-то не хватает - добавь, исправь.
Да, мне тоже лень
"Google опубликовал язык логического программирования Logica"
Отправлено mos87 , 13-Апр-21 14:45 
прослойка под названием скуль тогда зачем
лучший ОРМ это свой есессно.
"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 13-Апр-21 18:34 
Хватит уже путать орм с кверибилдерами.
"Google опубликовал язык логического программирования Logica"
Отправлено adolfus , 16-Апр-21 14:15 
SQL не процедурный, а декларативный. Процедурный -- это то, что поддерживает операции add, del, set, next, prev, get, put, del.
"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 13-Апр-21 14:48 
>> Написание сложных запросов на SQL приводит к необходимости написания громоздких многострочных цепочек

А может оставить как есть, потому что так надо?
Код или короткий или быстрый.
Просто "оптимизаторы" иногда проигрывают в 20 раз ручному запросу.
Хочешь быстро - пиши руками.
Хочешь коротко - возьми Пролог.

А тут "в чём смысл, где логика".

"Google опубликовал язык логического программирования Logica"
Отправлено Додо , 13-Апр-21 15:30 
Если коротко, то тогда уж KBD+/Q. И быстро заодно. Разве что код нечитаем :)
"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 13-Апр-21 16:44 
Одни и те же данные можно выбрать разными запросами
При чем тут платформа?
"Google опубликовал язык логического программирования Logica"
Отправлено Скульщик со стажем , 13-Апр-21 14:59 
Тут наоборот сложнее читать, синтаксис задом наперед, а все равно перечислять все условия. И сложные аналитические запросы, которые порой только с хинтами можно вытащить, тут как...
"Google опубликовал язык логического программирования Logica"
Отправлено ptr128 , 13-Апр-21 15:10 
> невозможно передать функции функцию

А динамический SQL на что? В случае же PostgreSQL, передать функции на PL/Perl (Python, R и т.п.) имя функции в параметрах - вообще проблем не представляет

"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 13-Апр-21 15:19 
То не ими сделано.
"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 13-Апр-21 16:04 
Тот же sqlite элементарно расширяется сторонними функциями.
Я так в одном проекте прикрутил к нему функции на лиспе (так надо было).
"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 14-Апр-21 09:53 
Тим лид: зачем ты прикрутил к нему функции на Лиспе?!!
Я: (так надо было)
"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 14-Апр-21 21:29 
(так (надо (было)))
"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 15-Апр-21 12:36 
(было (надо так))
"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 13-Апр-21 15:24 
По крайней мере теперь понятно, на какую логику опирается гугл в своих решениях.
"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 13-Апр-21 16:12 
Чтобы только они разбирались и пилили, и их спецы. Столько спецсимволов жесть.
"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 13-Апр-21 15:45 
Ждем первых новостей "В Logica гугла было найдено несколько уязвимостей".
"Google опубликовал язык логического программирования Logica"
Отправлено Док , 13-Апр-21 15:46 
Хрен редьки не слаще
"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 13-Апр-21 16:27 
Нафиг питон. Даешь нативную поддержку в постгрю!
"Google опубликовал язык логического программирования Logica"
Отправлено Аноним Анонимович Анонимов , 13-Апр-21 17:52 
> Написание сложных запросов на SQL приводит к необходимости написания громоздких многострочных цепочек

Вместо SQL можно подставить любую аббревиатуру. За то деньги и получают. Остальные же подрбные вещи именуют синтаксическим сахаром.

Что забавно, sql ведь разработали специально для менеджеров. Им оказалось сложно, программистам теперь сложно... сколько лет пишем портянки запросов и ничего, как-то умудряемся ключевые слова подсвечивать, переносы делать...

Какую только чушь не придумают внутри корпорации, чтобы кто-то сохранил свой пост и десяток другой ничем не занятых программистов.

"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 13-Апр-21 18:00 
Тогда программисты программировали на ассемблере и си, менеджеры тоже были другие. А сейчас гендерно-нейтральный менеджмент и программисты, которых учили на питоне, считающие, что это язык общего назначения.
"Google опубликовал язык логического программирования Logica"
Отправлено Аноним Анонимович Анонимов , 13-Апр-21 18:33 
Самое забавное, что наиграются, посмотрят, что не взлетает и заявят: ну, пожалуй да, лишняя абстракция ни к чему.

За 30, или сколько там, лет, что существуют регулярные выражения, народ так ничего проще и удобнее не придумал. Сколько попыток было, но к всеобщему счастью неосиляторы собрались и выучили их.

Добрались до SQL. Не ровен час и до математических операторов доберутся. С этими символами: +*/- явно что-то не так, странно выглядят и не совсем логичные действия выполняют.

"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 14-Апр-21 00:17 
> Самое забавное, что наиграются, посмотрят, что не взлетает и заявят: ну, пожалуй да, лишняя абстракция ни к чему

Только смузихлеб-разработчик ненужной абстракции сначала станет иконой стиля, будет колесить по миру и учить неосиляторов своей ограниченной но модной технологии, будет считаться гуру за кучу денег и сможет в гугле ничего не делать кроме своего ненужно.
Потом он сам же заявит что его детище было ошибкой, уйдет в стартап пилить тот же ненужно за большую кучу денег, но с чуть меньшим количеством абстракций.
Потом найдет новый модный язык и захочет все переписать на нем.
В общем все как с nodejs.

"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 14-Апр-21 09:54 
и не только. Столбят и захватывают территорию, как плесень.
"Google опубликовал язык логического программирования Logica"
Отправлено Ordu , 15-Апр-21 11:13 
> Что забавно, sql ведь разработали специально для менеджеров.

Ну дык а logica, явно не для менеджеров, а для исследователей, чтобы тем было удобнее ковыряться в big data, которую собрал на тебя гугл.

"Google опубликовал язык логического программирования Logica"
Отправлено Маняним , 13-Апр-21 18:37 
А если заменить :- на ->, то получится новый декларативный язык функционального программирования.
"Google опубликовал язык логического программирования Logica"
Отправлено kissmyass , 13-Апр-21 19:21 
> Написание сложных запросов на SQL приводит к необходимости написания громоздких многострочных цепочек, не очевидных для восприятия,

@OrderBy(Mentions, "mentions desc");
   @Limit(Mentions, 10);
   Mentions(person:, mentions? += 1) distinct :-
     gdelt-bq.gdeltv2.gkg(persons:, date:),
     Substr(ToString(date), 0, 4) == "2020",
     the_persons == Split(persons, ";"),
     person in the_persons;

А вот это все прям очевидно, да?
Никаких улучшений нет, очередной синтаксис, требующий изучения.

"Google опубликовал язык логического программирования Logica"
Отправлено Урри , 13-Апр-21 20:30 
Просто очередной неосилятор решил сделать свой метаязык, чтобы не осиливать.

Интересно другое - как гугл дал этому добро? Неужели дешевле потратиться на неосиляторов, чем выгнать их к едренефене и нанять специалиста?

"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 13-Апр-21 20:29 
sql не логичный для восприятия лишь тем, кто с ним толком не работал.
"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 13-Апр-21 21:55 
Синтаксис SQL то ещё днище, но автор сабжего поделия умудрился сделать ещё хуже.
"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 13-Апр-21 22:10 
Откуда взялось имя колонки "mentions_count"?
В запросе его нет.
Едалог такой едалог.
"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 14-Апр-21 01:05 
подозреваю, собака где-то здесь:

(person:, mentions? += 1)

именно тут: += 1

А вот за такое: Substr(ToString(date), 0, 4) == "2020" надо все руки повырывать.

"Google опубликовал язык логического программирования Logica"
Отправлено Дмитрий , 14-Апр-21 06:29 
Не надо.
Потом они позовут меня для оптимизации, я оптимизирую не напрягаясь и все счастливы. :)
"Google опубликовал язык логического программирования Logica"
Отправлено kai3341 , 14-Апр-21 00:32 
> Написание сложных запросов на SQL приводит к необходимости написания громоздких многострочных цепочек, не очевидных для восприятия, мешающих повторному использованию частей запроса и затрудняющих сопровождение.

Когда-нибудь автор этих строк откроет для себя SQLAlchemy

"Google опубликовал язык логического программирования Logica"
Отправлено Гость 82 , 15-Апр-21 07:54 
> SQLAlchemy

Пионерское говно. До того же гибернейта/доктрины ему как до Китая раком.

"Google опубликовал язык логического программирования Logica"
Отправлено kai3341 , 15-Апр-21 14:42 
>> SQLAlchemy
> Пионерское говно. До того же гибернейта/доктрины ему как до Китая раком.

https://stackoverflow.com/questions/48735927/jpa-hibernate-p...
Пнятно. Raw SQL можно и без ORM

"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 14-Апр-21 06:52 
>   | los angeles    |        1078412 |

У Славы Кпсс появился наконец достойный конкурент :)

"Google опубликовал язык логического программирования Logica"
Отправлено Анимус , 14-Апр-21 07:38 
Google просто коллекционер языков какой-то.
"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 15-Апр-21 02:29 
Сидят "умные" манагеры и думают: "Вот сменим язык - и заживём!".
"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 14-Апр-21 07:42 
т.е. вместо SQLя который практически дословно русский язык, предлагается вот такое

@OrderBy(Mentions, "mentions desc");
   @Limit(Mentions, 10);
   Mentions(person:, mentions? += 1) distinct :-
     gdelt-bq.gdeltv2.gkg(persons:, date:),
     Substr(ToString(date), 0, 4) == "2020",
     the_persons == Split(persons, ";"),
     person in the_persons;

???

Я гугль перестал уважать после протобуфа. А последующие Дарты, Го и пр. лишь подтвердили мой личный вывод

"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 14-Апр-21 16:10 
А чем протобуф-то чем плох?
Разве что, конечно, часто его пихают туда, где он явно избыточен
"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 14-Апр-21 07:44 
кстати, видно что пытаются переизобрести Datalog. Хуже программистов чем в гугле - нигде не найдешь. После божественного 365 сижу на их документах - такого г--на никогда не видел
"Google опубликовал язык логического программирования Logica"
Отправлено lockywolf , 14-Апр-21 12:35 
Что бы им просто miniKanren не взять?
"Google опубликовал язык логического программирования Logica"
Отправлено Anon1111nn , 14-Апр-21 16:01 
Самая удобная прокладка по sql имхо, linq.
"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 14-Апр-21 17:37 
То ты мало работал с базами. По факту приходишь к тому что все запросы хранятся в STP, а вызывать их лучше всего из максимально легковесной прокладки типа Dapper. Уж поверь.
"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 14-Апр-21 18:12 
Плохие новости. Я не могу сделать лексер для Logica к Sublime, к CudaText, потому что в репо языка нету файлов на языке. Там есть файлы ipynb в некоем json которые видимо для PythonNotebook, и там есть включения на Логика, но фалов Логика не нашел.
"Google опубликовал язык логического программирования Logica"
Отправлено Аноним , 14-Апр-21 23:51 
моя твоя не понимать
"Google опубликовал язык логического программирования Logica"
Отправлено Евгений , 15-Апр-21 04:34 
Файлы на языке есть тут:
https://github.com/EvgSkv/logica/tree/main/integration_tests
Это файлы с расширением ".l"

Если будут ещё какие-то вопросы, милости просим в Дискуссии:
https://github.com/EvgSkv/logica/discussions

"Google опубликовал язык логического программирования Logica"
Отправлено PetrG , 15-Апр-21 14:21 
Я удивился что в тексте новости Datalog вообще не упоминается.
Хотя в описании по ссылке это есть "Logica is a language of the Datalog family."