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