क्या वीसीएस और फ़ाइल संस्करणों की औपचारिक सीएस परिभाषा है?


12

मुझे नहीं पता कि यह एक मजाक था, लेकिन एक बार मैंने पढ़ा कि एक संस्करण की फ़ाइल में एक औपचारिक परिभाषा के रूप में संदर्भित किया गया था जैसे कि गिट, hg या svn। यह एक गणितीय वस्तु की तरह था जैसे कि होमियोमॉर्फिज़्म। क्या यह मजाक था या संस्करण प्रणालियों और वीसीएस के गणित के बारे में वास्तव में कंप्यूटर विज्ञान सिद्धांत है?


2
मैंने होमोर्फिज्म को होमोमोर्फिज्म में बदल दिया, हालांकि मेरे पास कोई सुराग नहीं है, जहां इस संदर्भ में टोपोलॉजी की खोज करनी है। क्या आपका मतलब होमोर्फिज्म से था?
frafl

3
की तरह कुछ en.wikibooks.org/wiki/Understanding_Darcs/Patch_theory या projects.haskell.org/camp ? जब सिद्धांत और प्रोग्रामिंग की बात आती है तो हैसेल की खोज करना हमेशा एक अच्छा विचार है। मैं इसे एक उत्तर में बदल सकता हूं, लेकिन मुझे लगता है कि इस क्षेत्र के बेहतर ज्ञान वाले लोग हैं।
frafl


आप एक जटिल प्रणाली के रूप में जटिल और महत्वपूर्ण के रूप में कुछ का निर्माण नहीं करते हैं जो आप कर रहे हैं की एक मजबूत औपचारिकता के बिना। जो लोग हैक करते हैं वे कभी-कभी जीनियस हो सकते हैं, लेकिन आमतौर पर वे मूर्ख होते हैं।
बबौ

जवाबों:


11

आप आइजैक वोल्करस्टोफर (@agnoster) के एक ट्वीट के बारे में सोच रहे हैं :

एक बार जब आप मूल विचार प्राप्त कर लेते हैं तो यह आसान हो जाता है कि शाखाएँ एक होमबॉर्फिक एंडोफुन्क्टर हैं जो हिल्बर्ट स्पेस के सबमनिफोल्ड्स की मैपिंग करती हैं।

दुर्भाग्य से, यह एक मजाक है। जैसा कि लेखक ने Quora पर लिखा है :

यह दृढ़ता से जीभ-इन-गाल के रूप में करना था। मुझे वास्तव में गिट से प्यार है, और मुझे लगता है कि इसकी जटिलता बहुत अधिक है। उसी समय, मुझे इस बात से सहानुभूति है कि गिट गुरुओं से लेकर नौसिखियों तक की सलाह अपमानजनक जिबरिश की तरह लग सकती है।

इसका कोई गहरा अर्थ रखने का इरादा नहीं है। इस तरह से इसका विश्लेषण करने का प्रयास निरर्थक होना चाहिए, लेकिन वास्तव में एक बग के कारण, यदि आप पर्याप्त प्रयास करते हैं, तो आप वास्तव में किसी भी पर्याप्त रूप से हाथ से लहराते बयान को फिट बना सकते हैं।

इस पर प्रोग्रामर्स स्टैक एक्सचेंज और गणित स्टैक एक्सचेंज पर चर्चा की गई है ।


एक तरफ मजाक, संस्करण नियंत्रण को औपचारिक बनाने का काम किया गया है। एक प्रयास जो सिद्धांत और व्यवहार को जोड़ता है वह डेविड राउंड द्वारा डार्क्स पर पैच सिद्धांत पर काम है । सिद्धांत का मुख्य उद्देश्य विलय और विशेष रूप से, संघर्ष समाधान को मॉडल करना है। Darcs विकी सिद्धांत का परिचय और एक के साथ ही कुछ संकेत दिए गए है ग्रंथ सूची (ताकि पुराना अगर आप इस विषय पर हाल ही में एक दृश्य चाहते हैं, लेकिन यह सूची एक करता है unmaintained पेट्र Baudis द्वारा 2009 के सर्वेक्षण कागज और की एक सूची) वार्ता ( जिसमें अधिक हाल की सामग्री शामिल है)। एक वाइकबुक भी है । एक सेमिनल पेपर ए प्रिंसीपल एप्रोच टू वर्जन कंट्रोल हैएंड्रेस Löh, Wouter Swierstra और Daan Leijen3 द्वारा

पैच सिद्धांत एक श्रेणीबद्ध मॉडल की ओर ले जाता है, जिसे हाल ही में सैमुअल मीराम और सिंजिया डी गिउस्तो द्वारा एक श्रेणीबद्ध थ्योरी ऑफ पैचेज और कार्लो एंजियोली, एड मोरहाउस, डैनियल आर। लाइसेंसटा और रॉबर्ट हार्पर द्वारा होमोटॉपिकल पैच थ्योरी में खोजा गया है । मिमराम और डि गिउस्तो के काम में, मॉडल में ऑब्जेक्ट्स और पैच के रूप में फाइलें हैं। मुझे लगता है कि यदि आप एक एकल भंडार में काम कर रहे हैं, तो एक शाखा को एक फ़नकार - एक एन्डोफ़ुन्क्टर में विलय कर देता है। "होमियोमॉर्फिक एंडोफ़नक्टर" मेरे लिए मायने नहीं रखता है। सम्‍मिलित सम्‍मिलित सिद्धांत के साथ, हिल्बर्ट स्‍पेस के सबमैनफॉल्‍ड अब तक बाहर नहीं हो सकते ...


3

निश्चित रूप से संस्करण नियंत्रण प्रणालियों के लिए एक गणितीय औपचारिकता है। सीएस में लगभग हर एल्गोरिथ्म के लिए एक गणितीय औपचारिकता है। कई के लिए कई औपचारिकताएं हैं । वहाँ formalisms और प्रणालियों वे के बीच 1-1 से संबंध नहीं है मॉडल । मॉडल सरल से जटिल तक हो सकते हैं। यहां वीसीएस / एससीएम के लिए एक उदाहरण स्वेरास्ट्रा द्वारा दिया गया है, जिसे अभी तक उद्धृत नहीं किया गया है।

SCM में "समानांतर ब्रह्मांड / समयरेखा" की अवधारणा और विज्ञान कथा में कभी - कभी उपयोग की जाने वाली समय यात्रा की समानताएं भी हैं । यह अलग-अलग समय पर विकसित प्रणाली या "स्नैपशॉट" की स्थिति को कैप्चर करता है। "शाखाएं" और "मर्ज" हैं। टाइमलाइन भी देखें ।

हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.