প্রশ্ন ট্যাগ «reflection»

5
-calculus প্রতিফলন সঙ্গে
আমি একটি সাধারণ ক্যালকুলাস খুঁজছি যা প্রতিবিম্ব সম্পর্কে যুক্তি সমর্থন করে , যথা, চলমান প্রোগ্রামগুলির অন্তর্মুখী এবং হেরফের। এমন কোনও টাইপযুক্ত- ক্যালকুলাস এক্সটেনশন রয়েছে যা একজনকে স্টার্মগুলিকে এমন একটি রূপে রূপান্তর করতে সক্ষম করে যা সিনট্যাকটিকালি ম্যানিপুলেটেড এবং তারপরে মূল্যায়ন করা যায়?λλ\lambdaλλ\lambda আমি কল্পনা করি যে ক্যালকুলাসের দুটি প্রধান অতিরিক্ত …
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.