Google annuncia il linguaggio di programmazione logico: Logica

Questa settimana Google ha annunciato il linguaggio di programmazione open source Logica. È progettato per compilare in SQL ed essere eseguito su Google BigQuery con supporto sperimentale per PostgreSQL e SQLite.

Secondo l’azienda, questo linguaggio è SQL.. Le sfide di codifica che utilizzano SQL spesso includono la scrittura di dichiarazioni da lunghe catene di parole inglesi e un supporto limitato per le astrazioni. Testare le query SQL sembra piuttosto esoterico per la maggior parte degli ingegneri, quindi anche SQL viene raramente testato.

Per risolvere queste sfide, Logic è stato creato come un linguaggio conciso che supporta moduli e importazioni supportando al contempo il meccanismo di astrazione pulito e riutilizzabile che manca a SQL.

Linguaggi di programmazione logica: utilizzare la sintassi della logica proposizionale matematica invece dell’inglese naturale per risolvere i problemi SQL. Un linguaggio formale della logica è stato progettato dai matematici per facilitare la rappresentazione di affermazioni complesse ed è molto più adatto a questo scopo rispetto al linguaggio naturale”, hanno affermato Konstantin Tretyakov ed Evgeny Skvortsov del progetto open source Logica. È scritto come. Post sul blog.. “Logica estende ulteriormente la sintassi di programmazione logica classica, in particolare utilizzando l’aggregazione.”

SQL funziona nei linguaggi di programmazione logici, come le relazioni, Logica, che è un insieme di righe, ma la programmazione analogica delle relazioni è un predicato e il predicato funge da condizione logica per descrivere le righe di relazioni, spiega Google. Fatto.

“Logica offre alle query tecniche di ingegneria leggibili e buone comuni ai linguaggi come Python, C ++ e Java”, ha affermato il progetto. tutorial..

Gli utenti possono leggere le query, riutilizzare le sottoquery, testare le query e, con l’integrazione di CoLab, gli utenti possono eseguire query singole o multiple (potenzialmente interdipendenti), immettere variabili Python e altro ancora. Riesco a farlo.

È disponibile un esempio di come il codice Logica dia priorità alla semplicità rispetto a SQL per query complesse Qui..

Come creare un desktop virtuale in Windows 11 DJI lancia la prima telecamera cinematografica a 4 assi al mondo con Ronin 4D Skyroot Aerospace mira a raccogliere $ 40 milioni il prossimo anno per espandere la sua posizione di leadership senior Google Pixel 6/Pro non viene fornito con un caricabatterie-30W il caricatore veloce costa $ 25 LEGO Star Wars: Castaways Online Multiplayer viene lanciato ad Apple Arcade il 19 novembre Ultime notizie tecnologiche

    Come creare un desktop virtuale in Windows 11 DJI lancia la prima telecamera cinematografica a 4 assi al mondo con Ronin 4D Skyroot Aerospace mira a raccogliere $ 40 milioni il prossimo anno per espandere la sua posizione di leadership senior Google Pixel 6/Pro non viene fornito con un caricabatterie-30W il caricatore veloce costa $ 25 LEGO Star Wars: Castaways Online Multiplayer viene lanciato all’Apple Arcade il 19 novembre

Leave a Reply