semantics

8Hitze

1Antwort

Wie überprüfe ich, ob alle Codepfade einen Wert zurückgeben

Ich schreibe einen Compiler für eine eingebettete Skriptsprache, die in meiner Anwendung ausgeführt wird. Ich arbeite derzeit an der semantischen Analyse Teil des Compilers. Ich möchte in der Theorie

6Hitze

2Antwort

Soll ich <section> Tags innerhalb <aside> verwenden?

eine Auszeichnungs wie diese zu haben: <aside> <div class="widget"> <h2>Latest news</h2> <ul>...</ul> <a>more news</a> </div> <div class="widget"> <h2>Choose sit

7Hitze

2Antwort

Javascript Objektinitialisierung und Auswerteauftrag

Wenn ich var a = [1,2]; var b = { foo: a.pop(), bar: a.pop() }; schreiben Was ist der Wert von b ist, gemäß der Spezifikation? (Experimentell ist es {foo: 2, bar: 1}, aber ich mache mir

8Hitze

5Antwort

Array-Syntax in Java: Was ist die Bedeutung der Position []

String S[] = new String[3]; String[] S = new String[3]; Beide Möglichkeiten sind in Java richtig. Heißt das, dass für jeden Typ Type[] x dasselbe ist wie Type x[]?

22Hitze

3Antwort

Was ist der Unterschied zwischen Triple-Stores und Graph-Datenbanken?

Es gibt Tripelspeicher (semantische Datenbanken), und es gibt universelle Graphdatenbanken. Beide basieren auf den ähnlichen Konzepten, einen "Gegenstand" über eine Beziehung mit einem anderen zu verb

6Hitze

2Antwort

Was sind die Werte eines polymorph codierten rekursiven algebraischen Datentyps?

Die folgende Frage bezieht sich auf Recursive algebraic data types via polymorphism in Haskell. Rekursive algebraische Datentypen können in jeder Sprache mit den Fähigkeiten von System F unter Verwend

31Hitze

4Antwort

Sollte ich Xcode 5 'Semantisches Problem: nicht deklarierter Selektor' beheben?

Ich versuche, meine App mit Xcode5 zu aktualisieren, stieß aber auf eine Reihe von "semantischen Problemen" in einer Third-Party-Bibliothek (MagicalRecord). Der schnellste Weg zur ‚fix‘ könnte dies un

10Hitze

2Antwort

Was bedeutet "⊥" in "The Strictness Monad" von P. Wadlers Papier?

Kann mir jemand helfen, die folgende Definition aus Wadlers Aufsatz mit dem Titel "Comprehending Monads" zu verstehen? (Auszug ist aus dem Abschnitt 3.2/Seite 9, das heißt der „Strikt Monad“ Abs.) Man

36Hitze

3Antwort

Python: Semantische Ähnlichkeit Score für Strings

Gibt es Bibliotheken für die Berechnung der semantischen Ähnlichkeitswerte für ein Paar von Sätzen? Ich kenne die semantische Datenbank von WordNet, und wie ich die Punktzahl für 2 Wörter generieren k

24Hitze

1Antwort

Was bedeutet der Doppelpunkt Strich ": -" in Bash

Das Ergebnis ist das gewünschte; nach ein bisschen Versuch und Irrtum. Ich verstehe nicht, was das "2: -" und "3: -" bedeutet/bedeutet. Kann jemand das erklären? #!/bin/bash pid=$(ps -ef | grep java