Wie wir alle wissen:
Git wird einfacher, wenn Sie verstehen, dass Zweige homöomorphe Endofunktoren sind, die Untervielfaltigkeiten eines Hilbert-Raums abbilden
Was wie Jargon scheint , 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 vom Identitätsendofunktor festgelegte Einheit ersetzt wird.
ist lustig, weil es wahr ist .
Kann ich vermeiden, Fehler zusammenzuführen, indem ich diesen einfachen Text lese ?
Antworten:
Es ist ein Witz, der auf dem Monadenwitz basiert, aber ohne den Monadenwitz wirklich zu verstehen.
Der Monadenwitz ist auf drei Ebenen lustig:
Das Git-Ding ist jedoch nur zufälliges 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 gemacht hat, den Monadenwitz nicht verstanden.
Quellen:
Dies ist der Original-Tweet mit dem Zitat :
Und dies ist ein Kommentar zu Quora vom ursprünglichen Autor des Tweets :
Der Löwe, 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 inspiriert wurde diese Blog - Post (A Guide to GIT mit räumlichen Analogien) , die eigentlich macht Sinn.
quelle
Es ist ein Witz, wie der Autor bestätigt und Jörg W. Mittag ausführlicher erklärt.
Aber Wahrheit kann seltsamer sein als Fiktion ...
Die Versionskontrolle wurde formalisiert, insbesondere die Patch-Theorie von David Roundy, die die Grundlage für Darcs bildet (ein verteiltes Versionskontrollsystem, das dem populäreren Bazaar, Git und Mercurial einige Jahre vorausging, jedoch nie seine Popularität erreichte). Das Hauptziel der Theorie ist das Modellieren der Verschmelzung und insbesondere der Konfliktlösung. Das Darcs-Wiki enthält eine Einführung in die Theorie und einige Hinweise sowie eine Bibliographie (die nicht mehr aktuell ist, wenn Sie eine aktuelle Ansicht zu diesem Thema wünschen, aber eine Übersicht über das Jahr 2009 von Petr Baudiš enthält ) und eine Liste mit Vorträgen ( welches neueres Material enthält). Es gibt auch ein Wikibook . Eine wegweisende Arbeit istEin grundsätzlicher Ansatz zur Versionskontrolle von Andres Löh, Wouter Swierstra und Daan Leijen3 .
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 sowie in Homotopical Patch Theory von Carlo Angiuli, Ed Morehouse, Daniel R. Licata und Robert Harper untersucht wurde . 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 Functor - einem Endofunctor, wenn Sie in einem einzigen Repository arbeiten. "Homöomorpher Endofunktor" macht für mich keinen Sinn. Und in Bezug auf die Homotopietheorie (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 namens angewendet wurde)Homotopietypentheorie ) sind Unterverteilungen eines Hilbert-Raums vielleicht nicht so weit entfernt ...
quelle