ในความเป็นจริงแล้วสาขาของ Git คือ“ การทำแผนที่ endomunic endofunctors การทำแผนที่ submanifolds ของพื้นที่ Hilbert” หรือไม่?

ในขณะที่เราทุกคนรู้ว่า:

Git ง่ายขึ้นเมื่อคุณเข้าใจสาขาคือการทำแผนที่ endofunctors การทำแผนที่โฮมโมมอนิฟิลของพื้นที่ฮิลแบร์ต

ซึ่งดูเหมือนศัพท์แสง แต่ในทางกลับกัน

ทั้งหมดบอกว่า monad ใน X เป็นเพียง monoid ในหมวดหมู่ของ endofunctors ของ X ด้วยผลิตภัณฑ์×แทนที่ด้วยองค์ประกอบของ endofunctors และหน่วยที่กำหนดโดย endofunctor ตัวตน

เป็นตลกเพราะมันเป็นความจริง

ฉันจะหลีกเลี่ยงการรวมข้อผิดพลาดโดยการอ่านข้อความง่าย ๆ นี้ได้ไหม

มันเป็นเรื่องตลกที่มีพื้นฐานมาจากมุขตลก แต่ไม่ได้รับเรื่องตลกโมนา

เรื่องตลก Monad เป็นเรื่องตลกในสามระดับ:

1. มันพยายามอธิบายศัพท์แสงทางคณิตศาสตร์ที่เป็นนามธรรมด้วยศัพท์แสงทางคณิตศาสตร์ที่มากขึ้นซึ่งเป็นนามธรรมที่มากยิ่งขึ้น
2. อย่างไรก็ตามคำอธิบายนั้นถูกต้องจริง
3. และเมื่อคุณดำน้ำลึกลงไปในทฤษฎีหมวดหมู่คุณจะเริ่มเห็น monads เป็น "เพียง monoid ในหมวดหมู่ของ endofunctors"

อย่างไรก็ตามสิ่งที่ Git เป็นเพียงการพูดพล่อยๆแบบสุ่ม มันมีความหมายคล้ายกับมุขตลกและอาจเป็นกระทุ้งที่ทฤษฎีแพทช์ darcs แต่โดยพื้นฐานแล้วคนที่ทำเรื่องตลกไม่เข้าใจเรื่องตลกของโมนาด

แหล่งที่มา:

นี่คือทวีตดั้งเดิมที่มีคำพูด :

Wil Shipley (@wilshipley) : พระเจ้าแสนหวานฉันเกลียดคอมไพล์

Isaac Wolkerstorfer (@agnoster) : @ wilshipleyคอมไพล์ได้ง่ายขึ้นเมื่อคุณได้รับความคิดพื้นฐานที่สาขาเป็น homeomorphic endofunctors การทำแผนที่ submanifolds ของพื้นที่ Hilbert

และนี่คือความคิดเห็นเกี่ยวกับ Quora โดยผู้เขียนต้นฉบับของทวีต :

เพื่อยืนยันสิ่งที่ลีโอพูดมันเป็นเรื่องตลก [ ... ]

มันตั้งใจไว้อย่างแน่นหนาที่ใช้ลิ้น จริง ๆ แล้วฉันรักคอมไพล์และฉันคิดว่ามันซับซ้อนมากเกินไป ในขณะเดียวกันฉันก็เห็นอกเห็นใจต่อความจริงที่ว่าคำแนะนำจากผู้เชี่ยวชาญด้าน git ไปจนถึงสามเณรสามารถทำให้เกิดเสียงเหมือนคำพูดที่ไม่น่าเชื่อถือ

มันไม่ได้ตั้งใจจะมีความหมายที่ลึกซึ้งกว่านี้ [ ... ]

สิงห์เขาจะหมายถึงเป็นผู้ตอบอื่นในหัวข้อเดียวกันนักคณิตศาสตร์ที่พื้นอธิบายว่าทำไมว่าเป็นเรื่องไร้สาระ (ช่องว่างของฮิลแบร์ตเป็นแบบต่อเนื่องแพทช์และกิ่งก้านแยก)

นอกจากนี้เขายังอธิบายว่าเขาได้รับแรงบันดาลใจจากการโพสต์บล็อกนี้ (คู่มือการใช้ Git อุปมาอวกาศ)ซึ่งอันที่จริงไม่ทำให้ความรู้สึก

มันเป็นเรื่องตลกที่ได้รับการยืนยันโดยผู้เขียนและคำตอบของJörg W Mittagอธิบายในรายละเอียดเพิ่มเติม

แต่ความจริงอาจแปลกกว่านิยาย ...

มีงานเกี่ยวกับการควบคุมเวอร์ชันอย่างเป็นทางการโดยเฉพาะอย่างยิ่งทฤษฎีการแพทช์ของ David Roundy ซึ่งเป็นพื้นฐานของDarcs (ระบบควบคุมเวอร์ชันแบบกระจายซึ่งนำหน้าบาซ่าร์ Git และ Mercurial ที่ได้รับความนิยมมากขึ้นในช่วงสองปีที่ผ่านมา วัตถุประสงค์หลักของทฤษฎีนี้คือการรวมตัวแบบและโดยเฉพาะอย่างยิ่งการแก้ไขความขัดแย้ง Darcs วิกิพีเดียมีการแนะนำให้กับทฤษฎีและคำแนะนำไม่กี่เช่นเดียวกับบรรณานุกรม (unmaintained ดังนั้นล้าสมัยถ้าคุณต้องการมุมมองที่ผ่านมาเกี่ยวกับเรื่องนี้ แต่มันก็ไม่รายการกระดาษสำรวจปี 2009 โดยปีเตอร์Baudiš ) และรายชื่อของการเจรจา ( ซึ่งรวมถึงเนื้อหาล่าสุด) นอกจากนี้ยังมีวิกิตำรา หนึ่งกระดาษน้ำเชื้อคือวิธีจริยธรรมเพื่อการควบคุมเวอร์ชันโดย Andres Loh, Wouter Swierstra และ Daan Leijen3

ทฤษฎี Patch ไม่นำไปสู่รูปแบบเด็ดขาดซึ่งได้รับการสำรวจเมื่อเร็ว ๆ นี้ในทฤษฎีหมวดหมู่ของแพทช์โดยซามูเอล Mimram และ Cinzia Di GiustoและHomotopical ทฤษฎี Patchโดยคาร์โล Angiuli เอ็ด Morehouse, แดเนียลอาร์ Licata โรเบิร์ตฮาร์เปอร์ ในการทำงานของ Mimram และ Di Giusto ตัวแบบมีไฟล์เป็นวัตถุและแพทช์เป็นมอร์ฟิซึ่มส์ ฉันคิดว่านั่นทำให้การรวมสาขาเป็น functor ซึ่งเป็น endofunctor ถ้าคุณกำลังทำงานในที่เก็บเดียว “ Homeomorphic endofunctor” ไม่สมเหตุสมผลกับฉัน และด้วยทฤษฎี homotopy ที่เกี่ยวข้อง (แนวคิดจากแคลคูลัส - นั่นคือสาขาของคณิตศาสตร์ที่ศึกษาสิ่งต่าง ๆ เช่น manifolds และช่องว่างของ Hilbert - ซึ่งเพิ่งถูกนำไปใช้กับแบบจำลองพื้นฐานของคณิตศาสตร์ที่เรียกว่าทฤษฎีประเภท homotopy ) submanifolds ของพื้นที่ Hilbert อาจไม่ไกล ...