semantics

2Hitze

1Antwort

sich mit Aufzug und Setω Erste und variable Vorkommen in Ausdrücken

In einem previous question hatte ich Typen für ein Spielzeug Sprache data Type : Set where Nat : Type Prp : Type dachte ich über sie zu interpretieren, indem eine disjunkte Vereinigung Typ

9Hitze

3Antwort

Regeln für die Rückgabe falscher Objektreferenz in C++

Ich möchte durch ein vorab zugeordnetes Float-Array mit einem benutzerdefinierten Container, der die Daten nicht besitzt, aber auf einem Segment davon handelt, iterieren. Beispiel Benennung der Contai

1Hitze

1Antwort

Welche Schriftgrößen kann ich für bestimmte Semantiken verwenden?

Microsoft stellt list zur Verfügung, in dem die Eingabe- und Ausgabesemantik von Vertex- und Pixel-Shadern erläutert wird. Inzwischen habe ich einige Codebeispiele gesehen, die die dokumentierten Date

0Hitze

1Antwort

Den Unterschied zwischen SPARQL und semantischem Denken mit Pellet verstehen

Ich habe eine Pizza-Ontologie, die verschiedene Arten von Pizzen, Zutaten und Beziehungen zwischen ihnen definiert. Ich möchte nur einige grundlegende Dinge verstehen: Ist es richtig, dass ich SPARQL

1Hitze

1Antwort

Semantischer oder logischer Fehler?

Ich habe eine Menge Fragen zu diesem Thema gesehen, aber ich konnte immer noch nicht herausfinden, ob das Folgende ein semantischer oder logischer Fehler ist. sagen, dass ich den folgenden Java-Code h

0Hitze

1Antwort

Was ist eine gültige, effiziente und moderne Möglichkeit, Bilder nicht auf Mobilgeräten zu laden?

Ich bin schon mehrfach darauf gestoßen und habe es immer mit einer Kombination aus CSS und JS gelöst, aber mit zunehmender Unterstützung für reaktionsschnelle Bilder habe ich nach einer eloquenteren L

7Hitze

1Antwort

Warum + str ist besser als str * 1 in JS, um eine Zeichenfolge in eine Zahl zu konvertieren?

Angenommen, ich habe eine Zeichenfolge, deren Wert bereits eine Zahl ist, z. var str = "1234" Jetzt möchte ich es in Nummer konvertieren. ich zwei Tricks im Internet weit so gesehen haben, Verwenden S

0Hitze

1Antwort

Python Semantik und Status

Ich schreibe eine formale Semantik für Python. Hoffentlich können mir einige Python-Gurus helfen. Wenn sich die Programmausführung durch eine Liste von Anweisungen bewegt, trifft jede Zuweisungsanweis

4Hitze

1Antwort

Wie implementiert man rekursive Typen in PLT Redex?

Ich glaube, dass ich sowohl equirecursive und iso-rekursive Typen recht gut verstehe. Daher habe ich versucht, einen Typchecker für ISWIM mit gleich rekursiven Typen in PLT Redex zu implementieren. Ab

2Hitze

1Antwort

Korrekter Name für das CSS "! Wichtig" Modifier

Ich nehme an, das ist eine semantische Frage. Was ist der richtige Weg, um auf die !important Regel in CSS zu verweisen? w3 says that rules defined with this are 'wichtige Regeln', aber dies gibt nich