تالار گفتمان مانشت
استنتاج نوع - کنکور ۸۹ - نسخه‌ی قابل چاپ

استنتاج نوع - کنکور ۸۹ - hosshah - 20 بهمن ۱۳۹۲ ۰۲:۴۱ ب.ظ

عزیزان همراه و همراهان عزیز سلام
میشه این سوال رو با توضیح حل کنید خیلی سپاسگزارم

[تصویر:  248343_89.png]

RE: استنتاج نوع - کنکور ۸۹ - maryam.raz - 20 بهمن ۱۳۹۲ ۰۴:۰۳ ب.ظ

این از اون سوالای عتیقه است که امیدوارم امثال دچارشون نشیمSmile
پاسخ مقسمی رو مینویسم توضیحش خوبه:
چون پارامتر اول تابع f ، برابر g می باشد پس a-->b یعنی ورودی g از نوع a و خروجی آن از نوع b است.
چون در تابع g(h(x خروجی h ورودی g تلقی میشه پس باید خروجی h نیز a باشد اما ورودی آن میتواند هر چیزی مثل C باشد
در مورد x چون در g(h(x ،متغیر x پارامتر h تلقی شده و نوع آن Cاست پس x باید از نوع C باشد.
شفاف بود؟

RE: استنتاج نوع - کنکور ۸۹ - hosshah - 20 بهمن ۱۳۹۲ ۰۴:۰۷ ب.ظ

نه انصافا خوب گفته بود به جز اون اولش که گفت "چون پارامتر اول تابع f ، برابر g می باشد پس a-->b"
دست شما درد نکنه خیلی بسیار بسیار زحمت کشیدی
ایشالا موفق باشی