Elixir entwickelt sich zu einer Sprache mit schrittweiser Typisierung

• Elixir wird offiziell zu einer Sprache mit schrittweiser Typisierung, pünktlich zum 13. Jahrestag des ersten Commits
• Derzeit werden Typinferenz und Typprüfung für bitstring durchgeführt; alle Typen werden unterstützt (allerdings wird Subtyping zwischen Typen noch nicht unterstützt)
• Der erste Meilenstein ist die Inferenz für Patterns und Guards
• Diese Inferenz funktioniert so, dass Bugs erkannt werden, ohne die Sprache oder bestehende Codebasen zu ändern
• Als Ziel wurde gesetzt, bis Elixir v1.17 die Inferenz für alle Patterns und Guards zu vervollständigen

---

Ankündigung des Übergangs zu einer Sprache mit schrittweiser Typisierung

• Zum 13. Jahrestag des ersten Commits im Elixir-Repository wurde angekündigt, dass Elixir offiziell eine Sprache mit schrittweiser Typisierung ist
• Aktueller Stand der Implementierung der Typprüfung
  • Typinferenz und Typprüfung für bitstring werden durchgeführt
  • Alle Typen (all types) werden bereits unterstützt, allerdings wird Subtyping innerhalb von Typen noch nicht unterstützt

Künftige Ziele und erster Meilenstein

• Ziel ist es, bis Elixir v1.17 die Inferenz für alle Patterns und Guards durchzuführen
• Der erste Meilenstein ist die Inferenz für Patterns und Guards
  • Damit können Bugs im Code erkannt werden, ohne die Sprache oder die Codebasis der Nutzer zu ändern
  • Es wird angestrebt, dass dieser erste Schritt für alle eine Win-win-Situation ist

[GN⁺]

Hacker-News-Kommentare

• Dank an Jose

  • Es wird Jose für seine Arbeit an Elixir und für die Community gedankt.
  • Seine Sorgfalt und Kompetenz im Umgang mit der Sprache und der Community werden sehr geschätzt.
  • Als großartiges Beispiel für Joses Beständigkeit und Fleiß wird einer Person gedankt, die das alltägliche Glück stark beeinflusst hat.

• Interesse an einer Sprache mit graduellem Typsystem

  • Es gibt Sympathie für schrittweise typisierte Sprachen, aber hier fehlen Informationen.
  • Es wird ein Link zu einem Anfang 2022 veröffentlichten Paper geteilt, und es wird nach mehr Informationen zu diesem Typsystem gesucht.

• Meinung zum Fehlen von Typen in Elixir

  • Das Fehlen von Typen in Elixir war für einige Menschen abschreckend.
  • Das Hinzufügen von Typen zu einem Zeitpunkt, an dem die Sprache nahezu fertig ist, wird als perfektes Timing gesehen.
  • Bei Ruby bestand wegen des Gefühls, dass es der Philosophie dynamischer Sprachen widerspreche, keine wirkliche Überzeugung von Sorbet, als zusätzliches Mittel für mehr Sicherheit wird es aber geschätzt.
  • Es wird Zuversicht geäußert, dass das Typsystem in Elixir richtig umgesetzt wird.

• Vertrauen in Jose Valim und Anders Hejlsberg

  • Jose Valim gilt als einer der wenigen Menschen in der Branche, denen zugetraut wird, ein Typsystem richtig umzusetzen.
  • Auch Anders Hejlsberg ist jemand, dem bei der Implementierung von Typsystemen vertraut wird.

• Reaktion auf die Einführung eines Typsystems in Elixir

  • Nach einem kürzlichen Firmenwechsel wird nun Elixir verwendet, und viele Vorteile typisierter Sprachen, die man in TypeScript hatte, werden vermisst.
  • Dass man im Projekt von überall auf Datenmodelle zugreifen kann, wird als großer Vorteil von Elixir gesehen.
  • Es besteht große Freude darüber, dass das bereits großartige Elixir weiter verbessert wird, und dem an dieser Arbeit beteiligten Team wird gratuliert.

• Die Bedeutung von Typsystemen

  • Phoenix und zuvor RoR (Ruby on Rails) haben zwar hohe Produktivität bewiesen, aber durch Typ- und Runtime-Error-Probleme konnten leicht Schwierigkeiten entstehen.
  • Typen verlagern viele Runtime Errors in Build-Zeit-Fehler und bieten damit große Vorteile für die Entwicklung verlässlicher Software.

• Was man aus der schrittweisen Einführung von Typen in PHP lernen kann

  • Die schrittweise Einführung von Typen in PHP wird als sehr praxisnah angesehen, und es wird gehofft, dass sich daraus etwas lernen lässt.

• Meinung zum Wechsel von Ruby-Entwicklern zu Elixir

  • Es bestand der Wunsch, dass solche Bemühungen fest in Ruby eingebaut würden, und viele Ruby-Entwickler nutzen inzwischen Elixir.
  • Es wird darauf hingewiesen, dass sich Elixir zu einer erstaunlichen Sprache entwickelt.

• Der Ansatz des Elixir-Teams und von Jose bei der Einführung des Typsystems

  • Es wird empfohlen, sich die Vorträge des Elixir-Teams und besonders von Jose anzusehen.
  • Sie gehen bei der Einführung eines Typsystems sehr vorsichtig und sorgfältig vor und bemühen sich darum, ein gutes Typsystem einzuführen.