ڪئين دادا اندروني حوالن کي چالو ڪري ٿو

خود-حوالو مسئلو جيڪو ڏهاڪن تائين سسٽم پروگرامنگ جو شڪار آهي

جيڪڏهن توهان ڪڏهن ڪوشش ڪئي آهي گراف، ٻيڻو ڳنڍيل لسٽ، يا هڪ مبصر نمونو ڪنهن ٻوليءَ ۾ سخت ملڪيت جي ضابطن سان، توهان کي خبر آهي درد. ذاتي حوالي سان ڊيٽا جي جوڙجڪ - جتي هڪ ساخت جو هڪ حصو ساڳئي ساخت جي ٻئي حصي ڏانهن اشارو رکي ٿو - محفوظ طور تي بيان ڪرڻ تمام ڏکيو آهي. مورچا ڊولپرز سالن کان ان سان وڙھي رھيا آھن، پن، غير محفوظ بلاڪ، يا ميدان مختص ڪندڙ صرف ماڊل نمونن تائين پھچندا آھن جيڪي ڪچري جي گڏ ڪيل ٻولين ۾ معمولي محسوس ڪندا آھن. دادا، تجرباتي پروگرامنگ ٻولي نيڪو ميٽسڪيس پاران ٺاهيل آهي، هڪ بنيادي طور تي مختلف طريقو اختيار ڪري ٿو. زمين تي ملڪيت ۽ اجازتن تي غور ڪندي، دادا ميموري جي حفاظت کي قربان ڪرڻ کان سواءِ اندروني حوالن کي قابل بڻائي ٿو - ۽ ان جا اثر علمي تجسس کان تمام گهڻو پري آهن.

اندروني حوالا ڇا آهن ۽ اهي ڇو اهميت رکن ٿا؟

هڪ اندروني حوالو تڏهن ٿئي ٿو جڏهن هڪ فيلڊ ڊيٽا جي جوڙجڪ جي اندر ساڳي ساخت جي اندر ڪنهن ٻئي فيلڊ ڏانهن اشارو ڪري ٿي. غور ڪريو هڪ parser جيڪو رکي ٿو هڪ ماخذ اسٽرنگ ۽ ان اسٽرنگ ۾ هڪ سلائس، يا هڪ UI جزو جيڪو ذخيرو ڪري ٿو ٻارن جي ويجيٽس جي فهرست سان گڏ هڪ پوائنٽر سان گڏ هن وقت مرکوز ٻار ڏانهن. اهي نمونا حقيقي دنيا جي سافٽ ويئر ۾ مسلسل ظاهر ٿيندا آهن: ايونٽ سسٽم، دستاويزن جا ماڊل، ترتيب واري وڻ، ۽ ڪم فلو انجڻ، سڀ ڪجهه خود حوالي جي ڪجهه فارم تي ڀاڙين ٿا.

پائٿون يا جاوا اسڪرپٽ جهڙن ٻولين ۾، گندگي گڏ ڪرڻ بُڪ ڪيپنگ کي پوشيده طور سنڀاليندو آهي. توھان ريفرنس ٺاھيو ٿا، ۽ رن ٽائم کي يقيني بڻائي ٿو ياداشت جيئري رھندي جيستائين ڪجھ ان ڏانھن اشارو ڪري. پر سسٽم ٻولين ۾ جيڪي صفر-قيمتي خلاصن کي ترجيح ڏين ٿا ۽ ريسورس مئنيجمينٽ جو تعين ڪن ٿا، مرتب ڪندڙ کي ثبوت جي ضرورت آهي ته ريفرنس ان ڊيٽا کي ختم نه ڪندو جنهن ڏانهن اشارو ڪيو ويو آهي. هي اهو آهي جتي شيون پيچيده ٿي وڃن ٿيون - ۽ جتي گهڻيون ملڪيت تي ٻڌل ٻوليون ڊولپرز کي بيچيني واري ڪم لاءِ مجبور ڪن ٿيون جيڪي ارادي کي مبهم ڪن ٿيون ۽ ذيلي ڪيڙا متعارف ڪرائين ٿيون.

چيلنج رڳو نظرياتي نه آهي. ٽيمون ماڊيولر پليٽ فارمز ٺاهي رهيون آهن - جهڙوڪ 207-ماڊيول آرڪيٽيڪچر جي پويان Mewayz - مسلسل اندروني حوالن تي منحصر آهي. هڪ CRM ماڊل ريفرنسنگ رڪارڊس ساڳئي ڊيٽا جي حوالي سان، هڪ انوائسنگ انجڻ ڳنڍڻ واري لائن آئٽمز کي واپس انهن جي والدين دستاويزن ڏانهن، يا هڪ اينالائيٽڪس ڊيش بورڊ کي اشارو ڪندي لائيو ڊيٽا اسٽريمز کي هڪ گڏيل رياستي اعتراض جي اندر: اهي سڀئي حقيقي دنيا جا مثال آهن اندروني حوالن جي نموني جا اسڪيل تي ڪم ڪندڙ.

روايتي ملڪيت جا ماڊل ڪيئن گھٽ ٿين ٿا

Rust's borrow checker جديد ٻوليءَ جي ڊيزائن ۾ سڀ کان وڌيڪ مشهور جدت مان هڪ آهي، مجموعي وقت تي ميموري بگ جي پوري ڪيٽيگريز کي ختم ڪري ٿي. اڃان تائين ان جو سخت اڪيلو مالڪ، قرض وٺڻ يا منتقل ڪرڻ جي معني اندروني حوالن کي حقيقي طور تي دردناڪ بڻائي ٿو. لمحي هڪ ساخت کي ميموري ۾ منتقل ڪيو ويو آهي، ڪو به اندروني پوائنٽر غلط ٿي ويندو آهي. زنگ جو جواب — Pin API نسخو 1.33 ۾ متعارف ڪرايو ويو — هڪ ميکانيزم مهيا ڪري ٿو ضمانت ڏيڻ لاءِ ته قيمت منتقل نه ٿيندي، پر اهو پيچيدگيءَ کي پرت ڪري ٿو ته هڪ سڌي ماڊلنگ جو ڪم ڇا ٿيڻ گهرجي.

ڊولپر اڪثر رپورٽ ڪندا آهن ته انهن جو وقت جو 30-40٪ خرچ ڪيو ويو قرضن جي جانچ ڪندڙ سان وڙهندڙ نمونن تي جنهن ۾ خود حوالا شامل آهن. آرينا مختص ڪرڻ واريون لائبريريون جهڙوڪ ٽائيپ ٿيل ميدان ۽ انڊيڪس تي ٻڌل طريقا (جتي توهان انڊيڪس کي اصل حوالن جي بجاءِ ويڪ ۾ محفوظ ڪريو ٿا) عملي پر نامڪمل حل آهن. اهي سڌو حوالن جي اظهار جو واپار ڪن ٿا اڻ سڌيءَ لاءِ جنهن کي مرتب ڪندڙ تصديق ڪري سگهي ٿو، پر اهي پڻ بوائلر پليٽ لاءِ وضاحت جو واپار ڪن ٿا.

"ٻولي جي بھترين خصوصيت اھا آھي جيڪا صحيح نموني کي لکڻ لاءِ سڀ کان آسان نمونو بڻائي ٿي. جڏھن ڊولپرز ڪم ڪرڻ جو رستو اختيار ڪن ٿا، ان جو مطلب آھي ٻوليءَ جو ماڊل ۽ انھن جو ذهني ماڊل مختلف ٿي ويو آھي." - نيڪو ميٽسڪيس، دادا جي پويان ڊزائن جي فلسفي تي

دادا جي اجازت جي بنياد تي مالڪي جو طريقو

دادا ملڪيت کي ٻيهر تصور ڪري ٿو هڪ بائنري پنهنجي يا قرض وٺڻ واري فيصلي جي طور تي نه پر هڪ پرمشنز جي اسپيڪٽرم طور. ملڪيت کي منتقل ڪرڻ يا عارضي قرضن کي ٺاهڻ جي بدران، دادا قدرن کي اجازت ڏئي ٿو ته اجازت جي تشريح جيڪي بيان ڪن ٿيون ته توهان انهن سان ڇا ڪري سگهو ٿا — پڙهو، لکو، يا پنهنجو — ۽ تنقيدي طور تي، اهي اجازتون ساڳئي ڊيٽا جي جوڙجڪ جي اوورليپنگ حصن تي گڏ ٿي سگهن ٿيون.

اهم بصيرت ليز جو تصور آهي. دادا ۾ هڪ ليز هڪ قدر تائين عارضي رسائي ڏئي ٿي جڏهن ته اصل مالڪ پنهنجا حق برقرار رکي ٿو. Rust borrows جي برعڪس، ليز کي قدرتي طور تي اندروني جوڙجڪ سان گڏ ڪرڻ لاء ٺهيل آهن. جڏهن توهان هڪ ڍانچي جي هڪ فيلڊ کي ليز تي ڏيو ٿا، دادا جي قسم جو نظام سمجهي ٿو ته ليز والدين جي زندگي تائين اسڪوپ ڪئي وئي آهي بغير واضح زندگي جي تشريح جي ضرورت جي. هي بدنام 'a لائف ٽائيم پيرا ميٽر زنجيرن کي ختم ڪري ٿو جيڪي زنگ فنڪشن جي دستخطن کي پڙهڻ ۾ ڏکيائي ڪن ٿيون.

اندروني حوالن لاءِ خاص طور تي، دادا متعارف ڪرايو جنهن کي ٻولي سڏين ٿا اندروني رستن سان حصيداري ٿيل ليز. هڪ struct پنهنجي پنهنجي فيلڊ مان هڪ ليز رکي سگهي ٿو ڇاڪاڻ ته مرتب ڪندڙ ڪنٽينر ۽ موجود ڊيٽا جي وچ ۾ تعلق کي پهرين درجي جي تصور جي طور تي ٽريڪ ڪري ٿو. پن جي ڪا ضرورت ناهي، غير محفوظ جي ڪا ضرورت ناهي، ۽ انڊيڪس جي بنياد تي انڊيڪشن جي ڪا ضرورت ناهي. توھان صرف ڪوڊ لکو جيئن توھان ڊيٽا بابت سوچيو ٿا، ۽ مرتب ڪندڙ ان جي تصديق ڪري ٿو.

عملي نمونا جيڪي دادا ۾ معمولي بڻجي وڃن ٿا

اندروني حوالن کي صاف طور تي چالو ڪرڻ سان، ڪيترائي تاريخي طور مشڪل نمونا لاڳو ڪرڻ لاءِ سادا ٿي ويندا آهن. اهي نمونا آهن جيڪي پيداواري نظام روزانو ملن ٿا:

• مبصر نمونن - ھڪڙو واقعو ايميٽر جيڪو پنھنجي رياست جي حوالي سان ڪال بڪس جي ھڪڙي فهرست کي برقرار رکي ٿو، Rc/RefCell wrappers کان سواء رد عمل واري پروگرامنگ کي چالو ڪرڻ
• ڪسرسر سان دستاويز جا ماڊل - هڪ ٽيڪسٽ ايڊيٽر جي ڊاڪيومينٽ جو ڍانچو جنهن ۾ ٻنهي بفر ۽ هڪ يا وڌيڪ ڪرسر جون پوزيشنون ان ڏانهن اشارو ڪنديون آهن
• والدين-ٻارن جو درجو - وڻن جي جوڙجڪ جتي ٻار پنهنجي والدين جي نوڊ جا حوالا رکيا آهن، سڌو سنئون ماڊل نه پر ڪمزور اشارن يا اشارن ذريعي

پليٽ فارم آرڪيٽيڪٽس لاءِ، اهي نمونا ايج ڪيس نه آهن - اهي ماڊلر سافٽ ويئر جي پٺ جي بون آهن. جڏهن Mewayz جي انجنيئرنگ ٽيم پنهنجي پروجيڪٽ مئنيجمينٽ ماڊل ۾ ڊريگ ۽ ڊراپ ورڪ فلو بلڊرز يا حقيقي وقت جي تعاون وانگر خاصيتون ٺاهي ٿي، بنيادي ڊيٽا ماڊل لازمي طور تي خود حوالن واري جوڙجڪ کي شامل ڪن ٿا. ٻوليون ۽ فريم ورڪ جيڪي انهن نمونن کي سنڀاليندا آهن انهن جي ترقيءَ جو وقت گهٽجي ويندو آهي ۽ سطح جي ايراضيءَ کي گهٽ ۾ گهٽ بگ لاءِ.

سافٽ ويئر آرڪيٽيڪچر تي وسيع اثر

اندروني حوالن ڏانهن دادا جو رويو پروگرامنگ ٻوليءَ جي ڊيزائن ۾ وڏي رجحان کي ظاهر ڪري ٿو: محفوظ نمونن کي ergonomic بنائڻ بجاءِ غير محفوظ نمونن کي ناممڪن بڻائڻ. اهو فلسفو سڌو سنئون نتيجو آهي ته ڪيئن جديد سافٽ ويئر تعمير ٿيل آهي. جڏهن ٻولي هڪ نمونو آسان بڻائي ٿي، ڊولپر ان کي استعمال ڪن ٿا. جڏهن اهو هڪ نمونو دردناڪ بڻائي ٿو، ڊولپر ان کان پاسو ڪندا آهن - ڪڏهن ڪڏهن تعميراتي وضاحت جي قيمت تي.

مائڪرو سروسز بمقابله ماڊلر مونولٿ بحث تي غور ڪريو. هڪ سبب ٽيمون سسٽم کي الڳ الڳ خدمتن ۾ ٽوڙي ٿو، هڪ واحد عمل ۾ گڏيل رياست کي منظم ڪرڻ جي پيچيدگي کان بچڻ آهي. پر جيڪڏهن ٻولي گڏيل رياستي نمونن کي محفوظ ۽ پڙهڻ لائق بڻائي ٿي، ته وقت کان اڳ ختم ٿيڻ جو دليل ڪمزور ٿي وڃي ٿو. ٽيمون 50، 100، يا 207 هڪٻئي سان ڳنڍيل ماڊيولز سان گڏ - هڪ واحد ڊيپلائيبل يونٽ جي اندر، ورهايل نظامن جي آپريشنل اوور هيڊ کان سواءِ ماڊيولرٽي جا تنظيمي فائدا حاصل ڪري سگهن ٿيون.

اھو خاص طور تي اھو فن تعمير آھي جيڪو پليٽ فارمز کي طاقت ڏئي ٿو Mewayz، جتي ماڊلز اسپننگ CRM، انوائسنگ، پگهار، HR، فليٽ مئنيجمينٽ، ۽ اينالائيٽڪس سڀ ھڪ متحد ڊيٽا جي حوالي سان ڪم ڪن ٿا. هر ماڊل حوالو ڏئي ٿو حصيداري ادارن - رابطا، تنظيمون، ٽرانزيڪشن - اندروني رشتن ذريعي جيڪي خدمت جي حدن جي پار منظم ڪرڻ لاء خوفناڪ هوندا، پر قدرتي طور تي هڪ چڱي طرح ٺهيل monolith ۾. ٻوليءَ جي جوڙجڪ ۾ اڳڀرائي جيڪا انهن اندروني حوالن کي آسان بڻائي ٿي سڌو سنئون سافٽ ويئر جي هن طبقي کي فائدو ڏئي ٿي.

ڊولپرز کي ڇا ڏسڻ گهرجي

دادا تجرباتي رهي ٿو، ۽ ان جا خيال اڃا تائين عوامي ترقي ۽ ڪميونٽي جي راءِ جي ذريعي بهتر ڪيا پيا وڃن. تنهن هوندي به، ان جي ڪيترن ئي جدت اڳ ۾ ئي مکيه وهڪرو ٻوليء جي ڊيزائن کي متاثر ڪري رهيا آهن. زنگ جو جاري ڪم ڏسڻ جا قسم ۽ پولونيس (اگلي نسل جو قرض چيڪ ڪندڙ) ساڳئي تحقيق جي جڳهه مان تصورات کي قرض وٺي ٿو. سوفٹ جي ملڪيت جو ماڊل، سوفٹ 5.9 ۾ متعارف ڪرايو ويو، ساڳئي طرح وڌيڪ گرينولر پرمشن سسٽم کي ڳولي ٿو. ايستائين جو ٽائپ اسڪرپٽ جو ٽائپ سسٽم ڊيٽا لاڳاپن جي وڌيڪ صحيح ماڊلنگ جي طرف وڌندو رهي ٿو.

پروڊڪشن سافٽ ويئر ٺاهڻ واري ٽيمن لاءِ اڄ، عملي طريقا واضح آهن. پهرين، ٻوليون ۽ فريم ورڪ جي حمايت ڪن ٿيون جيڪي پنهنجي ملڪيت جي ماڊل کي توهان جي ڊيٽا ماڊل سان ترتيب ڏين ٿا - قسم جي سسٽم سان وڙهڻ هڪ پيداواري ٽيڪس آهي جيڪو وقت سان گڏ گڏ ٿئي ٿو. ٻيو، توهان جي ڊومين جي ضرورتن جي نمونن کي سمجهڻ ۾ سيڙپڪاري ڪريو. جيڪڏهن توهان جي ايپليڪيشن بنيادي طور تي هڪ ٻئي سان ڳنڍيل ادارن جو گراف آهي (جيئن ته اڪثر ڪاروباري پليٽ فارم آهن)، اوزار چونڊيو جيڪي قدرتي طور تي گراف کي ماڊل ڪرڻ بجاءِ وڻن جي شڪل واري ڪم ڪار کي مجبور ڪرڻ بجاءِ.

آخر ۾، دادا تي نظر رکو ۽ تحقيق جيڪا اها نمائندگي ڪري ٿي. مسئلا حل ڪري ٿو - اندروني حوالا، اجازت جي جوڙجڪ، ergonomic حفاظت - خاص خدشات نه آهن. اهي صحيح مسئلا آهن جيڪي هر ٽيم کي منهن ڏئي ٿي جڏهن پيماني تي امڪاني، باضابطه سافٽ ويئر ٺاهي رهيا آهن. ڇا توهان ڊليوري گاڏين جي هڪ ٻيڙي کي منظم ڪري رهيا آهيو، هڪ گھڻن قدمن جي نوڪرين جي پائپ لائن کي ترتيب ڏئي رهيا آهيو، يا 207-ماڊيول ڪاروباري پليٽ فارم تي ڊيٽا کي هم وقت سازي ڪري رهيا آهيو، توهان جا اوزار اندروني رشتن کي سنڀالڻ جو طريقو هر شيء جي معيار کي ترتيب ڏئي ٿو جيڪو توهان انهن جي مٿان ٺاهي رهيا آهيو.

ٻولي جي نظريي کان ڪاروباري حقيقت تائين

پروگرامنگ ٻولي جي تحقيق ڪاروبار کي هلائڻ جي روزاني حقيقت کان پري محسوس ڪري سگهي ٿي. پر اهي اوزار جيڪي اسان استعمال ڪندا آهيون انهن شين کي شڪل ڏيندا آهيون جيڪي اسان ٺاهيندا آهيون، ۽ اهي پروڊڪٽس جيڪي اسان ٺاهيندا آهيون شڪل ڏين ٿا ته ڪاروبار ڪيئن هلن ٿا. اندروني حوالي جي مسئلي ۾ دادا جو تعاون صرف هڪ ٽيڪنيڪل سنگ ميل نه آهي - اهو هڪ اشارو آهي ته صنعت انهن اوزارن ڏانهن وڌي رهي آهي جيڪي احترام ڪن ٿا ته ڊولپر اصل ۾ ڊيٽا بابت ڪيئن سوچيندا آهن، بلڪه انهن کي هڪ ڪمپلر وانگر سوچڻ تي مجبور ڪرڻ جي.

138,000+ ڪاروبار لاءِ پليٽ فارمس استعمال ڪري رهيا آهن Mewayz جيئن انهن جي عملن کي منظم ڪرڻ لاءِ، هن ترقي جو مطلب آهي سافٽ ويئر جيڪو وڌيڪ قابل اعتماد، وڌيڪ خصوصيتن سان مالا مال، ۽ تيزيءَ سان ترقي ڪري ٿو. هر سڌاري ۾ ڪيئن پروگرامنگ ٻوليون پيچيدگين کي سنڀالينديون آهن، آخرڪار، آخري صارف لاءِ هڪ بهتر تجربو ۾ ترجمو ڪري ٿو - ننڍو ڪاروبار مالڪ جيڪو صرف چاهي ٿو ته انهن جي CRM، انوائسنگ، ۽ بکنگ سسٽم گڏجي ڪم ڪن. اها بيحد سهڻي نموني هزارين اندروني حوالن جي پيداوار آهي، ۽ دادا جهڙيون ٻوليون انهن کي اڳي کان وڌيڪ محفوظ ۽ آسان بڻائي رهيون آهن.