Alle Fragen

1
antwort

Gleichheitsprüfung ohne expliziten Nachweis, dass Datenkonstruktoren injektiv sind

Ist es möglich, einen einfachen syntaktischen Begriff der Gleichheit zu definieren (ähnlich dem, was GHC automatisch als Eq -Instanz für einen Haskell 98-Typ ableitet), ohne entweder explizit jeden Datenkonstruktor nachzuweisen ist injektiv...
10.10.2014 в 10:53
1
antwort

Gibt es eine Klasse "ApplicativeIO"?

Gibt es in Hackage irgendwo eine Typklasse analog zu MonadIO , aber für Applicative s, mit dem IO -Aktionen einfach auf " anwendbare Kompositionsstapel " basierend auf IO ? Wenn eine solche Typklasse existiert, würde sie durch die...
26.09.2014 в 16:37
1
antwort

seltsame Verlangsamung von C ++ Allocs

Könnte mir bitte jemand sagen, warum folgende Dinge passieren könnten: Ich habe zwei Computer: meine Arbeit comp Server Ich führe C ++ - Programm (msvc 2005 c ++ kompiliert), das nur auf Server zu langsam arbeitet, aber nicht auf mei...
05.04.2013 в 16:01
2
antworten

NSJSONSerialisierungsserialisierung einer Zeichenfolge, die Schrägstriche / und HTML enthält, wird nicht korrekt umgebrochen

Ich versuche, einige einfache HTML in einen String-Wert in einem JSON-Objekt zu konvertieren, und ich habe Probleme, die Zeichenfolgencodierung nicht die Zeichenfolge in NSJSONSerialization zu entkommen. Beispiel ... Ich habe eine Zeichenfolg...
03.04.2013 в 17:55
4
antworten

Taxibewegungen berechnen

Nehmen wir an, ich habe N Taxis und N Kunden, die darauf warten, von den Taxis abgeholt zu werden. Die Ausgangspositionen von Kunden und Taxis sind zufällig / willkürlich. Nun möchte ich jedem Taxi genau einen Kunden zuordnen. Die Kunden s...
10.04.2013 в 19:58
4
antworten

Mehrdeutiger Referenzfehler

Ich erhalte zeitweise den folgenden Fehler:    Konnte die Datei 'com.mycompany.myapp' oder eine ihrer Abhängigkeiten nicht laden. Das Manifest der lokalisierten Assembly stimmt nicht mit dem überein   Baugruppenreferenz. Ich habe eine B...
12.04.2013 в 18:22
2
antworten

Analysiert eine HPROF-Speicherauszugsdatei programmgesteuert über die Befehlszeile

Ich untersuchte eine HPROF-Datei mit dem Eclipse Memory Analyzer (MAT). Der Dominator-Baum, Berichte und die OQL-Schnittstelle sehen sehr nützlich aus. Dies alles muss jedoch manuell über die MAT-Software erfolgen. Gibt es eine Befehlszeilens...
12.04.2013 в 17:46
1
antwort

Ich habe ein C ++ Programm unter Linux, ist es möglich, dass es regelmäßig Snapshots im Shared Memory für die Wiederherstellung nach dem Absturz speichert?

Ich bin mir nicht sicher, wie ich vorgehen soll, da ich Beispiele für den gemeinsamen Speicher für Interprozesskommunikation gesehen habe. Ich fragte mich, ob ich es von einem Server aus nutzen könnte, um zum Beispiel periodische Schnappschüsse...
12.04.2013 в 14:38
1
antwort

AWS CloudSearch: verschiedene Dokumente in einer Domain?

Ich bin daran interessiert, AWS Cloud Search für meine Webanwendung zu verwenden. Ich habe 3 verschiedene Dokumenttypen, die ich durchsuchbar machen möchte (Benutzer - Artikel - Bilder). Was ist der beste Weg, dies mit Cloud Search zu tun? Mu...
03.04.2013 в 20:15
1
antwort

TypeError: Die Eigenschaft 'console' von null kann nicht gelesen werden

Hier ist das schuldige Snippet, das aus einer lib-Datei eines Dritten extrahiert wurde: %Vor% Nichts Besonderes, aber es kommt überraschend zurück: TypeError: Cannot read property 'console' of null Es wird in einem Browser-Kontext (Ch...
16.04.2013 в 09:22