it-swarm.com.de

Sind Git-Zweige tatsächlich "homöomorphe Endofunktoren, die Untervielfalt eines Hilbert-Raums abbilden"?

Wie wir alle wissen:

Git wird einfacher, wenn Sie verstehen, dass Zweige homöomorphe Endofunktoren sind, die Untervielfalt eines Hilbert-Raums abbilden

Was wie Jargon aussieht , aber auf der anderen Seite,

Insgesamt ist eine Monade in X nur ein Monoid in der Kategorie der Endofunktoren von X, wobei das Produkt × durch die Zusammensetzung der Endofunktoren und die durch den Identitätsendofunktor festgelegte Einheit ersetzt wird.

ist lustig, weil es wahr ist .

Kann ich das Zusammenführen von Fehlern vermeiden, indem ich diesen einfachen Text lese?

54
Larry OBrien

Es ist ein Witz, der auf dem Monadenwitz basiert, aber ohne den Monadenwitz zu verstehen.

Der Monadenwitz ist auf drei Ebenen lustig:

  1. es versucht, abstrakten mathematischen Jargon mit noch mehr mathematischem Jargon zu erklären, der noch abstrakter ist
  2. die Erklärung ist jedoch tatsächlich richtig
  3. und sobald Sie tiefer in die Kategorietheorie eintauchen, werden Sie tatsächlich anfangen, Monaden als "nur ein Monoid in der Kategorie der Endofunktoren" zu sehen.

Die Git-Sache ist jedoch nur zufälliger Kauderwelsch. Es soll dem Monadenwitz ähneln und könnte auch ein Stich in die Darcs-Patch-Theorie sein, aber im Grunde hat die Person, die den Witz macht, den Monadenwitz nicht verstanden.

Quellen:

Dies ist der ursprüngliche Tweet mit dem Zitat :

Wil Shipley (@wilshipley) : Süßer Gott, ich hasse Schwachkopf.

Isaac Wolkerstorfer (@agnoster) : @ wilshipley git wird einfacher, sobald Sie die Grundidee haben, dass Zweige homöomorph sind Endofunktoren, die Untervielfalt eines Hilbert-Raums abbilden.

Und dies ist ein Kommentar zu Quora vom ursprünglichen Autor des Tweets :

Um zu bestätigen, was Leo sagte, war es als Witz gedacht. […]

Es war so fest wie ein Augenzwinkern gedacht. Eigentlich liebe ich Git und ich denke, seine Komplexität ist stark übertrieben. Gleichzeitig bin ich mit der Tatsache einverstanden, dass Ratschläge von Git-Gurus an Anfänger wie unergründlicher Kauderwelsch klingen können.

Es soll keine tiefere Bedeutung haben. […]

Der Leo, auf den er sich bezieht, ist ein weiterer Antwortender im selben Thread, ein Mathematiker, der im Grunde erklärt, warum das Unsinn ist. (Hilbert-Räume sind durchgehend, Flecken und Zweige sind diskret.)

Er erklärt auch, dass er von diesem Blog-Beitrag (Ein Leitfaden zur GIT unter Verwendung räumlicher Analogien) inspiriert wurde, was tatsächlich tut Sinn macht.

66
Jörg W Mittag

Es ist ein Witz, wie vom Autor bestätigt und Antwort von Jörg W Mittag ausführlicher erklärt.

Aber Wahrheit kann seltsamer sein als Fiktion ...

Es wurde daran gearbeitet, die Versionskontrolle zu formalisieren, insbesondere die Patch-Theorie von David Roundy, die die Grundlage für Darcs (ein verteiltes Versionskontrollsystem, das dem populäreren Bazaar, Git und Mercurial einige Jahre vorausging) bildet aber nie ihre Popularität erreicht). Das Hauptziel der Theorie ist die Modellierung der Verschmelzung und insbesondere der Konfliktlösung. Das Darcs Wiki enthält eine Einführung in die Theorie und einige Hinweise sowie ein Bibliographie (nicht gepflegt, so veraltet, wenn Sie eine aktuelle Ansicht zu diesem Thema wünschen, aber es wird eine Liste erstellt a mfragebericht 2009 von Petr Baudiš ) und eine Liste von Vorträgen (einschließlich neueren Materials). Es gibt auch ein Wikibook . Eine wegweisende Arbeit ist Ein prinzipieller Ansatz zur Versionskontrolle von Andres Löh, Wouter Swierstra und Daan Leijen .

Die Patch-Theorie führt zu einem kategorialen Modell, das kürzlich in A Categorical Theory of Patches von Samuel Mimram und Cinzia Di Giusto untersucht wurde und Homotopical Patch Theory von Carlo Angiuli, Ed Morehouse, Daniel R. Licata und Robert Harper . In der Arbeit von Mimram und Di Giusto enthält das Modell Dateien als Objekte und Patches als Morphismen. Ich denke, das macht das Zusammenführen eines Zweigs zu einem Funktor - zu einem Endofunktor, wenn Sie in einem einzigen Repository arbeiten. "Homöomorpher Endofunktor" macht für mich keinen Sinn. Und mit Homotopietheorie involviert (ein Konzept aus der Analysis - das ist der Zweig der Mathematik, der Dinge wie Mannigfaltigkeiten und Hilbert-Räume untersucht -, der kürzlich auf ein grundlegendes Modell der Mathematik angewendet wurde, das Homotopietyp) genannt wird Theorie ), Submanifolds eines Hilbert-Raums sind möglicherweise nicht so weit entfernt ...