Lil' Fun Langs' Guts

ننڍي پروگرامنگ ٻولين جي ڇنڊ ڇاڻ هيٺ ڇو ڏسڻ توهان کي هڪ بهتر تعمير ڪندڙ بڻائي ٿو

هر سافٽ ويئر جو ٽڪڙو جيڪو توهان استعمال ڪريو ٿا - CRM کان جيڪو توهان جي ليڊز کي ٽريڪ ڪري ٿو آٽوميشن انجڻ ڏانهن جيڪو اڌ رات تي انوائس موڪلي ٿو - هڪ پروگرامنگ ٻولي سان ٺهيل آهي. پر ڇا توهان ڪڏهن حيران ڪيو آهي ته ڪهڙي پروگرامنگ ٻولي ٺاهي ٿي ٽڪ؟ پيٿون يا جاوا اسڪرپٽ جھڙو وڏو ماحولياتي نظام نه، پر ننڍڙا، خراب، لذت سان عجيب قسم جا جيڪي ڊولپرز ھڪڙي ھفتي جي آخر ۾ ھڪڙي مسئلي کي حل ڪرڻ يا صرف سکڻ لاءِ ٺاھيندا آھن. اهي ”لِل“ مزيدار ٻوليون — رانديڪن جون ٻوليون، ڊومين-مخصوص ٻوليون (DSLs)، ۽ تعليمي مترجم — اهي آهن جتي ڪمپيوٽر سائنس ۾ ڪجهه تمام خوبصورت خيال رهن ٿا. انهن جي همت کي سمجهڻ صرف توهان کي بهتر پروگرامر نٿو بڻائي. اهو بنيادي طور تي تبديل ڪري ٿو ته توهان ڪئين اوزار تعمير ڪرڻ، ڪم جي فلوز کي خودڪار ڪرڻ، ۽ سسٽم ٺاهڻ بابت سوچيو ٿا جيڪي اصل ۾ ماڻهن لاء ڪم ڪن ٿا.

"Lil' Fun Langs" اصل ۾ ڇا آهن؟

پروگرامنگ جي دنيا انهن ٻولين سان ڀريل آهي جيڪي ڪڏهن به پاور پروڊڪشن سرورز يا لکين ٽرانزيڪشن کي پروسيس ڪرڻ لاءِ نه هونديون هيون. ٻوليون جهڙوڪ Lox (Robert Nystrom's Crafting interpreters کان)، Monkey (thorsten Ball's Writing an interpreter in Go کان)، يا مذاقي ٻوليون جهڙوڪ Brainfuck ۽ Chef موجود آهن سيکارڻ، تفريح ڪرڻ، ۽ حدن کي اڳتي وڌائڻ لاءِ ته ”ٻولي“ جو مطلب ڇا آهي. اهي ننڍيون ٻوليون حقيقي دنيا جي ٽول چينز جي پيچيدگي کي ختم ڪري ٿي ۽ خام ميڪانيڪس کي ظاهر ڪن ٿيون ته ڪوڊ ڪيئن عمل ٿئي ٿو.

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

انهن ٻولين جي اناتومي کي سمجھڻ سان اهو ظاهر ٿئي ٿو ته ڇو ڪي اوزار سمجهه وارا محسوس ڪن ٿا جڏهن ته ٻيا محسوس ڪن ٿا ته ڪنهن ٻئي طول و عرض ۾ لکيل دستور سان وڙهڻ.

The Lexer: Breaking Words into Atoms

هر ٻولي، چاهي ڪيتري به ننڍي هجي، ساڳئي بنيادي قدم سان شروع ٿئي ٿي: لغتي تجزيي، يا "ليڪسنگ." هڪ ليڪسر اکرن جي خام اسٽرنگ وٺندو آهي - ڪجهه جهڙو total = قيمت * مقدار + ٽيڪس - ۽ ان کي ٽوڪن سڏيو وڃي ٿو بامعني حصن ۾. ليکڪ کي اڃا تائين معني جي پرواهه ناهي. اهو صرف سڃاڻي ٿو ته مجموعي هڪ سڃاڻپ ڪندڙ آهي، = هڪ تفويض آپريٽر آهي، قيمت هڪ ٻيو سڃاڻپ ڪندڙ آهي، * ضرب آهي، وغيره.

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

پارسنگ: فليٽ ٽوڪن کي زنده وڻن ۾ تبديل ڪرڻ

هڪ دفعو توهان وٽ ٽوڪن آهن، توهان کي ساخت جي ضرورت آهي. تجزيا ٽوڪن جي هڪ فليٽ تسلسل کي Abstract Syntax Tree (AST) ۾ تبديل ڪري ٿو - هڪ ترتيب وار نمائندگي جيڪو هڪ اظهار جي مختلف حصن جي وچ ۾ لاڳاپن کي پڪڙي ٿو. اظهار 3 + 4 * 5 صرف پنج ٽوڪن جو تسلسل ناهي؛ اھو ھڪڙو وڻ آھي جتي ضرب اضافي کان وڌيڪ مضبوط ٿي، 35 جي بدران 23 پيدا ڪري ٿي.

هي اهو آهي جتي شيون حقيقي طور تي مزو وٺن ٿيون. تجزياتي الگورتھم جھڙوڪ recursive descent يا Pratt parsing انجنيئرنگ جا خوبصورت ٽڪرا آھن جيڪي ھڪڙي فائل ۾ فٽ آھن اڃا تائين حيرت انگيز طور تي پيچيده گرامر سنڀالي سگھن ٿا. Recursive descent parsers، خاص طور تي، تقريباً پاڻ ٻوليءَ جي وضاحت وانگر پڙهندا آهن - هر فنڪشن گرامر جي اصول سان مطابقت رکي ٿو، ڪوڊ کي خود دستاويزي طريقي سان ٺاهيو جيڪو سافٽ ويئر ڊولپمينٽ ۾ نادر آهي.

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

ترجمان: جتي ڪوڊ زنده اچي ٿو

ترجمان اهو آهي جتي جادو ٿئي ٿو. اهو AST تي هلندو آهي، نوڊ ذريعي نوڊ، ۽ ان کي executes. هڪ نمبر نوڊ ان جي قيمت ڏي ٿو. هڪ بائنري آپريشن نوڊ پنهنجي کاٻي ۽ ساڄي ٻارن جو جائزو وٺي ٿو ۽ انهن کي گڏ ڪري ٿو. هڪ فنڪشن ڪال هڪ ماحول ۾ فنڪشن کي ڏسي ٿو، دليلن کي پابند ڪري ٿو، ۽ جسم جو جائزو وٺندو آهي. رانديڪن جي ٻوليءَ ۾، سڄو مترجم 200-300 لائينون ٿي سگھي ٿو - ڪافي ننڍو جيڪو توھان جي مٿي ۾ رکي سگھي، پر حقيقي پروگرامن کي هلائڻ لاءِ ڪافي طاقتور.

عمل ڪرڻ جا ٻه وسيع طريقا آهن: وڻن تي هلڻ جي ترجماني ڪندڙ ۽ بائيٽ ڪوڊ ورچوئل مشينون. وڻن تي ھلڻ وارا سادا آھن پر سست آھن. اهي سڌو سنئون AST کي پار ڪن ٿا. Bytecode VMs AST کي سادي ھدايتن جي ھڪڙي ترتيب ۾ مرتب ڪن ٿا (جهڙوڪ ھڪڙي ننڍڙي اسيمبلي جي ٻولي) ۽ انھن کي بجاءِ عمل ڪريو، ڊرامائي طور تي بھترين ڪارڪردگي لاءِ تجارتي عمل درآمد جي پيچيدگي. CPython، معياري Python عمل درآمد، هڪ bytecode VM استعمال ڪري ٿو. Lua، هڪ تمام موثر ايمبيڊبل ٻولين مان، هڪ رجسٽر تي ٻڌل VM ڊيزائن جو آغاز ڪيو جنهن سڄي دنيا ۾ گيم انجڻ کي متاثر ڪيو.

اهم بصيرت: سڀ کان وڌيڪ طاقتور ڪاروباري اوزار نه هوندا آهن جيڪي سڀ کان وڌيڪ خصوصيتن سان گڏ هوندا آهن - اهي اهي آهن جيڪي بهترين اندروني "ٻولي" سان گڏ بيان ڪرڻ لاءِ جيڪي صارفين کي اصل ۾ گهربل آهن. هر قاعدي جي انجڻ، فارمولا سسٽم، ۽ آٽوميشن بلڊر هڪ ننڍڙو مترجم آهي لڪائڻ ۾. ان مترجم جو معيار اهو طئي ڪري ٿو ته ڇا ٽول اسڪيل 10 استعمال ڪندڙن کان 100,000 تائين.

💡 DID YOU KNOW?

Mewayz replaces 8+ business tools in one platform

CRM · Invoicing · HR · Projects · Booking · eCommerce · POS · Analytics. Free forever plan available.

Start Free →

ماحول ۽ دائرو: رياست جو پوشیدہ فن تعمير

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

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

پروگرامنگ ٻوليءَ ۾ اسڪوپ کي غلط حاصل ڪرڻ سان بگ پيدا ٿئي ٿو. ڪاروباري پليٽ فارم ۾ گنجائش غلط حاصل ڪرڻ سبب ڊيٽا ليڪ، اجازت جي واڌ، ۽ آپريشنل افراتفري جو قسم جيڪو حقيقي پئسا خرچ ڪري ٿو. سبق خلاصي جي هر سطح تي ساڳيا آهن.

هڪ ننڍڙي ٻولي ڪهڙي تعمير ڪرڻ اصل ۾ توهان کي سيکاري ٿي

جيڪڏهن توهان ڪڏهن به هڪ ننڍڙي پروگرامنگ ٻولي نه ٺاهي آهي، ته هتي اهو آهي جيڪو تجربو صحيح طور تي سيکاري ٿو - ۽ اهو ڇو ضروري آهي ته توهان هڪ ڊولپر آهيو، هڪ ٽيڪنيڪل باني آهيو، يا ڪو ماڻهو جيڪو صرف انهن اوزارن کي سمجهڻ چاهي ٿو جيڪي اهي هر روز استعمال ڪندا آهن:

• سوچ جي درستگي: گرامر جي وضاحت ڪرڻ وقت توهان مبهم نٿا ٿي سگهو. توهان جي ٻولي جي وضاحت ۾ هر ابهام توهان جي پارسر ۾ هڪ بگ بڻجي ويندو آهي. هي نظم سڌو سنئون لکت ۾ منتقل ڪري ٿو بهتر چشمي، واضح دستاويز، ۽ وڌيڪ خاص خصوصيت جي گهرج.
• استعمال ڪندڙن لاءِ همدردي: جڏهن توهان هڪ ٻولي ٺاهي رهيا آهيو، توهان انساني سوچ لاءِ هڪ انٽرفيس ٺاهي رهيا آهيو. توھان پڇڻ سکو: "ڇا آھي استعمال ڪندڙ جو مطلب ھن مان؟" - هڪ سوال جيڪو هر پيداوار جي فيصلي کي هلائڻ گهرجي.
• پرفارمنس انسائيڪلوپيڊيا: توھان سکندا آھيو ڇو ڪجھ عمل تيز آھن ۽ ٻيا سست آھن، بينچ مارڪس پڙھڻ سان نه پر اھو ڏسڻ سان ته مترجم ڪيترا قدم کڻي ٿو. اهو توهان کي سسٽم ٺاهڻ ۾ بهتر بڻائي ٿو انهي پيماني تي.
• ڊيبگنگ جي مهارت: جڏهن توهان جي ٻولي غلط پيداوار پيدا ڪري ٿي، توهان کي لڪائڻ لاء ڪٿي به ناهي. اتي ڪو فريم ورڪ ناهي الزام ڏيڻ لاءِ، نه لائبريري نسخو تڪرار. اهو توهان جي منطق آهي، توهان جي ڊيٽا جي جوڙجڪ، توهان جي الگورتھم. هي اهڙي قسم جي ڊيبگنگ مهارت ٺاهي ٿو جيڪا سٺي انجنيئرن کي وڏن کان الڳ ڪري ٿي.
• تشريح جي تعريف: توھان سمجھو ٿا ڇو ته اعليٰ سطحي ٻولين اھي چونڊون ڪيون آھن جيڪي انھن ڪيون آھن - ڇو JavaScript بند آھي، ڇو Python اھم وائيٽ اسپيس چونڊيو، ڇو Rust's borrow checker موجود آھي. اهي پنهنجا فيصلا نه آهن؛ اهي حقيقي مسئلن جو حل آهن جيڪي توهان کي توهان جي پنهنجي عمل درآمد ۾ ملندا.

Toy Languages کان حقيقي دنيا جي آٽوميشن تائين

هڪ رانديڪن جي ٻولي ۽ پيداواري آٽوميشن انجڻ جي وچ ۾ فرق اڪثر ماڻهن جي سوچ کان ننڍو آهي. Shopify جي Liquid templating ٻولي هڪ سادي، محفوظ ٽيمپليٽ سسٽم جي طور تي شروع ٿي ۽ هاڻي لکين اسٽور فرنٽ کي طاقت ڏئي ٿي. GitHub عملن جو ڪم فلو نحو YAML تي ٺهيل ڊومين جي مخصوص ٻولي آهي. اسٽريپ جي سگما سوال جي ٻولي مالي ٽيمن کي SQL لکڻ کان سواءِ ادائيگي جي ڊيٽا کان پڇا ڳاڇا ڪرڻ جي اجازت ڏئي ٿي. انهن مان هر هڪ شروع ڪيو ڪنهن کان پڇڻ سان: "ڪهڙي ننڍڙي، سادي ٻولي آهي جيڪا هن مخصوص مسئلي کي حل ڪري ٿي؟"

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

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