ক্যাটাগরি তত্ত্বের ক্ষেত্রে ফিউচারকে কীভাবে বর্ণনা করা হয়?

Question

বিভাগ তত্ত্বের ক্ষেত্রে ফিউচার বা প্রতিশ্রুতির কোনও কার্যকর বিবরণ আছে কি ? বিশেষত, ভবিষ্যতের শ্রেণীবদ্ধ দ্বৈত কী হতে পারে?

Answer 1

যেমনটি ঘটে, আমি এখন এটি সম্পর্কে একটি কাগজ লিখছি। আইএমও, ভবিষ্যত বা প্রতিশ্রুতি সম্পর্কে ভাবার একটি ভাল উপায় হল অস্থায়ী যুক্তির জন্য কারি-হাওয়ার্ডের চিঠিপত্রের বিবেচনায় ।

মূলত, ফিউচারের পিছনে ধারণাটি হ'ল এটি একটি ডেটা স্ট্রাকচার যা একটি গণনার প্রতিনিধিত্ব করে যা চলছে এবং আপনি এটি সমন্বয় করতে পারেন। টেম্পোরাল লজিকের বিচারে এটি শেষ পর্যন্ত অপারেটর $\Diamond A$ । এটির একটি monadic কাঠামো রয়েছে:

$$\begin{array}{lcl} \mathrm{return} & : & A \to \Diamond A \\ \mathrm{bind} & : & (A \to \Diamond{B}) \to \Diamond{A} \to \Diamond{B} \end{array}$$ যাতে $\mathrm{return}$অপারেশনটি এমন একটি প্রক্রিয়া তৈরি করে যা অবিলম্বে তার যুক্তিটি ফিরিয়ে দেয় এবং $\mathrm{bind}$ একটি নতুন প্রক্রিয়া তৈরি করে যা মানটির জন্য অপেক্ষা করে, সেই মানটির সাথে $a$ প্রয়োগ করে এবং তারপরে ফিরে আসার আগে বি- ভ্যালুয়ের জন্য অপেক্ষা করে । CommonJS জন্য অঙ্গীকার / এ প্রস্তাব কীটাণুজাতীয় বেঁধে অপারেশন আহ্বান , এবং Scala 2.10 শুধু এটা মান পরমাণুসদৃশ্য ইন্টারফেস দেয় ।$f$$B$then

অবশেষে অপারেটরের দ্বৈত $\Diamond{A}$ সবসময় অপারেটর $\Box{A}$ সময়গত যুক্তি, যেখানে বলা আছে যে প্রতি তাত্ক্ষণিক, আপনি একটি পেতে $A$ । আপনি সময়গত যুক্তি একটি ক্রিপকির শব্দার্থবিদ্যা (যেখানে আপনি শুধু মডেল provability) একটি একটি categorial শব্দার্থবিদ্যা থেকে পাস যখন $\lambda$ -calculus (যেখানে আপনার মডেলকে ল্যামডা-শর্তাবলি / প্রমাণাদি এছাড়াও), এটি সক্রিয় আউট সেখানে আসলে এই কাজ করতে একাধিক উপায়।

$\Box{A} \triangleq A$$A$

সর্বাধিক প্রাকৃতিক (আইএমও) করণীয় হ'ল , যা আপনাকে প্রতিটি তাত্ক্ষণিকভাবে একটি (সম্ভাব্য আলাদা) পাওয়ার অনুমতি দেয় । তারপরে, আপনি ফিউচার সহ প্রোগ্রামিংয়ের দ্বৈত থেকে monadic স্টাইল হিসাবে ফাংশনাল রিঅ্যাকটিভ প্রোগ্রামিং (এফআরপি) (প্রথম টারমো উস্তালু এবং ভার্মো ভেন দ্বারা প্রস্তাবিত) কমোনাদিক স্টাইলটি দেখতে পাবেন ।$\Box{A} \triangleq \mathsf{Stream}\;A$$A$

যাইহোক, কমোনাদিক mb ক্যালকুলাস যেমনটি তাদের কমনীয়তা সত্ত্বেও প্রবাহের সাথে স্পষ্টভাবে প্রোগ্রামিংয়ের সাথে অভিব্যক্তির মারাত্মক ক্ষতির কারণ হয়ে থাকে, যেহেতু তারা ব্যবহার করে নিখরচায় কয়লাগ্রাবারের শ্রেণিতে অনেক আকর্ষণীয় প্রোগ্রাম বোঝাতে খুব কম বিশ্বব্যাপী উপাদান রয়েছে to , বিশেষত নির্দিষ্ট পয়েন্ট।$\lambda$

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

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

আপনি যদি ভবিষ্যতগুলিতে বিশেষভাবে সমাবর্তনের জন্য আগ্রহী হন , তবে এলটিএল না হয়ে সিটিএল দেখার পক্ষে এটি আরও ভাল ধারণা হতে পারে । আফাইক, এটি বর্তমানে অপরিবর্তিত অঞ্চল!

সম্পাদনা: খসড়ার লিঙ্কটি এখানে । কাগজটি বেশিরভাগ টাইপযুক্ত এফআরপি বাস্তবায়নের বিষয়ে, সুতরাং ভাষাটি সংলগ্ন। তবে বিভাগ ৩.৩-এর ফিউচার / ইভেন্টগুলির বেশিরভাগ আলোচনার মূলত সত্যিকারের সমবর্তী ভাষাতেও প্রয়োগ করা উচিত।

Comments

এটি শেষ করার পরে আমি তার একটি অনুলিপি পেতে চাই।

— ডেভ ক্লার্ক

দেখে মনে হচ্ছে এটি ফিউচারের একটি গুরুত্বপূর্ণ বৈশিষ্ট্য হারাবে: একবার কোনও মূল্য অর্জনের পরে এটি পরিবর্তন হতে পারে না। আমি এটিকে একটি i একটি অট্টালিকা হিসাবে গ্রহণ করে প্রকাশ করার চেষ্টা করব , তবে this একটি স্রোত বলতে চাইলে আমরা এটি চাই না ... এবং কাগজটি শেষ হয়ে গেলে আমার একটি অনুলিপিও চাই: )$A \to \Box A$$\Box$

— আলেক্সি রোমানভ

আমি সম্প্রতি পড়েছি যে স্কালার ধরণ Try[T]এবং Future[T]দ্বৈত, তবে আমি এর অর্থ / কী অর্থে এটি বেশ বুঝতে পারি নি।

— জর্জিও