Ich glaube, ich bin ziemlich verwirrt darüber, was als Kalkül und was als Programmiersprache bezeichnet wird. Ich neige dazu, zu denken und könnte gesagt worden sein, dass ein Kalkül ein formales System ist, um über die Gleichwertigkeit von Programmen zu argumentieren. Programme haben eine von...
Ich habe kürzlich festgestellt, dass es eine Beziehung zwischen der Russellschen Typentheorie und Typensystemen gibt, wie sie zB in Haskell zu finden sind. Tatsächlich scheint ein Teil der Notation für Typen in Haskell Vorläufer in der Typentheorie zu haben. Aber meiner Meinung nach war Russell...
Im haskell-Wiki gibt es das folgende Beispiel für die bedingte Verwendung der IO-Monade (siehe hier) . when :: Bool -> IO () -> IO () when condition action world = if condition then action world else ((), world) Beachten Sie, dass in diesem Beispiel die Definition von so verstanden IO awird...
Ich mag alles, was Kompilierungszeit ist, und ich mag die Idee, dass, sobald Sie ein Programm kompilieren, eine Menge Garantien für dessen Ausführung gegeben werden. Im Allgemeinen scheint ein statisches Typsystem (Haskell, C ++, ...) stärkere Kompilierungszeitgarantien zu bieten als jedes...
Geschlossen. Diese Frage ist nicht zum Thema . Derzeit werden keine Antworten akzeptiert. Möchten Sie diese Frage verbessern? Aktualisieren Sie die Frage, damit sie für Computer Science Stack Exchange zum Thema gehört . Geschlossen vor 9 Monaten . Python verwendet bekanntermaßen Einrückungen, um...
Ich versuche, kontextsensitive Grammatiken zu verstehen. Ich verstehe, warum Sprachen mögen {ww∣w∈A∗}{ww∣w∈A∗}\{ww \mid w \in A^*\} {anbncn∣n∈N}{anbncn∣n∈N}\{a^n b^n c^n \mid n\in\mathbb{N}\} sind nicht kontextfrei, aber was würde ich gerne wissen, wenn eine Sprache, die der untypisierten...
Erstens möchte ich darauf hinweisen, dass mein nachstehender Text Fehler enthalten kann. Sie können also jederzeit auf Fehler bei der Formulierung der Frage hinweisen. Betrachten Sie einen nicht typisierten Lambda-Kalkül mit Booleschen Werten und if-Anweisungen, deren Terme durch diese Syntax...
Ich versuche, ein Gesamtbild über die Bedeutung des kleinsten Fixpunkts (lfp) in der Programmanalyse zu erhalten. Zum Beispiel scheint die abstrakte Interpretation die Existenz von lfp zu nutzen. Viele Forschungsarbeiten zur Programmanalyse konzentrieren sich auch stark darauf, den am wenigsten...
Gibt es ein Tool zum Prototyping einer Programmiersprachen-Semantik und eines Typsystems, das auch eine Art Modellprüfung von Standardeigenschaften wie der Typensicherheit ermöglicht? Ich frage dies, weil ich ein Buch über Legierung lese und es genau die Funktionalität bietet, die ich möchte, aber...
Eine Antwort auf Programmers.SE kennzeichnet einen Aufsatz von Cook ( Objekte sind keine ADTs ) als Spruch Objekte verhalten sich eher wie eine charakteristische Funktion über die Werte eines Typs als wie eine Algebra. Objekte verwenden eher prozedurale Abstraktion als Typabstraktion ADTs haben...
Ich arbeite an einer ausdrucksbasierten Sprache der ML-Genealogie, daher ist natürlich eine Typinferenz erforderlich> :) Jetzt versuche ich, eine auf Einschränkungen basierende Lösung für das Problem der Ableitung von Typen zu erweitern, die auf einer einfachen Implementierung in EOPL (Friedman...
Beim Erstellen eines Clients für eine Web-API in C # stieß ich auf ein Problem hinsichtlich nulleines Werts, bei dem zwei verschiedene Dinge dargestellt werden: nichts , zB ein foodarf oder darf nicht a habenbar unbekannt : Standardmäßig enthält die API-Antwort nur eine Teilmenge von Eigenschaften....
Ich brauche eine präzise Definition des "Zustands eines Objekts" in der objektorientierten Programmierung (für eine Arbeit). Etwa einen halben Tag lang suchte ich nach einem Artikel, den ich zu diesem Thema zitieren kann, aber ich konnte keinen finden. Alle Papiere, die ich gefunden habe, waren...
Warum können Hochsprachen scheinbar nie in Bezug auf die Geschwindigkeit Niedrigsprachen erreichen? Beispiele für Hochsprachen wären Python, Haskell und Java. Niedrigsprachige Sprachen wären schwieriger zu definieren, aber sagen wir C. Vergleiche finden sich überall im Internet und alle sind sich...
Ist es theoretisch möglich, eine Programmiersprache anzugeben, für die keine Implementierung existieren könnte? Eine Programmiersprache ist eine Möglichkeit, Funktionen zu definieren. Eine Implementierung bedeutet ein Verfahren zum Ausführen eines bestimmten Programms in dieser Sprache an einem...
Bei der Arbeit wurde ich beauftragt, einige Typinformationen über eine dynamische Sprache abzuleiten. Ich schreibe Folgen von Anweisungen in verschachtelte letAusdrücke um, wie folgt: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...
Für Funktionen oder Berechnungen haben wir Begriffe wie: Deterministisch - Determinismus Reinheit Was ist nun das richtige entsprechende Substantiv für nebenwirkungsfrei ? "Nebenwirkungsfreiheit"? "Nebenwirkungsfreiheit"? "Nicht
Ich komme aus C ++ und verstehe nicht, warum man als erstklassiger Bürger Typen / Typausdrücke braucht. Die einzige mir bekannte Sprache, die diese Funktion unterstützt, ist Aldor. Hat jemand Literatur über Typen als erstklassiger Bürger oder kennt er einige Gründe, warum dies nützlich...
Ich bin ein Informatikstudent. Ich möchte meine eigene Programmiersprache erstellen (eine Basissprache mit wenigen Anweisungen). Ich weiß, wie man einen syntaktischen Analysator macht, ich habe es bereits in Perl gemacht. In einem Artikel habe ich etwas über den Compiler gelesen, ein Compiler ist...
Ich beginne im nächsten Herbst einen Bachelor-Informatikkurs, kann aber λ-Kalkül im Kontext der funktionalen Programmierung nicht wirklich verstehen. Ich kann dies völlig falsch interpretieren, aber basierend auf dieser Definition aus der Stanford Encyclopedia of Philosophy ist es nur eine weitere...