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

আমি প্রোগ্রামের সমতা প্রমাণ করার পদ্ধতিগুলিতে কাজ করা একটি শিক্ষানবিস। যৌক্তিক সম্পর্ক বা দুটি প্রোগ্রাম সমতুল্য প্রমাণ করার জন্য সিমুলেশন সংজ্ঞায়নের বিষয়ে আমি কয়েকটি কাগজপত্র পড়েছি। তবে এই দুটি কৌশল সম্পর্কে আমি বেশ বিভ্রান্ত। আমি কেবল জানি যৌক্তিক সম্পর্কগুলি ইন্ডাকটিভલીভাবে সংজ্ঞায়িত করা হয় যখন সিমুলেশনগুলি সিন্ডকশন ভিত্তিক হয়। কেন তারা …

29 lo.logic  pl.programming-languages  logical-relations  parametricity 

এটি সুপরিচিত যে সিস্টেম এফ-এ আপনি বাইনারি পণ্যগুলিকে টাইপ দিয়ে এনকোড করতে পারেন আপনি তারপরে প্রজেকশন ফাংশনগুলি সংজ্ঞায়িত করতে পারেন \ pi_1: A \ গুণ B \ থেকে A এবং \ pi_2: A \ বার বি \ থেকে বি ।π 1 : এ × বি → এ π 2 : …

16 reference-request  pl.programming-languages  dependent-type  parametricity 

বার্নার্ডি এবং মৌলিনের 2012 টি এলআইএসএস কাগজ ( https://dl.acm.org/citation.cfm?id=2359499 ) দেখার পরে আমি প্যারামিট্রিকটিতে খুব আগ্রহী হয়েছি । এই কাগজটিতে, তারা নির্ভরযোগ্য ধরণের সাথে একটি খাঁটি টাইপ সিস্টেমে অবিচ্ছিন্ন প্যারামিট্রিসিটি অভ্যন্তরীণ করে এবং কীভাবে আপনি নির্মাণকে স্বেচ্ছাচারিতায় আধ্যাত্মিকভাবে প্রসারিত করতে পারেন তার ইঙ্গিত দেয়। আমি কেবল বাইনারি প্যারামিট্রিকটি আগেই সংজ্ঞায়িত …

15 lo.logic  pl.programming-languages  type-systems  logical-relations  parametricity 

প্যারামেট্রিক পলিমারফিজমের জন্য সম্পর্কের শব্দার্থের মর্ম বোঝার কিছু প্রাকৃতিক উপায় আছে কি? আমি সবেমাত্র রিলেশনাল প্যারামিট্রিকটির ধারণাটি পড়তে শুরু করেছি, একটি লা জন রেইনল্ডসের "প্রকার, বিমূর্তি এবং প্যারামেট্রিক পলিমারফিজম", এবং কীভাবে সম্পর্কযুক্ত শব্দার্থকে অনুপ্রাণিত করা হয়েছে তা বুঝতে আমার সমস্যা হচ্ছে। সেট শব্দার্থবিজ্ঞানগুলি আমার কাছে নিখুঁত ধারণা তৈরি করে এবং …

15 type-theory  parametricity 

প্যারামেট্রিক পলিমারফিজমের মডেলগুলির দিকে তাকিয়ে আমি কৌতূহল বোধ করি কেন রেফ্লেক্সিভ গ্রাফ বিভাগগুলি ব্যবহার করা হয়? বিশেষত, কেন তারা আপেক্ষিক রচনা অন্তর্ভুক্ত করে না? মডেলগুলির দিকে তাকিয়ে, তারা সকলেই আপেক্ষিক রচনার একটি প্রাকৃতিক ধারণা সমর্থন করে বলে মনে হচ্ছে: x(R;S)z⟺∃y.xRy∧ySzx(R;S)z⟺∃y.xRy∧ySz x(R;S)z \iff \exists y. xRy \wedge y S z রিফ্লেক্সিভ …

11 ct.category-theory  parametricity  logical-relations 

ইন বিনামূল্যে জন্য উপপাদ্য! , ওয়াডলার বলেছেন যে প্যারামিট্রিকটির বৈশিষ্ট্যটি শিথিল প্রাকৃতিক রূপান্তরগুলির ক্ষেত্রে আবার প্রকাশ করা যেতে পারে এবং এটি আরও একটি কাগজের বিষয় হতে পারে। তিনি কোন কাগজের কথা উল্লেখ করছেন? আমি জানি যে প্যারামটারিকটি সম্পর্কিত শ্রেণিবদ্ধ পদ্ধতি বাইনব্রিজ, ফ্রেইড, স্রেসড্রোভ এবং পি জে স্কট দ্বারা ফ্যান্টোরাল পলিমারফিজমে …

11 reference-request  ct.category-theory  parametricity 

রেনোল্ডস মূলত দ্বিতীয় অর্ডার পলিমারফিক ল্যাম্বডা ক্যালকুলাসের জন্য একটি সম্পর্কযুক্ত শব্দার্থক প্রস্তাব করেছিলেন [1]। তবে তিনি পরে [2] দেখিয়েছিলেন যে এই পদ্ধতির সাথে শাস্ত্রীয় সেট তত্ত্বের সাথে সঙ্গতিপূর্ণ নয়। পিটস হাইপারডোকট্রিন মডেল এবং টপোস মডেলগুলির কাঠামো বর্ণনা করেছেন [3] যা গঠনমূলক যুক্তির সাথে সামঞ্জস্যপূর্ণ। সম্ভবতঃ সম্পর্কিত সম্পর্কিত হাইপারডোকট্রিন এবং টপোস …

9 type-theory  parametricity