Val, eine High-Level-Systemprogrammiersprache

• Val ist eine Programmiersprache mit Fokus auf High-Level-Systemprogrammierung.
• Sie wurde schnell, sicher und einfach konzipiert.
• Val nutzt mutable value semantics und generische Programmierung.
• Es wird vorab zu Maschinencode kompiliert und vermeidet unnötige Speicherallokationen.
• Die Grundlage von Val in mutable value semantics gewährleistet Speichersicherheit und Typsicherheit.
• Programmierer können bei Bedarf für mehr Performance unsichere Konstrukte verwenden.
• Val übernimmt vieles von Swift und betont value semantics.
• Val befindet sich in aktiver Entwicklung, und der Code ist als Open Source auf GitHub verfügbar.
• Mit dem Fokus auf mutable value semantics für effizienten und universellen Code nimmt Val eine einzigartige Position ein.
• Es verbindet die physischen Einschränkungen der Computerarchitektur mit den Vorteilen wertorientierter Programmierung.
• Val bietet eine Language Tour sowie detaillierte Informationen zu Syntax und Semantik.
• Es ist noch nicht einsatzbereit, aber Diskussionen sind über das Community-Forum möglich.
• Die Codebeispiele von Val zeigen den Einsatz von mutable value semantics und das Fehlen unnötiger Allokationen.
• Die Subscripts von Val können vorübergehend die Berechtigung erteilen, Werte zu lesen oder zu schreiben.
• Die Typen von Val sind Werttypen und keine Referenztypen.
• Val garantiert, dass Funktionen nicht auf die Werte von Parametern zugreifen, bis die Funktion zurückkehrt.
• Val verwendet keine Lifetime-Annotationen wie Rust.
• Val bietet ein einfacheres Modell ohne Referenzen.

[GN⁺]

Hacker-News-Kommentare

• Val: eine High-Level-Systemprogrammiersprache, die darauf abzielt, der Nachfolger von C++ zu werden
• Wird statisch kompiliert, ist statisch typisiert und interoperabel mit C++
• Val entfernt Pointer und Referenzen und verwendet stattdessen intern Pass-by-const-reference und Return Value Optimization
• Eine Alpha-Version wurde noch nicht veröffentlicht, und Sterne sowie Mitwirkende auf GitHub sind begrenzt, aber einige Leute unterstützen Val
• Es gibt Bedenken hinsichtlich der Fähigkeit von Val, das Windows-Betriebssystem zu unterstützen
• Die Existenz mehrerer Sprachen mit Zero-Cost-Abstraktion wie Rust, Zig und Val wird von einigen Systemprogrammierern geschätzt und zugleich als etwas gesehen, das konsolidiert bzw. gelöst werden sollte
• Val befindet sich noch in der Entwicklung und gilt noch nicht als vollständig nutzbare Sprache
• Val erhält Aufmerksamkeit wegen der Verbindung zu Dave Abrahams (Dave Abrahams ist eine in der Programmier-Community gut bekannte Persönlichkeit)
• Es gibt Fragen und Diskussionen zur Implementierung von Val, darunter zur String-Verarbeitung und zur möglichen Umsetzung selbstreferenzieller Datenstrukturen
• Val scheint sich in seinen Zielen mit Rust, Zig und Vale zu überschneiden, aber nicht mit Vala
• In Val könnte es einen Ausweg ähnlich zu Rusts unsafe geben, aber ob der sichere Teilbereich von Val für reale Anwendungen ausreicht, wird noch diskutiert
• Andere Val ähnliche Sprachen sind V, Vala und Vale