Connect with us

Künstliche Intelligenz

TypeScript: Langium 4.0 bringt Infix-Operatoren für kompaktere Grammatik


Mit Version 4.0 hat das Open-Source-Projekt Langium eine Reihe neuer Funktionen veröffentlicht, darunter die Unterstützung für Infix-Operatoren. Diese Erweiterung soll nicht nur die Definition komplexer Ausdrücke vereinfachen, sondern auch die Parsing-Leistung steigern. Langium ist ein Framework von Eclipse zur Entwicklung domänenspezifischer Sprachen (DSLs) in TypeScript und bietet integrierte Unterstützung für das Language Server Protocol (LSP).

Kompaktere Grammatik mit Infix-Notation

Bisher mussten Entwicklerinnen und Entwickler binäre Ausdrücke wie Additionen, Vergleiche oder logische Verknüpfungen über sogenannte Baumstruktur-Transformationen definieren. Die neue Infix-Notation ist laut Entwicklerteam eine kompaktere Möglichkeit, solche Operatoren auszudrücken, und zudem leichter zu lesen und zu verstehen.

Infix-Notation bezeichnet dabei die Darstellung von Operatoren zwischen ihren Operanden, etwa bei der Schreibweise a + b. Diese Form ist aus Programmiersprachen wie JavaScript oder Python bekannt und entspricht der üblichen mathematischen Notation. Im Gegensatz dazu stehen Präfix- oder Postfix-Notationen, bei denen Operatoren vor bzw. nach den Operanden stehen.

Ein einfaches Beispiel aus dem Changelog veranschaulicht die neue Syntax:


infix BinaryExpression on PrimaryExpression:
    '%' // <-- Highest precedence
    > '^'
    > '*' | '/'
    > '+' | '-';  // <-- Lowest precedence

PrimaryExpression infers Expression:
    '(' Expression ')' |
    {infer NumberLiteral} value=NUMBER;


Die neue Notation ist offenbar nicht nur syntaktisch eleganter, sondern wird zugleich als effizienter angepriesen: Beim Parsen solcher Ausdrücke soll sie bis zu 50 Prozent schneller sein als der bisherige Ansatz. Diese Angaben basieren auf internen Messungen des Entwicklerteams. Die vorherige Methode bleibt weiterhin verfügbar, was eine schrittweise Umstellung ermöglicht.

Langium als Baukasten für eigene Sprachen

Das Eclipse-Projekt Langium richtet sich an Entwicklerinnen und Entwickler, die eigene textuelle Sprachen entwerfen und mit Entwicklungswerkzeugen wie Visual Studio Code integrieren wollen. Es kombiniert Sprachdefinition, AST-Generierung und Sprachserver in einem Toolset. Im Unterschied zu klassischen Parser-Generatoren wie ANTLR (ANother Tool for Language Recognition) ist Langium nativ in TypeScript geschrieben und ermöglicht dadurch eine engere Verzahnung mit modernen Web-Toolchains.

Neben der Infix-Notation bietet Langium weitere Neuerungen wie Multi-Referenzen oder einen Strict Mode für Grammatikdefinitionen. Es wird laut Ankündigungsbeitrag zunehmend für komplexe Projekte eingesetzt, etwa zur Modellierung von Anforderungen, Konfigurationssprachen oder domänenspezifischen Tools.

Weitere Informationen finden sich im Changelog auf GitHub.


(mdo)



Source link

Verwandte Themen:
Weiterlesen

Künstliche Intelligenz

Java 25 ist da: Schlanke Programme, unveränderliche Werte und Long-term Support


Oracle hat offiziell das OpenJDK 25 angekündigt. Das Release bietet insgesamt 18 JEPs (JDK Enhancement Proposals), von denen viele als final gekennzeichnet sind.

Die Versionsnummer stimmt nur zufällig mit der Jahreszahl überein: Seit 2017 erscheint das OpenJDK-Projekt regelmäßig im Sechsmonatstakt. Im kommenden Frühjahr passen Jahr und Versionsnummer erneut zusammen, aber Java 27 erscheint im Herbst 2026.

Support für mehrere Jahre statt sechs Monate

Alle zwei Jahre erscheinen viele Java-Distributionen mit Long-term Support (LTS), und Java 25 ist dafür vorgesehen. So verspricht beispielsweise Oracle kommerziellen Support bis mindestens September 2033. Azul und weitere Java-Distributoren bieten ähnliche Support-Zeiträume.



Das Oracle-Release von Java 25 erhält mindestens acht Jahre kommerziellen Support.

(Bild: Oracle)

Da die regulären Java-Releases jeweils nur sechs Monate Support erhalten, löst Java 25 den Vorgänger ab.

Zahlreiche Neuerungen

Bei der Zahl der JEPs kann das aktuelle Release zwar nicht mit dem Vorgänger mithalten, das passend zur Versionsnummer 24 JEPs mitgebracht hat, dafür bietet Java 25 wie frühere LTS-Releases besonders viele fertige Proposals: Zweidrittel der JEPs gelten als final.



Zwölf von achtzehn JEPs gelten als final, aber die Vector API bleibt Dauergast im Inkubator.

(Bild: Oracle)

Unveränderlich: Stable Values und Scoped Values

Zu den wichtigsten Neuerungen in Java 25 gehören unveränderliche Werte: Stable Values lassen sich genau einmal initialisieren und anschließend nur lesen. Das ermöglicht der Java Virtual Machine (JVM) Optimierungen, da sie den Inhalt wie Konstanten behandelt.


Kaffeetasse, betterCode() Java

Kaffeetasse, betterCode() Java

(Bild: Playful Creatives / Adobe Stock)

Am 14. Oktober dreht sich bei der betterCode() Java 2025 alles um das frisch veröffentlichte Java 25. Die von iX und dpunkt verlag ausgerichtete Online-Konferenz behandelt in sechs Vorträgen die wesentlichen Neuerungen. Eine Keynote von Adam Bien zu 30 Jahren Java rundet den Tag ab.

Auch Scoped Values gelten nun als final. Sie bieten Thread-übergreifenden, gesicherten Zugriff auf Werte, um globale Zustände darzustellen. Scoped Values sind ebenfalls unveränderlich und haben eine klar definierte Lebensdauer.

Übersichtlicherer Code

Einige Neuerungen sollen den Einstieg in Java vereinfachen und besser lesbaren Code ermöglichen. Dazu gehören die Flexible Constructor Bodies, die (eingeschränkte) Anweisungen vor dem Aufruf von super erlauben, um beispielsweise Validierungen durchzuführen.

Das JEP mit dem etwas sperrigen Namen Compact Source Files & Instance-main ermöglicht schlankere Programme und kann Boilerplate-Code reduzieren.

Auch das JEP für Module Import Declarations dient dem Abbau von Boilerplate-Code, indem alle exportierten Pakete eines Moduls mit einer Deklaration verfügbar sind.

Während die genannten JEPs in Java 25 final sind, bleibt die Vector API als Dauerbrenner im Inkubator – bereits in der zehnten Runde. Sie dient dazu, aktuelle CPU-Architekturen und Befehlserweiterungen wie Single Instruction Multiple Data (SIMD) und Vektorprozessoren für die Vektorberechnung zu nutzen.

Bevor JEPs als final gelten, durchlaufen sie bei der Weiterentwicklung des OpenJDK üblicherweise zwei Stufen: den Inkubator und die Preview. Der Inkubator ist die experimentelle Stufe, die anzeigt, dass die Funktionen bislang nicht ausgereift sind, sich grundlegend ändern können und eventuell gar nicht in die Sprache einfließen. Den Inkubator durchlaufen nicht alle Neuerungen, sondern einige gehen direkt in die Preview und andere sogar ohne Vorschau in die Sprache über.

Preview-Features sind vollständig spezifiziert und implementiert, können aber noch Veränderungen erfahren. Zwar gibt es keine Garantie, dass sie tatsächlich in der Sprache landen, aber bei Preview-Features ist das sehr wahrscheinlich, wie die Vergangenheit gezeigt hat.

Tiefer Einblick in die neuen Features im Java-Blog auf heise

Wer mehr als diesen kurzen Überblick mit den wichtigsten Features von Java 25 lesen möchte: Zwei Blogbeiträge auf der Developer-Seite bei heise stellen alle achtzehn JEPs im aktuellen JDK detailliert vor:

Die vollständige Übersicht über die neuen Features findet sich zudem in den Release Notes zum JDK 25.


(rme)



Source link

Weiterlesen

Künstliche Intelligenz

Kamera obskur: Digitale Kodak für den Schlüsselanhänger


36 Euro kostet die winzige und nur 30 Gramm leichte Kodak Charmera für den Schlüsselanhänger. Die Digitalkamera, die auch Video kann, kommt in sechs Varianten, darunter eine transparente. Käufer wissen allerdings nicht, welche Variante sie bekommen.

Sollte man nämlich noch eine der begehrten Digi-Knipser ergattern können, so kauft man sie in einer Blind Box, die nicht verrät, welches Designmuster in ihrem Inneren steckt. So ist die Gehäuseform zwar bei allen identisch, kommt aber jeweils mit unterschiedlicher Bedruckung, darunter auch eine, die an die 1987 erschienene Kodak Fling erinnert.

Die inneren Werte

Die inneren Werte der Charmera selbst sind bei allen Geräten identisch und kein Geheimnis. Licht fängt ein Objektiv mit einer Kleinbild-äquivalenten Brennweite von 35 Millimetern und fester Blende von f/2.4 auf. Der 0,25 Zoll kleine Sensor hat eine Auflösung von 1440 × 1080 Pixeln; Bilder speichert die Kameras ausschließlich im JPEG-Format ab. Mit seinen 1,6 Megapixeln ist der Sensor keine Konkurrenz für aktuelle Digitalkameras. Auch Videos mit 30 Bildern pro Sekunde lösen keinen Aha-Moment aus – das Ganze ist eher eine Spielerei.

Videos und Fotos landen auf microSD-Karten mit bis zu 128 GByte Kapazität. Der eingebaute 200-mAh-Akku lädt über USB-C. Während das Vorbild Fling nur einen optischen Sucher bot, zeigt die Charmera über ein 0,8 Zoll großes Display außer Motiv auch Akkustand und verfügbaren Speicherplatz an.


Rückseite der Kodak-Charmera

Rückseite der Kodak-Charmera

Winzig: Die Charmera, hier in der transparenten Edition, bietet neben optischem Sucher auch ein Display.

(Bild: Kodak)

Kodak als Hersteller gibt es nicht mehr: Neben vielen anderen Retro-Kameras hat Reto Production Limited aus Hongkong auch die Charmera entwickelt und vertreibt sie als offizieller Lizenznehmer unter der Marke Kodak.

Sammler können zum Komplettset greifen. Laut Hersteller enthält ein solches Set garantiert sechs unterschiedliche Designs. Die siebte Kamera fehlt dann aber weiterhin – wenn man denn überhaupt noch eine bekommt. Momentan ist die Kamera über die Website des Herstellers nicht mehr erhältlich. Auch auf anderen Plattformen wie Amazon & Co. ist sie zwar gelistet, aber nicht verfügbar.

Reto will auf Instagram über kommende weitere Verkaufswellen informieren. Interessenten müssen sich gedulden oder über einschlägige Webseiten ihr Glück versuchen. Der Einzelpreis liegt offiziell bei 30 US-Dollar, eine 6er-Box kostet 180 US-Dollar. Über Amazon verlangt Reto 36 beziehungsweise 216 Euro.


(aki)





Source link

Weiterlesen

Künstliche Intelligenz

Pixel 7 und 7 Pro: Nutzerbeschwerden über aufgeblähte Akkus


In den vergangenen Monaten häuften sich die Berichte über Batterieprobleme bei mehreren Pixel-Modellen. Neben dem Pixel 4a und 6a war auch das Pixel 7a betroffen. Nun beschweren sich einige Besitzerinnen und Besitzer der Modelle Pixel 7 und 7 Pro über aufgeblähte Akkus, die den Bildschirm aus dem Gehäuse drücken können.

Auch Pixel 7 mit Akkuproblemen

Wie PiunikaWeb und Android Authority berichten, kann einer der ersten Fälle zum Pixel-7-Pro-Problem auf Anfang Mai dieses Jahres zurückdatiert werden. Damals schrieb ein Nutzer im Google-Support-Forum:“Ich schreibe Ihnen, um ein ernstes Problem mit meinem Pixel 7 Pro zu melden, das ich vor etwa zwei Jahren gekauft habe. Vor kurzem habe ich festgestellt, dass sich die Seitenabdeckung des Geräts zu lösen beginnt, wie auf dem beigefügten Foto deutlich zu sehen ist.“

Der Beitrag sammelte bislang über 140 Stimmen von Personen, die offenbar mit dem gleichen Problem konfrontiert sind. Zudem teilten unter dem Post weitere Nutzer Bilder ihrer Pixel-7-Geräte mit aufgeblähten Akkus.

Begleiterscheinungen: Displaytausch und kurze Laufzeit

Ein weiterer betroffener Nutzer schrieb, dass er sein Pixel 7 Pro mit aufgeblähtem Akku zu einer renommierten Reparaturkette gebracht hätte. Die Reparaturwerkstatt teilte ihm mit, dass wegen der Ablösung des Bildschirms mit hoher Wahrscheinlichkeit auch der Bildschirm ausgetauscht werden müsse.

Lesen Sie auch

Zum Begleiteffekt der aufgeblähten Akkus des Pixel 7 und 7 Pro gehört den Berichten zufolge auch eine rapide Abnahme der Laufzeit, wobei es ohnehin ratsam ist, die betroffenen Geräte besser nicht mehr zu verwenden. Einige berichten zudem, dass einige Geräte trotz vollem Akku nicht mehr einschaltbar seien.

Kommentare im Google-Forum deuten darauf hin, dass das Support-Team bei der Bearbeitung der Nutzerbeschwerden keine einheitliche Vorgehensweise hatte. In einigen Fällen seien Kunden gebeten worden, dem Support Fotos von allen Seiten ihres Smartphones zuzusenden. Ein Nutzer erhielt etwa eine Erstattung für den Austausch des Akkus durch einen Drittanbieter. Ein anderer gab an, dass Google ihm eine kostenlose Reparatur angeboten und versprochen hätte, das aufgeblähte Pixel 7 durch ein generalüberholtes Gerät zu ersetzen, falls die Reparatur nicht erfolgreich sein sollte.

Von Google gab es bislang noch keine offizielle Stellungnahme zu der neuen Akkuproblematik. Wir haben Google Deutschland um ein Statement gebeten. Angesichts der sich offenbar häufenden Stimmen dürfte der Konzern alsbald reagieren.

Nicht die ersten Pixel mit Akkuproblemen

Es ist leider nicht das erste Mal, dass Chargen von Googles Pixel-Geräte mit Akku-Problemen zu kämpfen haben. Im April startete der Konzern ein kostenloses Akku-Austauschprogramm für Pixel-7a-Geräte und räumte ein, dass sich die Akkus bei einigen Geräten aufblähen können. Je nach Garantiestatus und Region bietet Google auch eine andere Kulanzleistung von bis zu 400 Euro an.

Neben dem Pixel 7a bestätigte Google auch Akkuprobleme beim Pixel 6a, für das der Hersteller im Juli ein Softwareupdate zur Reduzierung der Batteriekapazität wegen möglicher Überhitzungsprobleme veröffentlicht hatte. Nutzer, die bei ihren Pixel-Geräten einen aufgeblähten Akku feststellen, sollten die Richtlinien im Support-Bereich studieren und den Kundendienst kontaktieren.


(afl)



Source link

Weiterlesen

Beliebt