আমি একটি সাধারণ ক্যালকুলাস খুঁজছি যা প্রতিবিম্ব সম্পর্কে যুক্তি সমর্থন করে , যথা, চলমান প্রোগ্রামগুলির অন্তর্মুখী এবং হেরফের।
এমন কোনও টাইপযুক্ত- ক্যালকুলাস এক্সটেনশন রয়েছে যা একজনকে স্টার্মগুলিকে এমন একটি রূপে রূপান্তর করতে সক্ষম করে যা সিনট্যাকটিকালি ম্যানিপুলেটেড এবং তারপরে মূল্যায়ন করা যায়?
আমি কল্পনা করি যে ক্যালকুলাসের দুটি প্রধান অতিরিক্ত শর্ত রয়েছে:
- : লাগে এবং একটি প্রতিনিধিত্ব উৎপন্ন অন্বিত ম্যানিপুলেশন amendable।v
- : একটি পদটির সিনট্যাকটিক উপস্থাপনা নেয় এবং তা মূল্যায়ন করে।
প্রতিবিম্ব সমর্থন করার জন্য, পদগুলির একটি সিনট্যাকটিক উপস্থাপনা প্রয়োজন required এটি দেখতে কিছু হবে:
- একটি শব্দ হিসাবে প্রতিনিধিত্ব করা হবে , যেখানে এর প্রতিফলিত সংস্করণ ,
- শব্দটি হিসাবে প্রতিনিধিত্ব করা হবে এবং
- ( V A R x ) হিসাবে উপস্থাপন করা হবে।
এই উপস্থাপনার সাথে, প্যাটার্ন মেলানো শর্তগুলি ম্যানিপুলেট করতে ব্যবহৃত হতে পারে।
তবে আমরা একটি সমস্যায় পড়েছি। এবং কে শর্তাদি হিসাবে এনকোড করা দরকার, যেমন প্যাটার্ন মেলানো। এটির সাথে লেনদেন করা সহজ বলে মনে হচ্ছে, , এবং , তবে এগুলির হেরফেরকে সমর্থন করার জন্য আমার কি অন্যান্য শর্ত যুক্ত করার দরকার আছে?
ডিজাইনের পছন্দগুলি করা দরকার। কি করা উচিত ফাংশন উপরে উল্লিখিত লাশ না এবং ? উচিত শরীর রুপান্তর কি না?
যেহেতু আমি নিজেই প্রতিচ্ছবি অধ্যয়নের বিষয়ে তেমন আগ্রহী নই - ক্যালকুলাস অন্যান্য গবেষণার বাহন হিসাবে কাজ করবে - আমি চাকাটি পুনরায় উদ্ভাবন করতে চাই না।
আমি স্রেফ বর্ণিত হিসাবে মেলে এমন কোনও ক্যালকুলি আছে কি?
আমি যতদূর বলতে পারি, একটি মন্তব্যে প্রস্তাবিত মেটাএমএল-এর মতো ক্যালকুলি অনেক দূর এগিয়ে যান, তবে তারা ইতিমধ্যে নির্মিত হয়েছে এমন কোডের খণ্ডগুলি মেলে এবং ডিকনস্ট্রাক্ট করার ক্ষমতা অন্তর্ভুক্ত করে না।
আমি করতে সক্ষম হতে চাই একটি জিনিস নিম্নলিখিত:
এবং তারপরে সম্পূর্ণ আলাদা এক্সপ্রেশন তৈরি করতে ফলাফলের সাথে প্যাটার্ন মেলানো সম্পাদন করুন।
এটি অবশ্যই ক্যালকুলাসে রক্ষণশীল এক্সটেনশন নয় এবং মেটা-তত্ত্বটি কুৎসিত হওয়ার সম্ভাবনা রয়েছে তবে এটি আমার আবেদনের জন্য বিন্দু জাতীয় of আমি বিরতি চান λ পৃথক্ -abstractions।