اختصاصی شبکه علمی ثریا- در سال 2019، یک محقق یک هدف ساده، اما کاملاً چالش برانگیز را تدوین کرد. او میخواست این امکان را برای افرادی که در یک حوزه خاص مهارت دارند - مانند مدلسازی آب و هوا، بیوانفورماتیک یا معماری - بتوانند زبانهای برنامهنویسی خود را بنویسند، حتی اگر تجربه کمی در ساخت زبانهای برنامه نویسی دارند یا حتی اگر در ح زبانهای خاص دامنه (یا DSL)بیتجربه هستند. یکی از اعضای گروه تحقیقاتی در آزمایشگاه علوم رایانه و هوش مصنوعی مؤسسه (CSAIL)، میخواست این زبانها را با تمام عملکردهای کمکی مورد نیاز مردم برای استفاده راحت از آنها، از جمله ابزارهایی برای اشکالزدایی، ارائه دهد.تیم تحقیقاتی توافق کردند که این فرآیند برای خلاص شدن از شر خطاها در یک نرم افزار ضروری است، زیرا آنها عدم پشتیبانی از اشکال زدایی را "پاشنه آشیل برای DSLها" نامیده اند.
در سال 2021، آنها یک بسته نرم افزاری که کار ایجاد DSL را بسیار ساده می کند معرفی کردند و در ماه مارس۳۲۰۲۴، آنها D2X را معرفی کردند، ابزاری که اضافه کردن سیستم اشکالزدایی به هر DSL را آسان میکند. به گفته آنها دلیل اصلی تولید یک زبان در یک حوزه تخصصی، ترویج سهولت استفاده از آن زبان است. برای مثال، یک DSL پردازش تصویر، میتواند تابعی داشته باشد که میگوید «کل تصویر را تار کنید». صدور همان فرمان در یک زبان همه منظوره به خطوط کد بیشتری نیاز دارد.این بخشی از دلیل استفاده از DSL است. بخش دیگری عملکرد است.از آنجایی که عملیات ها مختص آن حوزه هستند، می توان آنها را با سهولت بیشتری بهینه کرد به ترتیب مناسب آنها را انجام داد و از این رو کارآمدتر و سریع تر به هدف نهایی رسید. از این رو آنها BuildIt را به عنوان یک DSL برای ایجاد DSL دیگر توصیف می کنند. این یک روش چند مرحله ای را برای استفاده از یک زبان برنامه نویسی همه منظوره موجود و تجزیه آن تا زمانی که به روش درست تخصصی شود، تسهیل می کند. آنها میگویند: فرض کنید مشکلی دارید و می خواهید برنامه ای برای حل آن بنویسید. شما می توانید برنامه ای بنویسید تا آن را به طور کامل حل کنید، یا می توانید یک برنامه کوچکتر بنویسید تا فقط همان مشکلی را که با آن مواجهید حل کنید.
هر چه برنامه را تخصصی تر بسازید، سریعتر اجرا می شود. در واقع BuildI برای ساخت DSLها با در نظر گرفتن آن اصول راهنما طراحی شده است.Halide - یک زبان پردازش تصویری بود که در سال 2012 اختراع شد و یکی از اولین DSLهای در حال حاضر بسیار محبوب است و در بسیاری از برنامه های Adobe از جمله فتوشاپ استفاده می شود، اما هنوز هم اشکال زدا ندارد. او می افزاید که دلیل آن این است که اشکال زداها بسیار پیچیده هستند. نوشتن آنها بسیار سخت است، به همین دلیل است که اکثر DSL های کوچک پشتیبانی از اشکال زدایی ندارند.ی کی از محققان این پروژه تاکید دارد هر DSL باید اشکال زدای مخصوص به خود را داشته باشد: شما نمی توانید مستقیماً از اشکال زداهای موجود برای زبان جدید خود استفاده کنید زیرا آنها دامنه جدیدرا درک نمی کنند. او می گوید، علاوه بر این، نوشتن برنامه ای که در بار اول کاملاً صحیح باشد، غیرممکن است.
شما همیشه با چیزی شروع میکنید که دارای خطا است، اگر در آن نقطه، زمانی که 5000 خط کد دارید، یک باگ ظاهر شود، میتواند کار را برای پیدا کردنش بسیار سخت کند. در نتیجه، هنگامی که یک برنامه "کد کامل" شد و توسط توسعه دهندگان آن برای آزمایش آماده شد ، مهندسان نرم افزار ممکن است مجبور شوند بیش از نیمی از زمان خود را به کارهای طاقت فرسای اشکال زدایی اختصاص دهند. اما کمک به شکل D2X در راه است این کلمه "دتاکس" خوانده میشود زیرا به مفهوم خلاص شدن برنامه شما از سموم یا نقص مربوط می شود). D2X به خودی خود یک برنامه نیست، بلکه در عوض به عنوان یک کتابخانه طبقه بندی می شود. در واقع قطعه ای از کد کامپیوتری است که می تواند توسط برنامه های دیگر مورد استفاده مجدد قرار گیرد. این برنامه برای کار با اشکال زداهای موجود (مانند GDB یا LLDB) طراحی شده است که به عنوان پلی بین آن ابزارها و یک DSL معین عمل می کند. یک اشکال زدا به اطلاعاتی در مورد برنامه یا زبان برنامه نویسی نیاز دارد که باید پاک شود.
مخاطب از دیدن این سریال تکراری خسته نمیشود؛ جادوی «مختارنامه» چیست؟
مجریان تراز زبان فارسی معرفی شدند؛ پدافند زبانی با اجرا!
این ۳ کارگردان معروف برای تشییع رهبر شهید مستند میسازند
توییت جدید محمدباقر قالیباف با انتشار صحنه سیو بیرانوند+عکس
از گاندی تا کارلایل، همه مرید حسین (ع)
ماشین ثروتاندوزی امویان؛ از باندبازی تا احیای هدایای نوروزی
همانگونه که جسم به روزی مادی نیاز دارد، روح نیز به معرفت محتاج است
آیا ماجرای ازدواج حضرت قاسم (ع) در کربلا صحت دارد؟
«حسینیه بهشت»، پیوند خانههای شهدا با خیمههای عاشورا
مهلت ثبتنام در کاروان قرآنی اعزامی به اربعین تا ۵ تیرماه
عکس | جایزه بهترین بازیکن دیدار در دستان علی بیرو
گوشوارههایی که تاریخ فراموششان نکرد
چمران هنوز زنده است
یک فهرست متفاوت از بهترینهای سال ۲۰۲۶ در نیمه راه؛ مستقلها پیشتازند
آمادگی دانشگاه پیام نور برای میزبانی از آزمونهای سایر دانشگاهها
امتحانات پایانترم تحصیلات تکمیلی دانشگاه آزاد حضوری شد
مذاکره با دستگاهها برای توسعه صادرات محصولات فریلنسرها
زمان مصاحبههای آزمون دکتری سال ۱۴۰۵ تغییر کرد
تمدید مهلت ارسال مقالات سومین همایش هیئت و آیینهای مذهبی
زمان برگزاری آزمون زبان انگلیسی تولیمو تغییر کرد
سیره عملی میرزا جواد آقا ملکی تبریزی، مبتنی بر اصل «شکستن منیت» بود
افتتاح مسجد السلام در امارات با ظرفیت ۴ هزار نمازگزار
بنیامیه، نخستین و وحشتناکترین «خصولتی» تاریخ اسلام
بذر انحراف مجاهدین از سال۴۴ کاشته شد/نقش ساواک و زندان در تعمیق انحراف
شیخ حسین انصاریان: چشمی که بر حسین (ع) گریه کند در قیامت گریان نیست
افبیآی شهر کامل با بیمارستان، هتل و نیروگاه ساخت تا حملات سایبری را تمرین کند
بررسی ظرفیتهای هوش مصنوعی برای ارتقای خدمات زائران در نشست مشترک معاونت علمی و آستان قدس رضوی
ممنوع شدن هوش مصنوعی برای دانش آموزان ابتدایی نروژی
ناسا یک رصدخانه فضایی را در میانه زمین و آسمان به ارتفاع بالاتر میبرد
مصوبات جدید فرصتهای تحقیقاتی خارج از کشور دکتری ابلاغ شد
زنان بیشترین داوطلبان آزمون سمپاد/ نتایج اوایل مرداد اعلام میشود
سریال جدید «سرخدار» در راه آنتن: عمار تفتی به تلویزیون بازگشت
کشف نشانههای اولیه افسردگی در چشم کودکان
دانشمند ایرانی: مغز ما برای این همه خبر بد طراحی نشده است
تنش در ایستگاه فضایی بالا گرفت: ناسا از فضانوردانش خواست پناه بگیرند
محققان هشدار دادند: ایجاد نقاط داغ آلودگی در تنگه هرمز به دلیل ترافیک دریایی
یکی از این ستارههای دوقلو یک سیاره فراخورشیدی را بلعیده است
میلیاردرهای حوزه فناوری راز جوانی ابدی را کشف کردهاند؟
تصویری از یکی از شهدای کوچک امروز لبنان
وزیر آموزش و پرورش: بهرهبرداری از ۲۰۰ تا ۲۵۰ کلاس درس جدید در خراسان رضوی
معاون تربیتبدنی و سلامت: یک میلیون دانشآموز سفیر ایمنی و کمکهای اولیه شدند
۵۰۰ هزار دانشآموز زیر چتر کارت نشاط قرار گرفتند
آزمون مدارس سمپاد و نمونه دولتی با بیش از نیم میلیون داوطلب برگزار شد
پرداخت حقوق فرهنگیان بدون تاخیر انجام میشود
قصهای خواندنی برای کودکان: وقتی روباه جنگل را بههم ریخت
حسن طهرانیمقدم پدر موشکی ایران چگونه با نمیشودها مبارزه کرد؟
از بچههای میناب تا ناوچه دنا و انستیتو همه در مستندهای جدید جنگی
مهرانه مهین ترابی پس از ۲۳ سال دوری از تئاتر به صحنه باز میگردد
سریالهای جدید برای پخش دوبله شدند
مادران برای کوچکترین شهید کربلا لالایی خواندند
راز زنده ماندن مومنان در برزخ؛ هدایت، مشروط به ولایت است
روایت حدادعادل از ویژگیهای آیت الله مجتبی خامنهای
ماجرای خواندنی دیدار دکتر شریعتی و علامه جعفری
حجت الاسلام پناهیان: شفافیت نامه اخیر رهبری نشانه قدرت جمهوری اسلامی است
تمدید مهلت پذیرش دانشجویان بینالمللی در دانشگاه علامه طباطبائی
قابلیت جدید واتساپ: پیام متنی یکبار قابل مشاهده به واتساپ میآید
شرکت اپل از گران شدن محصولات خود خبر داد
ساماندهی برنامههای هوش مصنوعی با محوریت تولید داخلی
هشدار وزیر علوم: هوش مصنوعی بدون اخلاق، پیشرفتهترین ابزار ظلم میشود
دادگاه در دهلی نو درخواست بازگشایی تلگرام را رد کرد
رشد استفاده از VPN در بعضی کشورهای اروپایی با قوانین جدید
انحصار قدرت و ثروت در الیگارشی اموی: از خلافت تا سلطنت
حجتالاسلام قمی: وحدت یعنی همبستگیِ آرا و سلایق متفاوت حول محور امام
راز زنده ماندن مؤمنان در برزخ تمسک به امام حق و ولی الله الاعظم است
اعلام مجموعههای امتحانی کنکور کارشناسی ارشد ۱۴۰۶
بازخوانی پنج فرمان راهبردی امام رضا (ع) در سلوک عاشورایی
فلسفه اسلامی و غفلت از «باید و نباید»های اجتماعی؛ یک شکاف تاریخی
اقتصاد فقط نان نیست؛ سلاح علی(ع) برای امنیت ملی و استقلال در برابر دشمنان
انتشار آثار میانرشتهای مسئلهمحور؛ اولویت جدید گروه سیاستپژوهی علوم انسانی
تغییر زمان آزمونهای کشوری و دانشگاهی به دلیل مراسم وداع و تشییع رهبر شهید
احیای اخلاق در زندگی فردی و اجتماعی با بازخوانی فلسفه عاشورا
بنی امیه چگونه به قدرت رسید؟/ تبارشناسی ۹۱ سال حکومت استبدادی
دعوت از عاشقان اهل بیت برای شرکت در طرح توسعه حرم امام حسین (ع)
منطقه زینبیه استانبول سیاهپوش محرم شد؛ آغاز برنامه های عزاداری
رئیس سازمان فضایی ایران خبر داد: بهکارگیری ظرفیتهای ویژه ماهوارهای در تشییع رهبر شهید انقلاب
زنگ میراث فرهنگی و موزه در مدارس نواخته میشود
معافیت برخی المپیادها از کنکور و همزمانی آزمونها؛ همچنان چالش اصلی دانشآموزان
قابل توجه دانش آموزان: برنامه جدید امتحانات نهایی اعلام شد+جدول
هشدار به مدارس غیردولتی؛ با هرگونه دریافت شهریه غیرقانونی برخورد میشود
دبیر شورای عالی انقلاب فرهنگی: اختیار پذیرش دانشجویان به دانشگاهها واگذار شود
دانشگاه علوم پزشکی تهران رتبه ۷۰۱ جهان را کسب کرد؛ همچنان صدرنشین دانشگاههای ایران
شروع برنامه ملی «میناب ۱۵۶»؛ بورسیه تحصیلی برای دانشجویان مستعد کمبرخوردار
تغییر زمان آزمونهای کشوری و دانشگاهی به دلیل مراسم وداع و تشییع رهبر شهید
حاج اکبر مولایی در اولین شب از ماه محرم آسمانی شد
تجمعات خیابانی و مراسم ویژه در میادین تهران برای عزاداری محرم
اعلام مجموعههای امتحانی کنکور کارشناسی ارشد ۱۴۰۶
بنی امیه چگونه به قدرت رسید؟/ تبارشناسی ۹۱ سال حکومت استبدادی
منوچهر هادی: درآوردن سکانس صدای رئیس جمهور در سریال ۴۸ ساعت وقت گرفت
دبیر شورای عالی انقلاب فرهنگی: اختیار پذیرش دانشجویان به دانشگاهها واگذار شود
انتشار آثار میانرشتهای مسئلهمحور؛ اولویت جدید گروه سیاستپژوهی علوم انسانی
نگاهی به پیشینه تاریخی ایرانیان در عزاداری محرم
علی دایی به دیدار اکبر عبدی رفت+عکس
معافیت برخی المپیادها از کنکور و همزمانی آزمونها؛ همچنان چالش اصلی دانشآموزان
زنگ میراث فرهنگی و موزه در مدارس نواخته میشود
دعوت از عاشقان اهل بیت برای شرکت در طرح توسعه حرم امام حسین (ع)
منطقه زینبیه استانبول سیاهپوش محرم شد؛ آغاز برنامه های عزاداری
خروج هواپیماهای سوخترسان آمریکایی از فلسطین اشغالی پس از تفاهم با ایران
به یاد کودکان میناب در جام جهانی فوتبال
مساجد پایگاههایی برای شناسایی استعدادهای درخشان
نمایش تابوت عهد در تالار سایه به روی صحنه میرود
اخلاص و پیامرسانی؛ کلید ماندگاری عاشورا
پانتهآ پناهیها در نمایش جدید صابر ابر به روی صحنه میرود
شبکههای اجتماعی برای زیر ۱۶ سالهها ممنوع شد
مصرفگرایی؛ پارادایم فرهنگی که تمام زندگی بشر را تسخیر کرد
روایت شیخ حسین انصاریان از سه حقی که خداوند بر انسانها نهاده است
قابل توجه دانش آموزان: برنامه جدید امتحانات نهایی اعلام شد+جدول
هشدار وزیر علوم: هوش مصنوعی بدون اخلاق، پیشرفتهترین ابزار ظلم میشود
تمرکز بر امنیت سایبری و تابآوری شبکه در ایام تشییع رهبر شهید
امیرحسین مدرس برنامه نغمههای حسینی را به مناسبت ماه محرم اجرا میکند
راز زنده ماندن مؤمنان در برزخ تمسک به امام حق و ولی الله الاعظم است
نظراتی که حاوی توهین یا افترا به اشخاص ،قومیت ها ،عقاید دیگران باشد و یا با قوانین کشور وآموزه های دینی مغایرت داشته باشد منتشر نخواهد شد - لطفاً نظرات خود را با حروف فارسی تایپ کنید.