"অ্যাডভান্সড স্কিম: কিছু দুষ্টু বিট" পৃষ্ঠাটি বলেছে:
ধারাবাহিকতা একটি শক্তিশালী নিয়ন্ত্রণ-প্রবাহ গঠন যা থেকে অন্য যে কোনও নিয়ন্ত্রণ-প্রবাহ কাঠামো [...] থেকে নেওয়া যেতে পারে।
আমি ভেবেছিলাম যে স্কিমটির call/cc
, (*) পিটার ল্যান্ডিনের জে অপারেটরের সাথে সম্পর্কিত, কোনও পরিচিত নিয়ন্ত্রণ প্রবাহ কাঠামো প্রয়োগ করতে ব্যবহার করা যেতে পারে ?
"নিয়ন্ত্রণ প্রবাহ কাঠামো" দিয়ে আমি বিশেষত উইকিপিডিয়ায় তাদের বর্ণনা সম্পর্কে উদ্বিগ্ন, যেমন ব্যতিক্রম, কর্টিনস, সবুজ থ্রেড এবং এগুলি নিয়ে।
বিশেষ করে, সেখানে নিয়ন্ত্রণ প্রবাহ স্ট্রাকচার কোনো উদাহরণ যে করতে পারবে না ব্যবহার করে রূপায়িত হতে call/cc
?
(*) আমি call/cc
জে অপারেটরের মতো শক্তিশালী এমন কোনও কাগজ তৈরি করতে সক্ষম হইনি । ফেলিসেনের একটি গবেষণাপত্র (যা আমি পড়েনি এবং স্বীকার করে নিয়েছি এটি সম্পূর্ণরূপে বুঝতে সমস্যা হয়েছে) এটি তদন্ত করে এবং এই সিদ্ধান্তে মনে হয় যে তারা বিভিন্ন জটিল শ্রেণিতে থাকলেও তারা আনুষ্ঠানিকভাবে সমতুল্য।
(আরও মনে রাখবেন যে আমি নীচের মন্তব্যের ভিত্তিতে প্রশ্নটি আপডেট করেছি)
হালনাগাদ
নীচের @ নীলের দুর্দান্ত উত্তরের ভিত্তিতে, আমি সাইটগুলি সীমিত এবং অপরিবর্তিত ধারাবাহিকতায় মন্তব্য করেছি এবং এটি দেখে মনে হচ্ছে যে call/cc
অনির্দিষ্টকৃত হওয়ার পরেও যথেষ্ট নয়। এদিকে, প্রথম-শ্রেণীর, সীমিত সীমানা (যেমন shift/reset
) ব্যবহার করা যেতে পারে, মনে হয়, কোনও নিয়ন্ত্রণ-প্রবাহ কাঠামো প্রকাশ করতে।
call/cc
ব্যতিক্রম প্রকাশ করতে পারে না রাষ্ট্র অভাবে । (থিয়েলেকে যেমন উল্লেখ করা যায়, দুটি ধারাবাহিকতা পেরিয়ে ব্যতিক্রমগুলি প্রয়োগ করা যেতে পারে, একটি প্রোগ্রামের জন্য এবং অন্যটি ব্যতিক্রম হ্যান্ডলারের ক্ষেত্রে, তবে এর জন্য কেবল আরও কিছু প্রয়োজন call/cc
))
amb
দোসর rator