প্রশ্ন ট্যাগ «polymorphism»

সিস্টেম এফের জন্য বিষয় হ্রাস এবং শক্তিশালী স্বাভাবিককরণের প্রমাণগুলি অনেকগুলি পাঠ্যপুস্তকগুলিতে সন্ধান করা সহজ, কখনও কখনও জোড় সহ সিস্টেম এফের সংজ্ঞাও রয়েছে, যেখানে (টি, আর) একটি শব্দ নয়, কেবল একটি এনকোডিং নয়। প্রশ্নটি হ'ল এই পদ্ধতির রেফারেন্স কী হবে?

11 reference-request  lo.logic  type-theory  lambda-calculus  polymorphism 

আমার একটি ভাষা রয়েছে যেখানে হিন্ডলি – মিলনার ভিত্তিতে ইনফারেন্স সহ টাইপগুলি ডিফল্টরূপে আনবক্সড হয়। মূলত অস্তিত্বমূলক ধরণের সাথে কাজ করার জন্য আমি উচ্চ-পদমর্যাদার বহুবর্ষ যুক্ত করতে চাই। আমি মনে করি যে আমি এই ধরণেরগুলি কীভাবে চেক করব তা বুঝতে পারি তবে সংকলন করার সময় আমি কী করব তা নিশ্চিত …

10 type-theory  type-inference  polymorphism 

প্রশ্নটি নীচে রয়েছে। সাধারণত যখন কারও কাছে মতো শব্দ থাকে আমরা উদাহরণস্বরূপ ক্ষেত্রে এই শব্দটিকে কোনও ধরণের প্রয়োগ করে পোড়ালটিকে নির্মূল করতে পারি ।। এক্স। টিΛX.t\Lambda X.t( Λ এক্স। t ) [ টি] → টি [ এক্স: = টি](ΛX.t)[T]→t[X:=T](\Lambda X.t)[T]\to t[X:=T] এখন, ধরুন এটি একটি তীর এবং আমরা এটি একটি …

9 type-theory  polymorphism  type-inference