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