equality

5Hitze

2Antwort

Algorithmus zum Testen der Ungleichheit von geordneten großen Sammlungen

Ok, ich muss testen, ob zwei IEnumerable<T> gleich sind. Die Reihenfolge der Elemente ist wichtig, was bedeutet, dass: {1, 2, 4, 1, 3} and {1, 2, 1, 3, 4} should not be equal. Ich habe auf dieser Se

c# ienumerable equality 2014-10-16

---

5Hitze

2Antwort

Vergleichen zweier Wörterbücher mit numpy Matrizen als Werte

Ich möchte feststellen, dass zwei Python-Wörterbücher gleich sind (das heißt: gleiche Anzahl von Schlüsseln, und jede Zuordnung von Schlüssel zu Wert ist gleich; Reihenfolge ist nicht wichtig). Ein ei

python numpy dictionary equality 2014-10-17

---

12Hitze

1Antwort

IEquatable in F #, = Bedienerleistung und strukturelle Gleichheit

Ich frage mich, in welchen Fällen Gleichheitstests in F # Ursache Boxen, und ob es Fälle gibt, in denen Equals und GetHashCode zwingenden und Umsetzung IEquatable<> vorzuziehen ist, die StructuralEqua

f# equality 2015-01-25

---

6Hitze

2Antwort

Warum ist "1.0 == 1.0" in Ocaml falsch?

Warum gibt 1 == 1 wahr und 1.0 == 1.0 zurück falsch? Ich denke = ist strukturell und == ist physikalisch, also sollten beide nicht falsch zurückgeben?

ocaml equality 2014-09-16

---

5Hitze

2Antwort

Wie kann ich 2 Lua-Tabellen, die Tabellen als Schlüssel haben können oder nicht?

Also habe ich Deep-Copy-Algorithmen geschrieben, und ich möchte sie testen, um zu sehen, ob sie so funktionieren, wie ich es möchte. Während ich Zugriff auf die Original-> Kopie Karte habe, möchte ich

algorithm lua compare equality deep 2014-09-18

---

6Hitze

2Antwort

Entfernen eines Elements aus einer Python-Liste, wie werden Elemente verglichen (z. B. numpy Arrays)?

Ich bin ein wenig verwirrt von der Python (2.7) list.remove Funktion. In der documentation of remove heißt es: "Entfernen Sie das erste Element aus der Liste, deren Wert x ist. Es ist ein Fehler, wenn

python arrays list numpy equality 2015-02-17

---

23Hitze

3Antwort

Warum String.Equals false zurückgibt?

Ich habe den folgenden C# -Code (aus einer Bibliothek, die ich verwende), die versucht, ein Zertifikat zu finden, das den Fingerabdruck vergleicht. Beachten Sie, dass im folgenden Code sowohl mycert.T

c# string comparison equality 2014-09-23

---

7Hitze

1Antwort

Annotieren einer Java-Klasse als sicher für Referenzvergleich

Ich habe eine Klasse, die ein Multiton ist, also weiß ich, dass bei einem bestimmten Schlüssel niemals zwei Instanzen der gleichen Klasse existieren werden. Dies bedeutet, dass statt: if (someObject.e

java intellij-idea equals equality multiton 2015-03-03

---

9Hitze

1Antwort

Gleichheitsprüfung ohne expliziten Beweis, dass Datenkonstruktoren injektiv sind

Ist es möglich, einen einfachen syntaktischen Begriff der Gleichheit zu definieren (ähnlich wie GHC automatisch die Eq -Instanz für einen Haskell 98-Typ), ohne entweder explizit dies zu beweisen Jeder

equality agda algebraic-data-types 2014-10-10

---

5Hitze

1Antwort

Does Idris haben ein Äquivalent zu Agda des ↔

Agda nutzt die folgenden Betreiber Umkehrungen zwischen den Sätzen zu zeigen: _↔_ : ∀ {f t} → Set f → Set t → Set _ Gibt es ein Äquivalent in Idris? Ich versuche Tasche Gleichheit auf Listen data El

list equality agda idris 2014-12-03

---