Computerwissenschaften programming-languages

3

Warum ist die Verwendung eines Lexers / Parsers für Binärdaten so falsch?

Ich arbeite oft mit Lexer / Parser im Gegensatz zu einem Parser-Kombinator und sehe, dass Leute, die noch nie eine Klasse in Parsing besucht haben, nach dem Parsen von Binärdaten fragen. Typischerweise sind die Daten nicht nur binär, sondern auch kontextsensitiv. Dies führt im Grunde dazu, dass nur eine Art …

13 programming-languages compilers parsers

1

Ist die E / A-Monade technisch falsch?

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 …

12 programming-languages functional-programming haskell

3

Welche anderen Programmiersprachen außer Python und dem Vorgänger verwenden Einrückungen, um Codeblöcke zu definieren? [geschlossen]

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 Codeblöcke syntaktisch zu definieren. (Siehe Zusammengesetzte Anweisungen …

12 programming-languages python syntax

1

Warum recherchieren wir nicht mehr nach Kompilierzeitgarantien?

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 dynamische Typsystem. Soweit ich weiß, geht Ada in Bezug …

12 programming-languages type-theory type-checking software-verification

2

Lambda-Kalkül: Unterschied zwischen Kontexten und Bewertungskontexten

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 gegeben sind: t ::= v | t t | if …

12 programming-languages lambda-calculus

3

Beziehung zwischen Russellscher Typentheorie und Typensystemen

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 1908 motiviert, Russells Paradoxon zu …

12 programming-languages type-theory

4

Kann jemand ein einfaches, aber nicht spielerisches Beispiel für eine kontextsensitive Grammatik geben?

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 Lambda-Rechnung ähnelt, kontextsensitiv ist? Ich würde gerne ein Beispiel für ein einfaches, aber nicht-spielerisches …

12 formal-grammars programming-languages lambda-calculus context-sensitive

4

Ist es sinnvoll, sowohl das Konzept von 'null' als auch von 'vielleicht' zu haben?

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. Sie müssen angeben, welche …

11 programming-languages language-design

1

Prototyping-Tool für Programmiersprachen-Semantik

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 für Modelle, die mit relationaler Logik ausgedrückt werden. …

11 reference-request programming-languages semantics model-checking

4

Warum müssen wir Abstraktion gegen Geschwindigkeit tauschen?

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 einig, dass C viel schneller ist, manchmal um den Faktor …

11 programming-languages performance

3

Was ist der Unterschied zwischen abstrakten Datentypen und Objekten?

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 normalerweise eine eindeutige Implementierung in einem Programm. …

11 programming-languages object-oriented abstract-data-types

2

Warum ist der kleinste Fixpunkt (lfp) in der Programmanalyse wichtig?

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 festgelegten Punkt zu finden. In diesem Artikel in Wikipedia: Knaster-Tarski …

11 programming-languages finite-model-theory fixed-point

5

Definition des Status eines Objekts in OOP

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 hauptsächlich allgemeine Papiere zur objektorientierten …

11 terminology reference-request programming-languages object-oriented

1

Verfeinerungsarten ableiten

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 …

11 programming-languages logic type-theory type-inference machine-learning data-mining clustering order-theory reference-request information-theory entropy algorithms algorithm-analysis space-complexity lower-bounds formal-languages computability formal-grammars context-free parsing complexity-theory time-complexity terminology turing-machines nondeterminism programming-languages semantics operational-semantics complexity-theory time-complexity complexity-theory reference-request turing-machines machine-models simulation graphs probability-theory data-structures terminology distributed-systems hash-tables history terminology programming-languages meta-programming terminology formal-grammars compilers algorithms search-algorithms formal-languages regular-languages complexity-theory satisfiability sat-solvers factoring algorithms randomized-algorithms streaming-algorithm in-place algorithms numerical-analysis regular-languages automata finite-automata regular-expressions algorithms data-structures efficiency coding-theory algorithms graph-theory reference-request education books formal-languages context-free proof-techniques algorithms graph-theory greedy-algorithms matroids complexity-theory graph-theory np-complete intuition complexity-theory np-complete traveling-salesman algorithms graphs probabilistic-algorithms weighted-graphs data-structures time-complexity priority-queues computability turing-machines automata pushdown-automata algorithms graphs binary-trees algorithms algorithm-analysis spanning-trees terminology asymptotics landau-notation algorithms graph-theory network-flow terminology computability undecidability rice-theorem algorithms data-structures computational-geometry

1

Constraint-basierte Typinferenz mit algebraischen Daten

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 und Wand) basiert, aber sie sind elegant algebraische Datentypen. Was …

11 programming-languages type-theory functional-programming inductive-datatypes typing

Als «programming-languages» getaggte Fragen