استنتاج نوع - کنکور ۸۹ - نسخهی قابل چاپ |
استنتاج نوع - کنکور ۸۹ - hosshah - 20 بهمن ۱۳۹۲ ۰۲:۴۱ ب.ظ
عزیزان همراه و همراهان عزیز سلام میشه این سوال رو با توضیح حل کنید خیلی سپاسگزارم |
RE: استنتاج نوع - کنکور ۸۹ - maryam.raz - 20 بهمن ۱۳۹۲ ۰۴:۰۳ ب.ظ
این از اون سوالای عتیقه است که امیدوارم امثال دچارشون نشیم پاسخ مقسمی رو مینویسم توضیحش خوبه: چون پارامتر اول تابع 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" دست شما درد نکنه خیلی بسیار بسیار زحمت کشیدی ایشالا موفق باشی |