স্কিমের কল / সিসি কি সমস্ত পরিচিত নিয়ন্ত্রণ প্রবাহ কাঠামো বাস্তবায়ন করতে পারে?


13

"অ্যাডভান্সড স্কিম: কিছু দুষ্টু বিট" পৃষ্ঠাটি বলেছে:

ধারাবাহিকতা একটি শক্তিশালী নিয়ন্ত্রণ-প্রবাহ গঠন যা থেকে অন্য যে কোনও নিয়ন্ত্রণ-প্রবাহ কাঠামো [...] থেকে নেওয়া যেতে পারে।

আমি ভেবেছিলাম যে স্কিমটির call/cc, (*) পিটার ল্যান্ডিনের জে অপারেটরের সাথে সম্পর্কিত, কোনও পরিচিত নিয়ন্ত্রণ প্রবাহ কাঠামো প্রয়োগ করতে ব্যবহার করা যেতে পারে ?

"নিয়ন্ত্রণ প্রবাহ কাঠামো" দিয়ে আমি বিশেষত উইকিপিডিয়ায় তাদের বর্ণনা সম্পর্কে উদ্বিগ্ন, যেমন ব্যতিক্রম, কর্টিনস, সবুজ থ্রেড এবং এগুলি নিয়ে।

বিশেষ করে, সেখানে নিয়ন্ত্রণ প্রবাহ স্ট্রাকচার কোনো উদাহরণ যে করতে পারবে না ব্যবহার করে রূপায়িত হতে call/cc?

(*) আমি call/ccজে অপারেটরের মতো শক্তিশালী এমন কোনও কাগজ তৈরি করতে সক্ষম হইনি । ফেলিসেনের একটি গবেষণাপত্র (যা আমি পড়েনি এবং স্বীকার করে নিয়েছি এটি সম্পূর্ণরূপে বুঝতে সমস্যা হয়েছে) এটি তদন্ত করে এবং এই সিদ্ধান্তে মনে হয় যে তারা বিভিন্ন জটিল শ্রেণিতে থাকলেও তারা আনুষ্ঠানিকভাবে সমতুল্য।

(আরও মনে রাখবেন যে আমি নীচের মন্তব্যের ভিত্তিতে প্রশ্নটি আপডেট করেছি)

হালনাগাদ

নীচের @ নীলের দুর্দান্ত উত্তরের ভিত্তিতে, আমি সাইটগুলি সীমিত এবং অপরিবর্তিত ধারাবাহিকতায় মন্তব্য করেছি এবং এটি দেখে মনে হচ্ছে যে call/ccঅনির্দিষ্টকৃত হওয়ার পরেও যথেষ্ট নয়। এদিকে, প্রথম-শ্রেণীর, সীমিত সীমানা (যেমন shift/reset) ব্যবহার করা যেতে পারে, মনে হয়, কোনও নিয়ন্ত্রণ-প্রবাহ কাঠামো প্রকাশ করতে।


5
"নিয়ন্ত্রণ প্রবাহ কাঠামো" এর আনুষ্ঠানিক সংজ্ঞা কী?
হক

4
পুনরায়: অনির্ধারিত ধারাবাহিকতা। আপনি হায়ো থিয়েলেকের রেফারেন্সড পেপারটি পড়েছেন? প্রকৃত দাবি undelimited continuations হয় যেমন দ্বারা উপলব্ধcall/cc ব্যতিক্রম প্রকাশ করতে পারে না রাষ্ট্র অভাবে । (থিয়েলেকে যেমন উল্লেখ করা যায়, দুটি ধারাবাহিকতা পেরিয়ে ব্যতিক্রমগুলি প্রয়োগ করা যেতে পারে, একটি প্রোগ্রামের জন্য এবং অন্যটি ব্যতিক্রম হ্যান্ডলারের ক্ষেত্রে, তবে এর জন্য কেবল আরও কিছু প্রয়োজন call/cc))
রিচি

@ রিচি: আমি কেবল প্রথম কয়েকটি পৃষ্ঠাগুলি স্কিম করেছিলাম। (কাগজপত্র পড়তে আমার অনেক সময় লাগে )। মন্তব্যের জন্য ধন্যবাদ!
সিএসএল

@ হাকবেনেট আমার কোনও আনুষ্ঠানিক সংজ্ঞা নেই, তবে অনানুষ্ঠানিকভাবে আমি এটিকে এন.ইউইকিপিডিয়া.org / উইকি / কনট্রোল_ফ্লোতে বর্ণিত হিসাবে বোঝাতে চাইছি - বিশেষত আমার অর্থ হ'ল আপনি ধারাবাহিকতা প্রকাশ করতে এবং আরও গুরুত্বপূর্ণভাবে বাস্তবায়নের জন্য ব্যবহার করতে পারেন, সবুজ থ্রেড, ব্যতিক্রম, পলায়ন-বিবৃতি, ambদোসর rator
সিএসএল

2
@ সিএসএল "নিয়ন্ত্রণ প্রবাহ কাঠামো" এর অর্থ কী তা আরও সুনির্দিষ্ট করে তোলার পাশাপাশি, আপনাকে কোনও কিছু "এক্সপ্রেস" করার অর্থ কী আরও স্পষ্ট হওয়া দরকার। এটি একটি কঠিন সমস্যা এবং আপনার প্রশ্নের উত্তর আপনি কী হিসাবে প্রকাশ হিসাবে গণনা করছেন তার উপর নির্ভর করে depends সর্বোপরি, আপনি সর্বদা কোনওভাবে একটি টুরিং মেশিন কোড করতে পারেন যা ব্যতিক্রম (যেমন জাভা) এর সাথে কোনও ভাষার দোভাষীকে এনকোড করে। তবে সম্ভবত এটি আপনার মনে নেই, সুতরাং আপনার "অভিব্যক্তি" (যেমন গঠনতন্ত্র এবং / বা সম্পূর্ণ বিমূর্তি) ধারণার উপর দৃ strong় প্রতিবন্ধকতা রাখা দরকার।
মার্টিন বার্গার

উত্তর:


11

এই উত্তরে, আমি প্রোগ্রামিং ল্যাঙ্গুয়েজগুলির এক্সপ্রেসিভ পাওয়ার উপর 1991, ফেলেলিসেন এর অর্থে "ম্যাক্রো-এক্সপ্রেসেবল" অর্থ "এক্সপ্রেসিভ" নেব । (স্বজ্ঞাতভাবে, কোনও ভাষা বৈশিষ্ট্য ম্যাক্রো-এক্সপ্রেসিটেবল হয় যদি আপনি এটি একটি সম্পূর্ণ প্রোগ্রাম রূপান্তর ব্যবহার না করে স্থানীয় উত্স রূপান্তর হিসাবে সংজ্ঞা দিতে পারেন।)

এই সংজ্ঞা দিয়ে, উত্তর কোন : সীমায়িত নিয়ন্ত্রণ ল্যামডা-ক্যালকুলাস + + কল / CC মধ্যে ম্যাক্রো-ব্যক্ত করা যায় এমন নয়। কল / সিসি ব্যবহার করে সীমাবদ্ধ নিয়ন্ত্রণ অপারেটরদের প্রকাশ করা। কন্ট্রোল ডিলিমিটারগুলি (শিফট / রিসেটের রিসেট অংশ) বাস্তবায়নের জন্য, ধারাবাহিকতার চিহ্নগুলি সীমাবদ্ধ করার জন্য আপনার কয়েকটি রাষ্ট্রের প্রয়োজন, মূলত ধারাবাহিকতার চিহ্নগুলির গতিশীল লাইফটাইম অনুকরণ করার জন্য একটি স্ট্যাককে এনকোড করা দরকার।

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

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

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


তবে যদি সংজ্ঞাটি হয়: "আপনি কি স্কিম এবং কল / সিসি ব্যবহার করে কোনও নিয়ন্ত্রণ প্রবাহ কাঠামো বাস্তবায়ন করতে পারেন " (অনুকরণ ছাড়াই), তবে উত্তরটি অবশ্যই হ্যাঁ হবে ? LtU আলোচনা এ খুঁজছি lambda-the-ultimate.org/node/966 মনে হচ্ছে যে ওলেগ Kiselyouv কল / CC সঙ্গে স্কিম মধ্যে চারটি এফ অপারেটার বাস্তবায়িত: okmij.org/ftp/continuations/... - উদ্ধৃতাংশ "কোড নির্ভর অনির্ধারিত ধারাবাহিকতা ক্যাপচারের জন্য কল / সিসিতে কল করুন এবং একটি বৈশ্বিক মিউটেবল সেল ব্যবহার করেন It এটি প্রমাণিত হয়েছে, অন্যান্য এফ অপারেটরগুলি [...] বাস্তবায়নের জন্য এটি জারিযোগ্য " ... "-F- এর মাধ্যমে + এফ + এফ"।
সিএসএল

আমি আপনার উত্তরের ফ্রেম হিসাবে ফেলেলিসেনের "ম্যাক্রো-এক্সপ্রেসিবিলিটি" ব্যবহারটি স্বীকার করি, তবে আপনি দেখতে পাচ্ছেন যে আমি ইতিমধ্যে আমার প্রশ্নটি বিশেষত "কল্পনা / সিসি ব্যবহার করে প্রয়োগকরণ [পরিকল্পনার" হিসাবে বোঝাতে চেয়েছিলাম। এবং যখন ওলেগ কিসিলিভকে সীমিত ধারাবাহিকতার জন্য চারটি এফ অপারেটরকে বাস্তবায়নের জন্য একটি বৈশ্বিক মিউটটেবল সেল চালু করার দরকার হয়েছিল, তবে আমি মনে করি না এটি "প্রোগ্রামের মূল, বৈশ্বিক পুনর্গঠন" - কার্যত বলার অপেক্ষা রাখে না।
csl

আমি এই উত্তর গ্রহণ করতে যাচ্ছি। আমি Okmij.org/ftp/continuations/undelimited.html#delim-vs-undelim এ পাঠ্যের দিকেও নির্দেশ করতে চাই যার অতিরিক্ত পয়েন্টার রয়েছে। এটিও মনে হয় যে প্রথম-শ্রেণীর, শিফট / রিসেটের মতো সীমাবদ্ধ ধারাবাহিকতা যে কোনও নিয়ন্ত্রণ প্রবাহ কাঠামো প্রয়োগ করতে ব্যবহার করা যেতে পারে। লিঙ্কটি থেকে: "প্রথম শ্রেণির সীমান্তের ধারাবাহিকতা ব্যতিক্রম এবং পরিবর্তনীয় স্থিতি সহ যে কোনও স্পষ্টরকম গণনীয় প্রভাব প্রকাশ করতে পারে।"
সিএসএল
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.