Abhängige ML



Alles Wissen, das die Menschen im Laufe der Jahrhunderte über Abhängige ML angesammelt haben, ist jetzt im Internet verfügbar, und wir haben es für Sie auf möglichst zugängliche Weise zusammengestellt und geordnet. Wir möchten, dass Sie schnell und effizient auf alles zugreifen können, was Sie über Abhängige ML wissen möchten, dass Ihre Erfahrung angenehm ist und dass Sie das Gefühl haben, wirklich die Informationen über Abhängige ML gefunden zu haben, nach denen Sie gesucht haben.

Um unsere Ziele zu erreichen, haben wir uns nicht nur bemüht, die aktuellsten, verständlichsten und wahrheitsgetreuesten Informationen über Abhängige ML zu erhalten, sondern wir haben auch dafür gesorgt, dass das Design, die Lesbarkeit, die Ladegeschwindigkeit und die Benutzerfreundlichkeit der Seite so angenehm wie möglich sind, damit Sie sich auf das Wesentliche konzentrieren können, nämlich alle verfügbaren Daten und Informationen über Abhängige ML zu kennen, ohne sich um irgendetwas anderes kümmern zu müssen, das haben wir bereits für Sie erledigt. Wir hoffen, dass wir unser Ziel erreicht haben und dass Sie die gewünschten Informationen über Abhängige ML gefunden haben. Wir heißen Sie also willkommen und ermutigen Sie, die Erfahrung der Nutzung von scientiade.com weiterhin zu genießen.

Dependent ML ist eine experimentelle funktionale Programmiersprache, die von Hongwei Xi ( Xi 2007 ) und Frank Pfenning vorgeschlagen wurde . Abhängige ML erweitert ML um eine eingeschränkte Vorstellung von abhängigen Typen : Typen können von statischen Indizes vom Typ Nat ( natürliche Zahlen ) abhängig sein . Dependent ML verwendet einen Constraint Theorem Prover, um eine starke Gleichungstheorie über die Indexausdrücke zu entscheiden.

Die DML-Typen sind nicht von Laufzeitwerten abhängig - es gibt immer noch eine Phasenunterscheidung zwischen Kompilierung und Ausführung des Programms. Durch die Einschränkung der Allgemeinheit der vollständigen abhängigen Typen bleibt die Typprüfung entscheidbar , aber die Typinferenz wird unentscheidbar.

Die abhängige ML wurde von ATS abgelöst und befindet sich nicht mehr in der aktiven Entwicklung.

Verweise

Weiterführende Literatur

  • Xi, Hongwei (März 2007). "Dependent ML: Ein Ansatz zur praktischen Programmierung mit abhängigen Typen" . Zeitschrift für funktionale Programmierung . 17 (2): 215286. doi : 10.1017 / S0956796806006216 . S2CID   45996427 .
  • David Aspinall und Martin Hofmann (2005). "Abhängige Typen". In Pierce, Benjamin C. (Hrsg.) Fortgeschrittene Themen in Typen und Programmiersprachen . MIT Press.

Externe Links


Opiniones de nuestros usuarios

Nadine Fuchs

Guter Artikel über Abhängige ML

Johannes Kopp

Toller Artikel über Abhängige ML.

Hermann Schumacher

Ich brauchte etwas anderes über Abhängige ML, nicht das typische Zeug, das man immer im Internet liest, und dieser Artikel über Abhängige ML hat mir gefallen., Toller Beitrag über Abhängige ML

Astrid Bayer

Die Informationen über Abhängige ML sind sehr interessant und zuverlässig, wie der Rest der Artikel, die ich bisher gelesen habe, und das sind schon viele, denn ich warte seit fast einer Stunde auf mein Tinder-Date und er ist nicht aufgetaucht, also denke ich, er hat mich versetzt. Ich nutze diese Gelegenheit, um ein paar Sterne für die Firma zu hinterlassen und auf mein beschissenes Leben zu scheißen