خب بچه‌ها، امروز یه مقاله جالب دارم براتون که یه کم درباره دنیای برنامه‌نویسی و هوش مصنوعی و این چیزاست. قراره با هم یه نگاهی بندازیم به چیزی به اسم “partial-encapsulate” و این که چطور توی پیاده‌سازی عملیات ممیز شناور (floating-point operations) توی یه سیستم معروف به اسم ACL2 به کار میره.
اول از همه، بذارید با ACL2 شروع کنیم. ACL2 یه ابزار خیلی خفنه برای اثبات کردن صحت برنامه‌های کامپیوتری؛ یعنی: “بابا! مطمئنی این کدت درست کار میکنه یا نه؟” قدیمی‌ها خیلی دوستش دارن چون هرچی براش تعریف کنی دقیقاً چک میکنه که اوکی باشه!
حالا partial-encapsulate چیه اصلش؟ اینو جوری توضیح بدم براتون که جا بیفته؛ توی برنامه‌نویسی، گاهی وقت‌ها می‌خوای یه تابع یا یه ماژول رو محدود و خاص کنی، یا یه بخشیشو جدا کنی، ولی نمی‌خوای همه دنیای کد رو قفل کنی. partial-encapsulate یعنی “یه جور قفلِ نصفه نیمه روی بخشی از برنامه‌ات بذاری!”، که یکم آزادی میده ولی هنوز کنترل داری. خلاصش: این تکنیک باعث میشه یه قانون‌هایی رو توی یه بخش مشخص فقط اعمال کنی و باقی کدت آزاد باشه!
حالا عملیات ممیز شناور چیه؟ ممیز شناور یا Floating-point همون اعدادی هستن که اعشاری‌ان، مثلا ۳.۱۴ یا ۲.۷۱ و… توی کامپیوترها باهاشون سر و کله زدن سخت‌تر از اعداد صحیح یا همون عددای کامل (مثل ۵ یا ۷) هست، چون دقت حسابشون مهمه. مثلاً عملیات ریاضی خیلی دقیقی روشون انجام میشه سرمحاسبه کردن اعشار، و اگه کدت درست کار نکنه، کل حساب کتاب‌ها قاطی میشه.
توی این مقاله، نویسنده‌ها اومدن نشون دادن که partial-encapsulate چطوری میتونه ساختن و تست کردن این عملیات ممیز شناور رو آسون‌تر و مطمئن‌تر کنه. اونا با مثال نشون میدن که اگه بخوای اینجور عملیاتو توی ACL2 پیاده‌سازی کنی (یعنی ساختن جوری که بشه باهاش کار کرد)، partial-encapsulate میاد وسط و اجازه میده قشنگ روی بخشی که لازمه محدودیت بذاری، دقیقاً تمرکز کنی. اینطوری نه کل سیستم گیر میکنه، نه هیچ کدوم از قابلیت‌هاشو از دست میده.
در کل، پیام اصلی مقاله اینه: partial-encapsulate رو جدی بگیرین! این ابزار میتونه یه عالمه مشکلات برنامه‌نویسی مخصوصاً برای عملیات اعشاری یا هر جا که باید یه چیزو محدود کنی رو حل کنه؛ مخصوصاً وقتی داری با یه ابزار قدرتمند مثل ACL2 کار میکنی که خودش برای بررسی منطقی کدا ساخته شده.
آخرش؟ دیگه میدونین partial-encapsulate چیه و چرا واسه ممیز شناور باحال و به درد بخوره! پس اگه روزی خواستین تو برنامه‌ی خودتون مخصوصاً تو عملگرای اعشاری توی ACL2 یه کم مهندسی خاص بزنید، این تکنیک رو یادتون باشه!
منبع: +
