اختصاصی شبکه علمی ثریا- در سال 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 معین عمل می کند. یک اشکال زدا به اطلاعاتی در مورد برنامه یا زبان برنامه نویسی نیاز دارد که باید پاک شود.
سحابی خوش آب و رنگ کله ماهی در فضا ثبت شد+عکس
دستور ساخت جت ۱۰۰ نفره در ایران صادر شد
نقشه آبی زمین پس از نیم قرن دوباره کشیده شد+عکس
اقدامات وزارت بهداشت برای افزایش امید و انگیزه دستیاران پزشکی
به تشکل‌های دانشجویی گرنت اعطا می‌شود
۷۵ دانشگاه ایرانی در میان برترین‌های آسیا در رتبه‌بندی تایمز
نشست «سواد بصری در مد و لباس» برگزار می‌شود
اولین نکوداشت روانشناسان رضوی برگزار می شود
پذیرش دانشجوی دکتری در پژوهشگاه‌ها قانونی است
جزییات برگزاری کنکور مجدد برای داوطلبان سیل زده اعلام شد
کتاب چشم‌ها تنها برای دیدن نیستند منتشر شد
رمان اجتماعی معمایی آفرودیت در نمایشگاه کتاب عرضه می‌شود
انتشار وضعیت فرهنگی ایران در پیمایش ارزش‌های جهانی
آدرخش و رقص فانتوم‌ها در نمایشگاه کتاب طنین می‌اندازد
مهلت ثبت نام پذیرش بدون آزمون کارشناسی ارشد پیام نور تمدید شد
ترقی در علم و دانش کشور مرهون تلاش معلمان و سنگربانان تعلیم و تربیت است
حمایت دانشگاه علوم پزشکی شیراز از بیماران مبتلا به به سلیاک
انتخاب عضو هیات علمی دانشگاه محقق اردبیلی به عنوان استاد نمونه کشوری
رئیس جهاد دانشگاهی کشور وارد گلستان شد
طرح پایش و ارتقای سلامت اعضای جهاد دانشگاهی سلامت محور است
بررسی تاریخ ایران در چهار سده نخستین پس از اسلام
حمایت ۳۷ میلیارد تومانی از طرح‌های حوزه اینترنت کوانتومی
کسب رتبه دوم در بین شرکت های بورسی و افزایش فروش و تولید در داروسازی دانا
هدیه ۲ میلیونی وزیر آموزش و پرورش به حساب معلمان واریز شد
جذب امریه سربازی در سازمان جهاد دانشگاهی خواجه نصیر
۱۷۰ دانشجوی نخبه امروز به عمره مفرده اعزام می‌شوند
کلید اولیه نوبت اول کنکور سراسری سال ۱۴۰۳ منتشر شد
بازبینی مصوبه افزایش ۲۰ درصدی ظرفیت پزشکی شورایعالی انقلاب فرهنگی
جنگنده رادارگریز سوخو ۷۵ روسیه به ایران می‌آید؟
خودروی جدید که شبیه گربه‌ها ساخته شده است+عکس
خودروهای ایرانی چشم کره‌شمالی را گرفت+عکس
بازبینی مصوبه افزایش ۲۰ درصدی ظرفیت پزشکی شورایعالی انقلاب فرهنگی
تمدید مهلت ثبت‌نام در جشنواره علمی - پژوهشی پژوهش‌سراهای دانش‌آموزی
خدمات رایگان دندان‌پزشکی برای دانش‌آموزان ۶ تا ۱۴ ساله روستایی
موافقت با افزایش حق‌الزحمه ساعت اضافه تدریس معلمان
دیدار جمعی از معلمان با رهبر انقلاب در روز چهارشنبه
تصویب نقشه راه اجرایی‌سازی سند تحول بنیادین آموزش و پرورش
کشف ۸ هزار و ۳۰ نفر دانش آموزان بازمانده از تحصیل در استان اصفهان
طحان‌نظیف: قانون اساسی به کلاس‌های درس برده شود
احداث ۵ دهکده جامع ورزشی/ جذب نخبگان در دانشگاه فرهنگیان
تعلیق بودجه دانشگاه فرانسوی به دلیل حمایت از فلسطین
اعزام دو کاروان از دانشجویان بنیاد نخبگان به عمره آغاز شد
حمله خشونت‌آمیز پلیس نیویورک به دانشجویان حامی فلسطین در کلمبیا
آیین بزرگداشت مقام معلم در دانشگاه اصفهان برگزار شد
ثبت‌نام پشت کنکوری‌ها جهت ترمیم نمره آغاز شد
دانشگاهیان کشور باید با شبکه‌سازی به جنبش دانشجویان جهان بپیوندند
برگزاری بیست و دومین نشست شورای عالی اتحادیه دانشگاه‌ها و مراکز پژوهشی ساحلی و دریایی
آزمون مجدد برای کنکوری‌های زیرکوه ۲۱ اردیبهشت برگزار می‌شود
چند دستگاه هیوندای کونا وارد ایران شد+عکس
موشک سنگین آنگارا-آ۵ با موفقیت پرتاب شد+عکس
ستاره نوترونی مرده در کهکشان به صورت ناگهانی زنده شد+عکس
سلاح قدیمی و کوچک اوکراینی‌ها که روسیه را زمین گیر کرد+عکس
سوخوهای روسی که قرار بود به ایران بیایند کجا رفتند؟
تعرفه وحشتناک جی‌میل با هوش مصنوعی اعلام شد
علم حکمی؛ لازمه دستیابی به تمدن نوین اسلامی
بازگشت سونی اکسپریا به یک طراحی جدید+عکس
مسئله جدی امروز، زیست‌جهان مدرن است که راه مقابله فرهنگی با آن، تعامل بیشتر با جوانان است
ناسا به صورت تصادفی مریخ را بمباران کرد
ویژگی‌های خاص ساعت گران قیمت گواردیولا+عکس
این پهپاد ایرانی به دشمنان فرصت فرار نمی‌دهد+عکس
داوطلبان متقلب دستگاه‌های جاسوسی پیشرفته داشتند/احتمال محرومیت تا ۵ سال
فراخوان ثبت پرسش‌نامه در بانک اطلاعاتی ابزارهای سنجش سلامت و کیفیت زندگی
دستگیری ۲۵ نفر از داوطلبان متقلب کنکور/ حدود ۱۲ درصد داوطلبان غایب بودند
پذیرش دانشجوی دکتری تخصصی در پژوهشگاه اقیانوس‌شناسی
برای نگهداشت حرمت معلم بکوشیم
واریزهدیه روز معلم به حساب فرهنگیان؛ امشب/ پرداخت معوقات حق‌التدریس‌ها تا ۲ هفته دیگر
چاپ کتابی درباره سکوت و پایبندی در آثار آلبر کامو
مجموعه دفتر یادداشت روزانه داستایوفسکی به چاپ چهارم رسید
سرپرست دانشگاه علوم پزشکی و خدمات بهداشتی درمانی زابل منصوب شد
وعده صادق نتیجه دانشگاه‌های ما است
۸۸ هزار داوطلب آزمون دکتری سال ۱۴۰۳ انتخاب رشته کردند
اگر جریان علمی در کنار جریان دفاعی نبود بازدارندگی رقم نمی خورد
گوگل جایگزین یورگن کلوپ سرمربی لیورپول می‌شود
همه اجساد در خاک این شهر تجزیه نمی‌شود و سالم می‌ماند+عکس
خودروهای پرنده غول پیکر در آسمان به پرواز درآمدند
کشف تازه از وجود سیاره نهم در منظومه شمسی
اسب سیاه مقابل تلسکوپ جیمز وب نمایان شد+عکس
تصاویر واقعی آیفون۱۶ در توییتر لو رفت+عکس
داخل ساختمان‌های عجیب با علامت X در چین چه خبر است؟ +عکس
نکته عجیبی که در تلویزیون ۴K هواوی خبرساز شد
بازگشت سونی اکسپریا به یک طراحی جدید+عکس
همه اجساد در خاک این شهر تجزیه نمی‌شود و سالم می‌ماند+عکس
سوخوهای روسی که قرار بود به ایران بیایند کجا رفتند؟
این پهپاد ایرانی به دشمنان فرصت فرار نمی‌دهد+عکس
نکته عجیبی که در تلویزیون ۴K هواوی خبرساز شد
سلاح قدیمی و کوچک اوکراینی‌ها که روسیه را زمین گیر کرد+عکس
چند دستگاه هیوندای کونا وارد ایران شد+عکس
رونمایی از برادر فیدلیتی هیبریدی در دو مدل پنج و هفت نفره+عکس
هشدار اپل درباره این حرکت اشتباه هنگام شارژ آیفون
ویژگی‌های خاص ساعت گران قیمت گواردیولا+عکس
رونمایی از موتور ۶ سیلندر ۴۰۰۰ سی‌سی ساخته محققان ایرانی+عکس
دستور ساخت جت ۱۰۰ نفره در ایران صادر شد
موتور آمونیاک سوز تویوتا با قدرت بیشتر و آلایندگی کمتر
تغییرات غافل گیرکننده در iOS ۱۸ در راه است
گوگل جایگزین یورگن کلوپ سرمربی لیورپول می‌شود
گشودن مقبره فراعنه مساوی با مرگ حتمی؟
نقشه آبی زمین پس از نیم قرن دوباره کشیده شد+عکس
ملاقات ستاره دنباله دار با ماه و مشتری و اورانوس+عکس
تعرفه وحشتناک جی‌میل با هوش مصنوعی اعلام شد
پیکسل 8a گوگل برای گوشی سامسونگ شاخ و شانه کشید
ستاره نوترونی مرده در کهکشان به صورت ناگهانی زنده شد+عکس
نخبه ۱۲ ساله ایرانی در انجمن هوش مصنوعی شروع به کار کرد+عکس
داخل ساختمان‌های عجیب با علامت X در چین چه خبر است؟ +عکس
خودروهای ایرانی چشم کره‌شمالی را گرفت+عکس
برچسب جدیدی که خودرو را در تابستان ۱۰ درجه خنک‌تر می‌کند+عکس
سحابی خوش آب و رنگ کله ماهی در فضا ثبت شد+عکس
فرصت انتخاب رشته داوطلبان آزمون دکتری سال ۱۴۰۳ دوباره تمدید شد
ایمیل حمایتی روسای دانشگاه‌های ایران به دانشگاه‌های آمریکا
چگونه از تهران به گرگان برویم؟
دانشگاه‌ها در مقابل ظلم و ستم همیشه ایستاده‌اند
نظراتی که حاوی توهین یا افترا به اشخاص ،قومیت ها ،عقاید دیگران باشد و یا با قوانین کشور وآموزه های دینی مغایرت داشته باشد منتشر نخواهد شد - لطفاً نظرات خود را با حروف فارسی تایپ کنید.