हैक्स ऑटम स्टेटस रिपोर्ट

26 अक्टूबर को, लिंज़ एम रेइन (जर्मनी) ने हेक्से और संबंधित तकनीकों के लिए समर्पित हेक्सअप सत्र 2019 मिनी-सम्मेलन की मेजबानी की । और इसकी सबसे महत्वपूर्ण घटना, निश्चित रूप से, हेक्स 4.0.0 की अंतिम रिलीज (प्रकाशन के समय, यानी, लगभग एक सप्ताह के बाद, 4.0.1 अपडेट जारी की गई थी )। इस लेख में, मैं आपको सम्मेलन की पहली रिपोर्ट का अनुवाद प्रस्तुत करना चाहूंगा - 2019 के लिए हेक्स टीम द्वारा किए गए कार्य पर एक रिपोर्ट।

रिपोर्ट के लेखक के बारे में थोड़ा:

साइमन 2010 से हेक्स के साथ काम कर रहा था, जब वह अभी भी एक छात्र था और फ्लैश में द्रव सिमुलेशन पर एक काम लिखा था। इस तरह के सिमुलेशन के कार्यान्वयन के लिए कणों की स्थिति का वर्णन करने वाले डेटा की निरंतर पहुंच की आवश्यकता होती है (प्रत्येक चरण में 100 से अधिक प्रश्न अनुकार में प्रत्येक कोशिका की स्थिति के बारे में डेटा के सरणियों के लिए किए गए थे), जबकि ActionScript 3 में सरणियों के साथ काम करना इतना तेज़ नहीं है। इसलिए, प्रारंभिक कार्यान्वयन बस निष्क्रिय था और इस समस्या का समाधान खोजने की आवश्यकता थी। अपनी खोज में, साइमन निकोलस कन्नस ( हेक्स के निर्माता) के एक लेख के माध्यम से तत्कालीन अनिर्दिष्ट अल्केमी ऑपकोड पर उपलब्ध थे जो एक्शनस्क्रिप्ट का उपयोग करके उपलब्ध नहीं थे, लेकिन हेक्स ने उन्हें उपयोग करने की अनुमति दी। ऑक्सकोड का उपयोग करके हेक्स पर सिमुलेशन को फिर से शुरू करते हुए, साइमन को एक कार्य सिमुलेशन मिला! और इसलिए, एक्शनस्क्रिप्ट में धीमी गति से सरणियों के लिए धन्यवाद, साइमन ने हेक्स के बारे में सीखा।

2011 के बाद से, साइमन हेक्स के विकास में शामिल हो गए, उन्होंने ओकेम्ल (जिस पर कंपाइलर लिखा है) का अध्ययन करना शुरू किया और कंपाइलर को कई सुधार किए।

और 2012 के बाद से, वह मुख्य कंपाइलर डेवलपर बन गया। उसी वर्ष, हेक्स फाउंडेशन बनाया गया (एक संगठन जिसका मुख्य लक्ष्य हैक्स पारिस्थितिकी तंत्र को विकसित करना और बनाए रखना है, समुदाय को सम्मेलनों और परामर्श सेवाओं को व्यवस्थित करने में मदद करना), और साइमन इसके सह-संस्थापकों में से एक बन गया।

2014-2015 में, साइमन ने जोसेफिन पर्टोसा को हेक्स फाउंडेशन में आमंत्रित किया, जो समय के साथ सम्मेलनों और सामुदायिक संबंधों के आयोजन के लिए जिम्मेदार बन गया।

2016 में, साइमन ने हेक्स पर अपनी पहली प्रस्तुति दी , और 2018 में पहली हेक्सअप सत्र का आयोजन किया।

तो पिछले 2019 में हेक्स की दुनिया में क्या हुआ था?

फरवरी और मार्च में, 2 रिलीज उम्मीदवार बाहर आए (4.0.0-rc1 और 4.0.0-rc2)
अप्रैल में, ऑरेल बिली (एक प्रशिक्षु के रूप में) और अलेक्जेंडर कुजमेनको (कंपाइलर डेवलपर के रूप में) हेक्सा फाउंडेशन टीम में शामिल हुए।

मई में, हेक्स यूएस समिट 2019 आयोजित किया गया था ।
जून में, हैक्स 4.0.0-आरसी 3 जारी किया गया था। और सितंबर में - हैक्स 4.0.0-आरसी 4 और हैक्स 4.0.0-आरसी 5।

हैक्स न केवल एक संकलक है, बल्कि विभिन्न उपकरणों का एक पूरा सेट भी है, और पूरे वर्ष उन पर काम भी लगातार आयोजित किया गया था:
एंडी ली के प्रयासों के लिए धन्यवाद , हेक्स अब ट्रैविस सीआई और एपवेयर के बजाय एज़्योर पाइपलाइनों का उपयोग करता है। इसका मतलब है कि विधानसभा और स्वचालित परीक्षण अब बहुत तेजी से हो रहे हैं।
ह्यूग सैंडर्सन hxcpp (Haxe में C ++ का समर्थन करने के लिए एक पुस्तकालय) पर काम करना जारी रखता है।
अचानक, Github terurou और takashiski के उपयोगकर्ता Node.js. के लिए बाहरी कार्य में शामिल हो गए
रूडी गेस ने सी # लक्ष्य का समर्थन करने के लिए सुधार और सुधार पर काम किया।
जॉर्ज कॉर्नी HTML एक्सट्रीम जनरेटर का समर्थन करना जारी रखता है।
जेन्स फिशर vxxe (Haxe के साथ काम करने के लिए VS कोड के लिए एक विस्तार) और कई अन्य Haxa संबंधित परियोजनाओं पर काम कर रहा है।

और वर्ष की मुख्य घटना, निश्चित रूप से, Haxe 4.0.0 (साथ ही neko 2.3.0) की लंबे समय से प्रतीक्षित रिलीज थी , जो गलती से HaxeUp 2019 लिंज़ :) के साथ मेल खाती थी

साइमन ने रिपोर्ट के बड़े हिस्से को हेक्स 4.0.0 में नई विशेषताओं के लिए समर्पित किया (आप पिछले हेक्स यूएस समिट 2019 से अलेक्जेंडर कुजमेनको की रिपोर्ट से उनके बारे में भी जान सकते हैं)।

नया eval मैक्रो दुभाषिया पुराने की तुलना में कई गुना तेज है। साइमन ने हेक्स समिट ईयू 2017 में अपने भाषण में उनके बारे में विस्तार से बात की। लेकिन तब से इसने कोड की डिबगिंग क्षमताओं में सुधार किया है, कई बगों को ठीक किया है, स्ट्रिंग्स के कार्यान्वयन को फिर से डिज़ाइन किया है।

हेक्स 4 सभी प्लेटफार्मों (नेको को छोड़कर) के लिए यूनिकोड समर्थन का परिचय देता है। साइमन ने अपने अंतिम वर्ष के भाषण में इसका विस्तार से वर्णन किया। संकलक के अंतिम उपयोगकर्ता के लिए, इसका मतलब है कि अभिव्यक्ति "Haxeは最高だぞ！".length for "Haxeは最高だぞ！".length सभी प्लेटफार्मों के लिए "Haxeは最高だぞ！".length हमेशा 10 (फिर से नेको को छोड़कर) वापस आ जाएगी।

UCS-2 एन्कोडिंग न्यूनतम रूप से समर्थित है (प्रत्येक प्लेटफॉर्म / भाषा के लिए एक मूल समर्थित एन्कोडिंग का उपयोग किया जाता है, हर जगह समान एन्कोडिंग का समर्थन करने की कोशिश करना अव्यावहारिक होगा):

• JavaScript, Flash, HashLink और C ++ UCS-2 एन्कोडिंग का उपयोग करते हैं
• eval, PHP, lua के लिए - UTF-8
• जावा और C # के लिए - UTF-16
• पायथन के लिए - UTF-32

सभी चरित्र जो मुख्य बहुभाषी विमान (इमोजी सहित) के बाहर हैं, उन्हें "सरोगेट जोड़े" के रूप में दर्शाया गया है - ऐसे पात्रों का प्रतिनिधित्व दो बाइट्स द्वारा किया जाता है। उदाहरण के लिए, यदि जावा / C # / जावास्क्रिप्ट (यानी, UTF-16 और UCS-2 एन्कोडिंग में तार के लिए) एक इमोजी से मिलकर एक स्ट्रिंग की लंबाई का अनुरोध करने के लिए, परिणाम "2" होगा। इन प्लेटफार्मों पर इस तरह के तार के साथ काम करते समय इस तथ्य को ध्यान में रखा जाना चाहिए।

हैक्स 4 एक नए प्रकार के पुनरावृत्ति का परिचय देता है - कुंजी-मूल्य:

यह प्रकार के कंटेनरों के साथ काम करता है Map (शब्दकोशों) और तार (स्ट्रिंगटूल वर्ग का उपयोग करके), सरणियों के लिए समर्थन अभी तक लागू नहीं किया गया है। कस्टम कक्षाओं के लिए इस तरह के एक keyValueIterator():KeyValueIterator<K, V> को लागू करना भी संभव है, इसके लिए यह keyValueIterator():KeyValueIterator<K, V> विधि उनके लिए लागू करने के लिए पर्याप्त है keyValueIterator():KeyValueIterator<K, V> ।

नया मेटा टैग @:using आप स्टेटिक एक्सटेंशन को उनकी घोषणा के स्थान पर प्रकारों के साथ जोड़ सकते हैं।

नीचे दिए गए उदाहरण में, MyOption गणन MyOption के साथ जुड़ा हुआ है, इसलिए हम सांख्यिकीय रूप से इस गणना का विस्तार करते हैं (जो सामान्य स्थिति में असंभव है) और इसे एक ऑब्जेक्ट विधि के रूप में संदर्भित करते हुए, get() विधि को कॉल करने का अवसर get() ।

इस उदाहरण में, get() विधि इनलाइन है, जो कंपाइलर को कोड को और अधिक ऑप्टिमाइज़ करने की भी अनुमति देता है: MyOptionTools.get(myOption) विधि को कॉल करने के बजाय, कंपाइलर संग्रहीत मूल्य को प्रतिस्थापित करेगा, अर्थात 12 ।

यदि विधि को एम्बेड करने योग्य घोषित नहीं किया जाता है, तो प्रोग्रामर के लिए उपलब्ध एक अन्य अनुकूलन उपकरण उनके कॉल (कॉल-साइट इनलाइनिंग) के स्थान पर फ़ंक्शन को एम्बेड करने के लिए है। ऐसा करने के लिए, फ़ंक्शन को कॉल करते समय, आपको अतिरिक्त रूप से inline उपयोग करना होगा:

डेनियल कोरोस्टेलेव के काम के लिए धन्यवाद, हेक्स के पास अब जावास्क्रिप्ट के लिए ईएस 6 कक्षाएं उत्पन्न करने का अवसर है। बस आपको संकलन ध्वज को जोड़ने की जरूरत है -D js-es=6 ।

वर्तमान में, कंपाइलर पूरे प्रोजेक्ट के लिए एक js फाइल बनाता है (भविष्य में यह संभव हो सकता है कि प्रत्येक वर्ग के लिए अलग-अलग js फाइलें तैयार की जाए, लेकिन अभी तक यह केवल अतिरिक्त टूल का उपयोग करके किया जा सकता है)।

अमूर्त गणना के लिए, मान अब स्वचालित रूप से उत्पन्न होते हैं।

हेक्स 3 में, प्रत्येक निर्माता के लिए मानों को मैन्युअल रूप से सेट करना आवश्यक था। Haxe 4 में, Int शीर्ष पर बनाए गए अमूर्त एन्यूमरेशन समान नियमों के अनुसार C. के समान व्यवहार करते हैं। स्ट्रिंग्स के शीर्ष पर बनाए गए अमूर्त एन्यूमरेशंस समान रूप से व्यवहार करते हैं - उनके लिए, उत्पन्न मान कंस्ट्रक्टर्स के नामों के साथ मेल खाएंगे।

कुछ वाक्यविन्यास सुधार भी ध्यान देने योग्य हैं:

• सार गणना और बाहरी कार्य हेक्स के पूर्ण सदस्य बन गए हैं और अब आपको उन्हें घोषित करने के लिए @:enum और @:extern मेटा टैग का उपयोग करने की आवश्यकता नहीं है
• चौथा हेक्स एक नए प्रकार के प्रतिच्छेदन सिंटैक्स का उपयोग करता है जो बेहतर ढंग से विस्तार संरचनाओं के सार को दर्शाता है। डेटा संरचनाओं की घोषणा करते समय इस तरह के निर्माण सबसे अधिक उपयोगी होते हैं: अभिव्यक्ति typedef T = A & B मतलब है कि संरचना T में सभी फ़ील्ड हैं जो A और B प्रकार में हैं।
• इसी तरह, चार घोषित प्रकार पैरामीटर की कमी: प्रविष्टि <T:A & B> इंगित करता है कि पैरामीटर T का प्रकार A ही समय में A और B होना चाहिए।
• पुराना सिंटैक्स काम करेगा (प्रकार प्रतिबंधों के लिए सिंटैक्स को छोड़कर, क्योंकि यह फ़ंक्शन प्रकारों का वर्णन करने के लिए नए सिंटैक्स के साथ संघर्ष करेगा)

फ़ंक्शन प्रकारों (फ़ंक्शन प्रकार सिंटैक्स) का वर्णन करने के लिए नया सिंटैक्स अधिक तार्किक है: फ़ंक्शन तर्कों के प्रकारों के आसपास कोष्ठक का उपयोग करना पढ़ना आसान है। इसके अलावा, नया सिंटैक्स आपको तर्क नामों को परिभाषित करने की अनुमति देता है, जिसका उपयोग कोड के लिए प्रलेखन के भाग के रूप में किया जा सकता है (हालांकि यह टाइपिंग को प्रभावित नहीं करता है)।

इस मामले में, पुराने सिंटैक्स का समर्थन जारी रहता है और इसे घटाया नहीं जाता है, जैसा कि अन्यथा, मौजूदा कोड में बहुत अधिक बदलावों की आवश्यकता होगी (साइमन खुद को लगातार आदत से बाहर पाता है और पुराने वाक्यविन्यास का उपयोग करना जारी रखता है)।

Haxe 4 में अंत में एरो फ़ंक्शंस (या लैम्ब्डा एक्सप्रेशन) हैं!

हैक्स में तीर के कार्य की विशेषताएं हैं:

• निहितार्थ। यदि फ़ंक्शन बॉडी में एक अभिव्यक्ति होती है, तो यह फ़ंक्शन स्पष्ट रूप से इस अभिव्यक्ति का मान लौटाता है
• फ़ंक्शन तर्क के प्रकार सेट करना संभव है, क्योंकि संकलक हमेशा आवश्यक प्रकार निर्धारित नहीं कर सकता (जैसे Float या Int )
• यदि फ़ंक्शन के शरीर में कई अभिव्यक्तियां होती हैं, तो आपको इसे घुंघराले ब्रेसिज़ के साथ घेरने की आवश्यकता है
• लेकिन फ़ंक्शन के रिटर्न प्रकार को स्पष्ट रूप से सेट करने का कोई तरीका नहीं है

सामान्य तौर पर, तीर फ़ंक्शंस का सिंटैक्स जावा 8 में इस्तेमाल होने वाले समान है (हालांकि यह कुछ अलग तरह से काम करता है)।

और चूंकि हमने जावा का उल्लेख किया है, इसलिए यह कहा जाना चाहिए कि हेक्स 4 में सीधे जेवीएम बायटेकोड उत्पन्न करना संभव हो गया। ऐसा करने के लिए, जावा के तहत एक परियोजना को संकलित करते समय, केवल -D jvm ध्वज जोड़ें।

जेवीएम बायटेकोड उत्पन्न करने का अर्थ है कि जावा कंपाइलर का उपयोग करने की कोई आवश्यकता नहीं है, और संकलन प्रक्रिया बहुत तेज है।

अब तक, जेवीएम लक्ष्य के निम्नलिखित कारणों के लिए प्रयोगात्मक स्थिति है:

• कुछ मामलों में, बाईटेकोड जावा में हेक्स का अनुवाद करने और फिर जेवैक के संकलन के परिणाम से थोड़ा धीमा है। लेकिन कंपाइलर टीम समस्या से अवगत है और यह जानती है कि इसे कैसे ठीक किया जाए, इसके लिए बस अतिरिक्त काम की आवश्यकता होती है।
• एंड्रॉइड पर मेथडांडल के साथ समस्याएं हैं, जिसके लिए अतिरिक्त काम भी करना पड़ता है (अगर इन समस्याओं को हल करने में मदद की जाती है तो साइमन को खुशी होगी)।

सीधे बायटेकोड उत्पन्न करने की एक सामान्य तुलना (जीनज्वम) और हैक्स को जावा कोड में संकलित करना, जिसे बाद में बायटेकोड (जेनजावा) में संकलित किया जाता है:

• जैसा कि पहले ही उल्लेख किया गया है, संकलन की गति के मामले में, जीनज्वम, जीनजवा से तेज है
  निष्पादन की गति के संदर्भ में, बायटेकोड जीनज्वम अभी भी जीनजावा से नीच है
• प्रकार के मापदंडों और जेनजावा का उपयोग करते समय कुछ समस्याएं हैं
• genJvm फ़ंक्शन को संदर्भित करने के लिए MethodHandle का उपयोग करता है, और genjava तथाकथित "वेनक फ़ंक्शंस" का उपयोग करता है (कौए वानेक के सम्मान में, जिसके लिए जावा और सी # समर्थन हेक्स में दिखाई दिया)। यद्यपि वेनक-फ़ंक्शंस का उपयोग करके प्राप्त कोड सुंदर नहीं दिखता है, यह काम करता है और जल्दी से पर्याप्त काम करता है।

जावा के साथ Haxe में काम करने के सामान्य सुझाव:

• इस तथ्य के कारण कि जावा में कचरा कलेक्टर तेज है, इससे जुड़ी समस्याएं दुर्लभ हैं। बेशक, लगातार नई वस्तुओं का निर्माण करना एक अच्छा विचार नहीं है, लेकिन जावा मेमोरी को प्रबंधित करने का एक अच्छा काम करता है और आवंटन की निरंतर देखभाल करने की आवश्यकता हक्स द्वारा समर्थित कुछ अन्य प्लेटफार्मों पर उतनी तीव्र नहीं है (उदाहरण के लिए, हैशलिंक में)
• एक jvm लक्ष्य में एक वर्ग के खेतों तक पहुँचना उस स्थिति में बहुत धीमी गति से काम कर सकता है जब यह एक संरचना ( typedef ) के माध्यम से किया जाता है - अभी के लिए, कंपाइलर ऐसे कोड का अनुकूलन नहीं कर सकता है
• inline कीवर्ड के अत्यधिक उपयोग से बचा जाना चाहिए - जेआईटी संकलक एक बहुत अच्छा काम करता है
• Null<T> का उपयोग करने से बचें, खासकर जब जटिल गणितीय गणनाओं से निपटना हो। अन्यथा, उत्पन्न कोड में बहुत सारे सशर्त वक्तव्य दिखाई देंगे, जो आपके कोड की गति को नकारात्मक रूप से प्रभावित करेगा।

नया Haxe 4 फीचर, Null सेफ्टी, Null<T> इस्तेमाल से बचने में मदद कर सकता है। अलेक्जेंडर कुजमेनको ने पिछले साल के हेक्सअप में उनके बारे में विस्तार से बात की थी ।

ऊपर की स्लाइड में उदाहरण में, स्थिर safe() पद्धति में नल सुरक्षा सक्षम करने के लिए जाँच के लिए स्ट्रिक्ट मोड है, और इस विधि में एक वैकल्पिक arg पैरामीटर है, जो शून्य हो सकता है। इस फ़ंक्शन को सफलतापूर्वक संकलित करने के लिए, प्रोग्रामर को arg तर्क मान का एक चेक जोड़ने की आवश्यकता होगी (अन्यथा, संकलक एक संभावित अशक्त वस्तु पर charAt() विधि को कॉल करने की असंभवता के बारे में एक संदेश प्रदर्शित करेगा।

रिक्त सुरक्षा को पैकेज स्तर (मैक्रो का उपयोग करके) और वस्तुओं के व्यक्तिगत क्षेत्रों ( @:nullSafety मेटा टैग का उपयोग करके) दोनों में कॉन्फ़िगर किया जा सकता है।

ऐसे मोड जिनमें नल सिक्योरिटी चेक काम करता है वे हैं: स्ट्रिक्ट, लूज़, और ऑफ। विश्व स्तर पर, ये चेक अक्षम हैं (ऑफ-मोड)। जब वे चालू होते हैं, तो डिफ़ॉल्ट रूप से ढीले मोड का उपयोग किया जाता है (जब तक कि आप स्पष्ट रूप से मोड निर्दिष्ट नहीं करते हैं)। ढीले और सख्त मोड के बीच महत्वपूर्ण अंतर यह है कि ढीले मोड इन मूल्यों तक पहुँचने के संचालन के बीच मूल्यों को बदलने की संभावना की अनदेखी करता है। नीचे दिए गए स्लाइड पर उदाहरण में, हम देखते हैं कि चर x लिए एक null चेक जोड़ा गया है। हालांकि, स्ट्रिक्ट मोड में, यह कोड संकलित नहीं करता है, क्योंकि चर x साथ सीधे काम करने से पहले, sideEffect() विधि को sideEffect() , जो इस चर के मूल्य को संभावित रूप से कम कर सकता है, इसलिए आपको एक और चेक जोड़ने या चर के मूल्य को एक स्थानीय चर में कॉपी करने की आवश्यकता होगी, जिसे हम काम करना जारी रखेंगे।

Haxe 4 एक नया final कीवर्ड प्रस्तुत करता है, जिसका संदर्भ के आधार पर एक अलग अर्थ है:

• यदि आप इसका उपयोग var कीवर्ड के बजाय करते हैं, तो इस तरह से घोषित फ़ील्ड को एक नया मान नहीं सौंपा जा सकता है। आप इसे केवल तब ही सेट कर सकते हैं जब घोषणा की जाती है (स्थिर क्षेत्रों के लिए) या कंस्ट्रक्टर में (गैर-स्थिर क्षेत्रों के लिए)
• यदि आप एक वर्ग की घोषणा करते समय इसका उपयोग करते हैं, तो यह इससे विरासत को रोक देगा
• यदि आप इसे किसी वस्तु की संपत्ति तक पहुँचने के लिए एक संशोधक के रूप में उपयोग करते हैं, तो यह व्युत्पन्न वर्गों में गेट्टर / सेटर के पुनर्परिभाषित को प्रतिबंधित करता है।

सैद्धांतिक रूप से, संकलक, final कीवर्ड को पूरा करते हुए, कोड को अनुकूलित करने का प्रयास कर सकता है, यह मानते हुए कि इस क्षेत्र का मूल्य नहीं बदलता है। लेकिन अभी के लिए, इस संभावना पर केवल विचार किया जा रहा है और संकलक में लागू नहीं किया गया है।

और Haxe के भविष्य के बारे में थोड़ा:

• वर्तमान में अतुल्यकालिक I / O API पर काम कर रहा है
  Coroutine समर्थन की योजना बनाई गई है, लेकिन अभी तक, उन पर काम योजना के चरण में अटका हुआ है। शायद वे हेक्स 4.1 में दिखाई देंगे, और शायद बाद में।
• संकलक में टेल-कॉल ऑप्टिमाइज़ेशन दिखाई देगा
• और संभवतः मॉड्यूल स्तर पर उपलब्ध फ़ंक्शन । यद्यपि इस सुविधा की प्राथमिकता लगातार बदल रही है