TL;DR
- چکیده:.
- زبان های برنامه نویسی احتمالی اخیرا توجه زیادی را به خود جلب کرده اند،.
- به ویژه به دلیل کاربردهایشان در حوزه هایی مانند یادگیری ماشین و حریم خصوصی متفاوت.
چه اتفاقی افتاد
چکیده:. زبان های برنامه نویسی احتمالی اخیرا توجه زیادی را به خود جلب کرده اند،.
به ویژه به دلیل کاربردهایشان در حوزه هایی مانند یادگیری ماشین و حریم خصوصی متفاوت. برای ایجاد متغیرهای مورد علاقه، بسیاری از این زبانها شامل نوعی بررسی استاتیک در قالب سیستمهای نوع هستند.
با این حال،. اتخاذ چنین رشته ای می تواند دست و پا گیر یا بیش از حد محافظه کارانه باشد.
تایپ تدریجی این مشکل را با پشتیبانی از انتقال صاف بین بررسی استاتیک و پویا برطرف میکند و. برای زبانهایی با ساختارها و انتزاعهای نوع متفاوت با موفقیت به کار گرفته شده است.
با این وجود، مزایای آن هرگز در زمینه زبان های احتمالی بررسی نشده است. در این کار، ما GPLC، یک محاسبه لامبدا احتمالی منبع تدریجی را ارائه و رسمی می کنیم.
GPLC شامل یک عملگر انتخاب احتمالی باینری است و به برنامه نویسان اجازه می دهد تا به تدریج. معرفی/حذف حاشیه نویسی استاتیک -- و احتمال -- معناشناسی ایستا GPLC به شدت بر مفهوم جفتهای احتمالی تکیه.
میکند،. همانطور که برای تعریف چندین رابطه،.
مانند سازگاری،. دقت،.
و گذرای سازگار لازم است. معنای پویای GPLC از طریق توضیح بیشتر به زبان مقصد TPLC داده میشود،.
که دارای یک معناشناسی مبتنی بر توزیع است که برنامهها را بهعنوان توزیعهای احتمالی بر روی مقادیر نهایی. تفسیر میکند.
با توجه به فرانظریه زبان،. ما ثابت میکنیم که TPLC - و بنابراین GPLC - از نوع ایمن است و دو مورد از.
معیارهای بهاصطلاح اصلاحشده برای زبانهای تدریجی را برآورده میکند،. یعنی اینکه این یک بسط محافظهکار از یک نوع کاملاً ایستا است و این که تضمین تدریجی را.
برآورده میکند و با توجه به دقت تایپ یکنواخت رفتار میکند. زبان های برنامه نویسی (cs.
PL) استناد بهعنوان: (یا v1 [cs. PL] برای این نسخه) https:.
// شده توسط arXiv از طریق DataCite (در انتظار ثبت نام) تاریخچه ارسال از:. Federico Olmedo [مشاهده ایمیل] [v1] دوشنبه،.
6 آوریل 2026،. ساعت 23:.
13:. 56 UTC (388 KB).
چرا مهم است
اهمیت این خبر در این است که روی استفاده واقعی از AI و تصمیمگیری سازمانی اثر میگذارد.
منبع
لینک منبع اصلی در کارت و صفحه مقاله نمایش داده میشود.