Apakah cabang Git, pada kenyataannya, "endofunctors homeomorfik memetakan sub-manifold ruang Hilbert"?


51

Seperti kita ketahui:

Git semakin mudah setelah Anda memahami bahwa cabang adalah endofunctor homeomorfis yang memetakan sub-manifold ruang Hilbert

Yang tampaknya seperti jargon, tetapi di sisi lain,

Semua mengatakan, monad dalam X hanyalah monoid dalam kategori endofunctor X, dengan produk × digantikan oleh komposisi endofunctor dan unit yang ditetapkan oleh endofunctor identitas.

itu lucu karena itu benar .

Bisakah saya menghindari kesalahan penggabungan dengan membaca teks sederhana ini ?


9
Sebagai penggemar git dan seseorang yang memiliki gelar Master dalam matematika terapan, saya menduga jawabannya adalah "Tidak".
joshin4colours

1
Kedengarannya seperti seseorang mencoba membaca buku matematika, tetapi gagal.
tp1

11
Saya tidak mengerti mengapa orang memilih untuk menutup atas dasar bahwa apa yang saya minta tidak jelas. Saya bertanya apakah frasa yang saya kutip itu faktual. (Ungkapan yang saya kutip tersebar luas, seperti yang dapat Anda konfirmasikan dengan Google.)
Larry OBrien

2
direkomendasikan membaca: Diskusikan ini $ {blog}
agas

5
Setelah Anda menghabiskan beberapa waktu mencoba untuk mendapatkan makna dari kalimat itu, Git benar-benar mungkin tampak lebih mudah dipahami daripada sebelumnya ...
stakx

Jawaban:


63

Ini lelucon, yang didasarkan pada lelucon monad, tetapi tanpa benar-benar mendapatkan lelucon monad.

Lelucon monad lucu di tiga tingkat:

  1. ia mencoba menjelaskan jargon matematis abstrak dengan jargon matematis yang lebih, yang bahkan lebih abstrak
  2. Namun, penjelasannya sebenarnya benar
  3. dan begitu Anda menyelam lebih dalam ke teori kategori, Anda akan benar-benar mulai melihat monad sebagai "hanya monoid dalam kategori endofunctors"

Namun, masalah Git hanyalah omong kosong acak. Ini dimaksudkan untuk menyerupai lelucon monad, dan mungkin juga menjadi pukulan pada teori patch darcs, tetapi pada dasarnya, orang yang membuat lelucon itu tidak mengerti lelucon monad.

Sumber:

Ini adalah tweet asli yang berisi kutipan :

Wil Shipley (@wilshipley) : Dewa manis, aku benci git.

Isaac Wolkerstorfer (@agnoster) : @wilshipley git semakin mudah setelah Anda mendapatkan gagasan dasar bahwa cabang adalah endofunctors homeomorfik yang memetakan sub-manifold dari ruang Hilbert.

Dan ini adalah komentar tentang Quora oleh penulis asli tweet :

Untuk mengkonfirmasi apa yang dikatakan Leo, itu dimaksudkan sebagai lelucon. [...]

Itu dimaksudkan sebagai lidah-di-pipi tegas. Saya sebenarnya suka git, dan saya pikir kompleksitasnya sangat berlebihan. Pada saat yang sama, saya bersimpati pada kenyataan bahwa saran dari git gurus kepada pemula dapat berakhir seperti omong kosong yang tidak dapat dipahami.

Itu tidak dimaksudkan untuk memiliki makna yang lebih dalam. [...]

The Leo ia maksudkan adalah penjawab lain di thread yang sama, seorang ahli matematika, yang pada dasarnya menjelaskan mengapa yang omong kosong. (Ruang Hilbert kontinu, tambalan dan cabang terpisah.)

Dia juga menjelaskan bahwa ia terinspirasi oleh posting blog ini (A Guide to GIT menggunakan analogi spasial) , yang sebenarnya tidak masuk akal.


15
Itu mengecewakan.
Larry OBrien

3
@amon: Saya menambahkan kutipan oleh penulis lelucon itu, di mana dia menjelaskan bahwa pernyataan apa pun yang berpotensi membuat pernyataan adalah murni kebetulan: "Upaya untuk menganalisanya dengan cara ini seharusnya sia-sia, tetapi karena bug pada kenyataannya, Anda benar-benar dapat membuat pernyataan bergelombang tangan yang cukup cocok jika Anda berusaha cukup keras. "
Jörg W Mittag

1
+1 untuk alasan diskrit vs. terus menerus untuk mengesampingkan mengapa pernyataan ini salah :)
joshin4colours

9
Saya selalu berasumsi bahwa penulis lelucon memang mendapatkan lelucon monad tetapi sengaja turun untuk omong kosong sebagai parodi. Salah satu dari hal-hal yang mulai masuk akal dan menjadi kurang stabil sampai hanya pada akhirnya Anda dapat yakin omong kosongnya. Tampaknya sulit untuk menyimpulkan bahwa dia tidak mendapatkan lelucon monad.
psr

1
Anda mungkin menemukan penjelasan ini git bisect berguna dalam menjelaskan lelucon. Perhatikan penulisnya.

8

Ini lelucon, seperti yang dikonfirmasi oleh penulis dan jawaban Jörg W Mittag menjelaskan lebih detail.

Tapi kebenaran bisa lebih aneh daripada fiksi ...

Telah ada pekerjaan memformalkan kontrol versi, khususnya teori patch oleh David Roundy yang merupakan dasar dari Darcs (sistem kontrol versi terdistribusi yang mendahului Bazaar, Git dan Mercurial yang lebih populer selama beberapa tahun tetapi tidak pernah mencapai popularitasnya). Tujuan utama dari teori ini adalah untuk memodelkan penggabungan dan, khususnya, penyelesaian konflik. The Darcs wiki memiliki pengenalan teori dan beberapa petunjuk serta bibliografi (terawat sehingga usang jika Anda ingin melihat baru-baru ini pada subjek, tetapi tidak daftar kertas survei 2009 oleh Petr Baudis ) dan daftar pembicaraan ( yang mencakup materi yang lebih baru). Ada juga wikibook . Satu kertas mani adalahPendekatan Prinsip untuk Kontrol Versi oleh Andres Löh, Wouter Swierstra dan Daan Leijen3 .

Teori patch memang mengarah ke model kategorikal, yang baru-baru ini dieksplorasi dalam A Categorical Theory of Patches oleh Samuel Mimram dan Cinzia Di Giusto dan Homotopical Patch Theory oleh Carlo Angiuli, Ed Morehouse, Daniel R. Licata dan Robert Harper . Dalam karya Mimram dan Di Giusto, model memiliki file sebagai objek dan tambalan sebagai morfisme. Saya pikir itu membuat menggabungkan cabang sebagai functor - endofunctor jika Anda bekerja di repositori tunggal. "Homeomorphic endofunctor" tidak masuk akal bagi saya. Dan dengan melibatkan teori homotopy (konsep dari kalkulus - itulah cabang matematika yang mempelajari hal-hal seperti manifold dan ruang Hilbert - yang baru-baru ini diterapkan pada model dasar matematika yang disebutteori tipe homotopy ), submanifold dari ruang Hilbert mungkin tidak terlalu jauh ...


Juga, Darcs ditulis dalam Haskell, jadi ini dibangun di atas monads. :-)
Wyzard --Hentikan Harming Monica--
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.