কৌশলগত প্রোগ্রামিং ভাষার তাত্ত্বিক সীমা কি?

Question

স্ট্র্যাটেগো একটি প্রোগ্রামিং রূপান্তর ভাষা / পুনর্লিখনের ডিএসএল L

এন্থনি Sloane হয়েছে কিছু কাজ একটি করছেন বাস্তবায়ন যে Scala উপর সঞ্চালিত হয় ।

কার্যকরী ভাষা হিসাবে কৌশলগতের তাত্ত্বিক সীমাগুলি কী কী? (বাস্তবায়ন নির্বিশেষে) স্ট্র্যাটেগোতে কি একজন আবেদনকারী আদেশ ycombinator লিখতে পারেন?

Comments

একটি খুব আকর্ষণীয় প্রশ্ন।

— ডেভ ক্লার্ক

আপনি কি সত্যই একই কাগজের দুটি তুচ্ছ রূপের সাথে লিঙ্ক করার অর্থ দিয়েছিলেন?

— র্যান্ডাল শুল্জ

এই প্রশ্নের পরিমার্জন: ম্যাক্রো প্রযুক্তির বিপরীতে এইভাবে প্রোগ্রামিং ভাষা বাড়ানোর কী কী সুবিধা এবং অসুবিধাগুলি রয়েছে?

— চার্লস স্টুয়ার্ট

Answer 1

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

আপনি যদি ভাব প্রকাশের আরও নির্দিষ্ট ধারণাটিতে আগ্রহী হন, তবে আমি আপনাকে আপনার প্রশ্নটি পুনর্বিবেচনা করার পরামর্শ দিচ্ছি।

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