रुबिरसिया 2019. बीजगणितीय प्रभावों पर निकिता शिलनिकोव

रूबिरसिया सम्मेलन से पहले बहुत कम समय बचा है। जिन लोगों ने अपना टिकट पाने का प्रबंधन नहीं किया, उनके पास अभी भी साइट पर आखिरी में से एक लेने का मौका है। सम्मेलन में निकिता शिलानिकोव बीजीय प्रभावों के बारे में बात करेंगे, लेकिन अब आप रिपोर्ट के विषय पर साक्षात्कार पढ़ सकते हैं।



मुझे बताएं कि आप क्या करते हैं और यह रूबी के साथ कैसे जुड़ा हुआ है?

मैं दो कंपनियों के लिए काम करता हूं जिनके प्रोजेक्ट रूबी में लिखे गए हैं। एक में हम बिलिंग करते हैं, हम कह सकते हैं कि यह एक ऐसा अर्ध-उद्यम है, और दूसरे में हम एक सास सेवा बनाते हैं। ऐसा हुआ कि मैं बहुत सारे ओपन सोर्स करता हूं। चार साल पहले, मैं एक परियोजना में रुचि रखता था, इसमें कार्यक्षमता की खामियां पाई गईं, इसे ठीक करने और बंद करने का फैसला किया। अब मैं दो संगठनों और समुदाय का एक मुख्य डेवलपर हूं। मेरे गितुब पर सब कुछ देखा जा सकता है। काम का एक हिस्सा रोम-आरबी डेटाबेस से संबंधित है, और दूसरा ड्राई-आरबी विभिन्न अवसरों के लिए पुस्तकालयों का एक समूह है।

बीजीय प्रभावों पर आपकी रिपोर्ट, मुझे बताएं कि वे डेवलपर्स को क्या लाभ देते हैं।

यहां आपको एक छोटे से साक्षात्कार की आवश्यकता है। ड्राई-आरबी इकोसिस्टम कार्यात्मक प्रोग्रामिंग से प्रेरित है। लेकिन इसके विकास के दौरान, कुछ प्रेतवाधित हुआ। उदाहरण के लिए, आप एक सास सेवा विकसित कर रहे हैं और डेटा को अलग करने का एक सरल कार्य है। सब कुछ स्पष्ट प्रतीत होता है, किसी प्रकार की सेवा है, कंपनियां इसमें पंजीकृत हैं, और उन्हें एक दूसरे के डेटा तक पहुंच नहीं होनी चाहिए। आप कई तरीकों से हल कर सकते हैं। लेकिन विशुद्ध रूप से कार्यात्मक दृष्टिकोण से, मुझे इस बात का जवाब नहीं मिला कि यह कैसे करना है, पूरे कोड में तर्कों के स्पष्ट हस्तांतरण को छोड़कर। वह अपने "गैर-कार्यात्मक" समाधान के साथ आया था और उसके साथ रहता था।

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

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

आपने मुझे सीधे रिएक्ट हुक के साथ जोड़ दिया। मुझे लगा कि कॉल स्टैक, क्लोजर, करंट स्कोप जैसी कोई चीज बहुत सरल है।

यह वास्तव में है। समस्या यह है कि आपके पास कुछ प्रकार का लेख है जो शब्दार्थ का वर्णन करता है और कैसे, वैज्ञानिक दृष्टिकोण से, यह काम करना चाहिए। यदि आप विनिर्देशों का पालन करते हैं, तो ऐसा प्रतीत होता है कि आप एक पुस्तकालय बना सकते हैं। रिएक्ट के मामले में, यह भी एक पुस्तकालय या कहें, एक ऐसा ढांचा है जो किसी प्रकार की एपीआई प्रदान करता है। यदि आप इसे सही तरीके से उपयोग करते हैं, तो सब कुछ ठीक काम करता है। लेकिन अगर आप बाएं या दाएं जाते हैं, तो यह बुरी तरह से समाप्त हो सकता है। प्रतिक्रिया में, उन्होंने बस स्थितियों में हुक के उपयोग को प्रतिबंधित किया। उन्हें ऐसा करना पड़ा। यह सीमाओं में से एक है।

क्या यह किसी तरह से कोड की शुद्धता के गणितीय प्रमाण से संबंधित है?

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

आप प्रकार और सांख्यिकीय रूप से टाइप की गई प्रोग्रामिंग भाषाओं के बारे में कैसा महसूस करते हैं?

बहुत सकारात्मक। उदाहरण के लिए, हमारे पास रूबी पर एक बैकएंड है, और रीजएमएमएल जैसी चीज पर फ्रंट एंड है। यह OCaml है, लेकिन एक अलग सिंटैक्स के साथ। अन्य सभी चीजें समान होने के कारण, मैं इस प्रकार की प्रणाली की दिशा में एक विकल्प बनाता हूं। यह काफी सरल है और कई भाषाएं हैं जिनमें समान या समान कार्यान्वयन है। अधिक प्रकार, बेहतर है। हालांकि, मैं रूबी में एक बैकेंड लिख रहा हूं और मेरे साथ सब कुछ ठीक है। मैं उन उपकरणों का डेवलपर हूं, जिनके साथ मैं काम करता हूं और वे हमेशा प्रकारों के बारे में रहे हैं: शुष्क-प्रकार , शुष्क-संरचना , शुष्क-स्कीमा , शुष्क-सत्यापन , शुष्क-मोनड । वे उन प्रकारों का वर्णन करने वाले हैं, जो डेटाबेस से, उपयोगकर्ता से, बाहरी सिस्टम से आते हैं। तो आप हमेशा जानते हैं कि रूबी कोड आपके लिए क्या काम करता है। यहां तक ​​कि अगर यह स्वयं द्वारा टाइप नहीं किया गया है, तो आप सुनिश्चित कर सकते हैं कि आप किस प्रकार के चर के साथ काम कर रहे हैं।

ऐसी अफवाहें हैं कि रूबी 3 में टाइप होंगे। आप इस बारे में क्या कहते हैं?

मुझे पायथन के साथ अनुभव है। जब प्रकारों को वहां लाया गया था, तब सत्तारूढ़ बहुत विकसित नहीं था और मैं प्रभावित नहीं था। अब वहां स्थिति बेहतर है। आप वहां जा सकते हैं और हर प्रकार का वर्णन कर सकते हैं और किसी प्रकार की ट्यूनिंग लागू कर सकते हैं, जो यह सत्यापित करेगा कि आपका कार्यक्रम सही है। यह संकलक के लिए किसी तरह के प्रतिस्थापन के बारे में है, अब शर्बत क्या कर रहा है। इस पायथन के लिए कई साल लग गए। मैं हमेशा आंदोलन के प्रकारों का स्वागत करता हूं, लेकिन मुझे कोई भ्रम नहीं है।

एक नया वाक्यविन्यास खोज रहे हैं जिसे आप रूबी कोड के संदर्भ में लागू करने की योजना बनाते हैं?

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

रूबी में आप और क्या देखना चाहेंगे, आप इसका विकास कैसे देखते हैं?

मुझे सहकारी मल्टीटास्किंग में दिलचस्पी होगी। हमारे पास पहले से ही फाइबर के रूप में सहकारी मल्टीटास्किंग है। हमारे पास अभी भी उन्हें कई थ्रेड पर चलाने की क्षमता की कमी है। यह कैसे किया जाएगा इसके विकल्प हैं और यह स्पष्ट नहीं है कि यह किस रूप में है। यह देखते हुए कि रूबी, सी कार्यान्वयन में एक ठोस ठोस विरासत है, मैट्स पिछड़ी संगतता को तोड़ना नहीं चाहता है। मुझे एक साथ चलने वाले तंतुओं और कई धागों के संयोजन की ओर झुकाव है। शायद गिल्ड की तरह कुछ काम करेगा।

इस वर्ष, रूबी के लेखक युकीहिरो मात्सुमोतो सम्मेलन में आते हैं। आप एक कप कॉफी या बाद में एक गिलास खातिर उसके साथ चर्चा करने में क्या दिलचस्पी लेंगे?

सबसे अच्छी बात जो हम भाषाओं या लेखकों के लेखकों के साथ संवाद करने में कर सकते हैं, वह यह दिखाना है कि हम वास्तविक जीवन में इस उत्पाद का उपयोग कैसे करते हैं। इसके अलावा, जैसा कि लेखकों को उम्मीद नहीं थी। यह लेखक को इस तरह के अनुभव को ध्यान में रखने और इसे आगे के विकास में लागू करने का अवसर देगा। मैं पूरी कहानी को बीजगणितीय प्रभावों के साथ दिखाना चाहूंगा। मैं कहूंगा - देखो, आपने जो चमत्कार भाषा बनाई है, उसमें क्या बात हो सकती है। और शायद उसके बाद वह हमारे लिए कुछ और लेकर आएगा।

रूबिरसिया में मिलते हैं!

स्मरण करो कि सम्मेलन इस शनिवार को पहले से ही है, पंजीकरण अभी भी खुला है।

केवल रिपोर्टें ही नहीं होंगी, बल्कि सबसे अच्छी कंपनियों के स्टैंड भी होंगे:

आयोजक - एवरोन
सामान्य साझेदार - शीर्षताल
गोल्ड पार्टनर - गेट
सिल्वर पार्टनर्स - वेलारम , जेटब्रेन , बुकमेट और कैशवगन
कांस्य भागीदार - InSales