আপনি যা চান তা যদি স্থিরভাবে টাইপ করা ভাষা ছিল যা লিস্পের মতো দেখায় তবে আপনি এটি সহজেই করতে পারেন, আপনার ভাষাকে উপস্থাপন করে এমন একটি বিমূর্ত সিনট্যাক্স ট্রি সংজ্ঞায়িত করে এবং তারপরে এস-এক্সপ্রেশনগুলিতে সেই এএসটি ম্যাপিং করে। তবে আমি মনে করি না যে আমি ফলাফলটি লিস্পকে ডাকব।
আপনি যদি সিন্টেক্সের পাশাপাশি লিস্প-ওয়াই বৈশিষ্ট্যযুক্ত এমন কিছু চান, তবে এটি স্ট্যাটিকালি টাইপ করা ভাষার সাহায্যে করা সম্ভব। তবে লিস্পে এমন অনেকগুলি বৈশিষ্ট্য রয়েছে যা থেকে কার্যকর স্ট্যাটিক টাইপিংয়ের বাইরে পাওয়া শক্ত। উদাহরণস্বরূপ, আসুন তালিকার কাঠামো নিজেই দেখে নেওয়া যাক, কনস নামে পরিচিত , যা লিস্পের প্রাথমিক বিল্ডিং ব্লকটি তৈরি করে।
কনসকে একটি তালিকা বলা, যদিও এটি (1 2 3)দেখতে একরকম মনে হচ্ছে, এটি কিছুটা মিসনোমার। উদাহরণস্বরূপ, এটি স্ট্যাটিকালি টাইপ করা তালিকার সাথে মোটেই তুলনীয় নয়, যেমন সি ++ এর std::listঅথবা হাস্কেলের তালিকার মতো। সেগুলি একক-মাত্রিক লিঙ্কযুক্ত তালিকা যেখানে সমস্ত ঘর একই ধরণের the লিস্প সুখে অনুমতি দেয় (1 "abc" #\d 'foo)। এছাড়াও, আপনি তালিকাগুলির তালিকাগুলি কভার করতে আপনার স্ট্যাটিক-টাইপড তালিকাগুলি প্রসারিত করলেও এই সামগ্রীর ধরণের জন্য তালিকার প্রতিটি উপাদান একটি উপ তালিকা হতে পারে। আপনি ((1 2) 3 4)তাদের মধ্যে প্রতিনিধিত্ব করবেন?
লিস্প কনসগুলি পাতাগুলি (পরমাণু) এবং শাখা (কনস) সহ একটি বাইনারি গাছ গঠন করে। তদুপরি, এ জাতীয় গাছের পাতাগুলিতে কোনও পরমাণু (নন-কনস) লিস্প টাইপ থাকতে পারে! এই কাঠামোর নমনীয়তাটিই লিস্পকে প্রতীকী গণনা, এএসটি এবং লিস্প কোড নিজেই রূপান্তর করতে এত ভাল করে তোলে!
সুতরাং আপনি স্ট্যাটিকালি টাইপ করা ভাষায় এই জাতীয় কাঠামোর মডেল করবেন কীভাবে? আসুন এটি হ্যাসকেলে চেষ্টা করুন, যার একটি অত্যন্ত শক্তিশালী এবং সুনির্দিষ্ট স্ট্যাটিক টাইপ সিস্টেম রয়েছে:
type Symbol = String
data Atom = ASymbol Symbol | AInt Int | AString String | Nil
data Cons = CCons Cons Cons
| CAtom Atom
আপনার প্রথম সমস্যাটি পরমাণুর ধরণের সুযোগ হতে চলেছে। স্পষ্টতই, আমরা যে সমস্ত ধরণের অবজেক্টগুলিকে কনসে ঘুরে বেড়াতে চাই তার সমস্ত ধরণের আচ্ছাদন করার জন্য পর্যাপ্ত নমনীয়তার কোনও প্রকার বাছাই করি নি। অ্যাটম ডাটা স্ট্রাকচারটি উপরে তালিকাভুক্ত হিসাবে প্রসারিত করার চেষ্টা করার পরিবর্তে (যা আপনি পরিষ্কারভাবে দেখতে পাচ্ছেন ভঙ্গুর), আসুন আমরা বলি যে আমাদের কাছে একটি মায়াবী টাইপ শ্রেণি ছিল Atomicযা আমরা পারমাণবিক বানাতে চেয়েছিল এমন সমস্ত প্রকারের পার্থক্য করে। তারপরে আমরা চেষ্টা করতে পারি:
class Atomic a where ?????
data Atomic a => Cons a = CCons Cons Cons
| CAtom a
তবে এটি কাজ করবে না কারণ গাছের সমস্ত পরমাণু একই ধরণের হওয়া দরকার। আমরা চাই যে তারা পাতায় পাতায় আলাদা হতে পারে। আরও ভাল পদ্ধতির জন্য হাস্কেলের অস্তিত্বমূলক কোয়ানটিফায়ার ব্যবহার প্রয়োজন :
class Atomic a where ?????
data Cons = CCons Cons Cons
| forall a. Atomic a => CAtom a
তবে এখন আপনারা বিষয়টি নিয়ে আসেন। এই ধরণের কাঠামোতে আপনি পরমাণুগুলি দিয়ে কী করতে পারেন? তাদের মধ্যে কী কাঠামো মিল রয়েছে যা দিয়ে মডেল করা যেতে পারে Atomic a? এই জাতীয় ধরণের সাথে কী স্তরের সুরক্ষা আপনি গ্যারান্টিযুক্ত? নোট করুন আমরা আমাদের টাইপ শ্রেণিতে কোনও ফাংশন যোগ করি নি, এবং এর একটি ভাল কারণ রয়েছে: লিস্পে অণুগুলি সাধারণ কিছু ভাগ করে না। লিস্পে তাদের সুপারটাইপটিকে কেবল t(অর্থাত্ শীর্ষ) বলা হয় ।
এগুলি ব্যবহার করার জন্য, আপনাকে বাস্তবে ব্যবহার করতে পারেন এমন কোনও কিছুতে পরমাণুর মানকে গতিশীলভাবে বাধ্য করার জন্য আপনাকে প্রক্রিয়াগুলি নিয়ে আসতে হবে । এবং এই মুহুর্তে, আপনি মূলত আপনার স্থিতিযুক্ত ভাষার মধ্যে একটি গতিময় টাইপযুক্ত সাবসিস্টেমটি প্রয়োগ করেছেন! ( গ্রীনস্পানের দশম প্রোগ্রামের প্রোগ্রামিং-এর একটি সম্ভাব্য ol ণপত্রের সাহায্যে কেউ সহায়তা করতে পারে না ))
নোট করুন যে হাস্কেল একটি প্রকারের সাথে কেবল এই জাতীয় গতিশীল সাবসিস্টেমের জন্য আমাদের শ্রেণিকে প্রতিস্থাপন করার জন্য Objএকটি Dynamicপ্রকার এবং একটি টাইপযোগ্য শ্রেণীর সাথে একযোগে ব্যবহার করে Atomic, যা স্বেচ্ছাসেবী মানগুলিকে তাদের প্রকারের সাথে সঞ্চিত করতে দেয় এবং সেই ধরণের থেকে সুস্পষ্ট জবরদস্তি ফিরিয়ে দেয়। লিস্প কনস কাঠামোগুলি তাদের সম্পূর্ণ সাধারণতার সাথে কাজ করার জন্য আপনার প্রয়োজন সেই ধরণের সিস্টেম।
আপনি যা করতে পারেন তা অন্যভাবে চলে যান এবং একটি স্ট্যাটিকালি টাইপড সাবসিস্টেমটি মূলত গতিময় টাইপের ভাষার মধ্যে এম্বেড করা। এটি আপনাকে আপনার প্রোগ্রামের যে অংশগুলি আরও কঠোর প্রকারের প্রয়োজনীয়তার সুযোগ নিতে পারে তার জন্য স্ট্যাটিক প্রকারের চেকিংয়ের সুবিধা দেয়। এটি সিএমইউসিএল এর সুনির্দিষ্ট ধরণের চেকিংয়ের সীমিত আকারে গৃহীত পদ্ধতি বলে মনে হচ্ছে , উদাহরণস্বরূপ।
অবশেষে, দুটি পৃথক সাবসিস্টেম থাকার সম্ভাবনা রয়েছে, গতিশীল এবং স্ট্যাটিকালি টাইপ করা হয়েছে যেগুলি চুক্তির-শৈলীর প্রোগ্রামিং ব্যবহার করে উভয়ের মধ্যে উত্তরণ নেভিগেট করতে সহায়তা করে। ভাষা লিস্পের ব্যবহারগুলিকে সামঞ্জস্য করতে পারে যেখানে স্থির ধরণের চেকিং সাহায্যের চেয়ে বাধা হয়ে দাঁড়াবে এবং পাশাপাশি স্থির প্রকারের পরীক্ষা করা সুবিধাজনক হবে uses এটি টাইপড র্যাকেটের গৃহীত পদ্ধতি , যা আপনি পরবর্তী মন্তব্যগুলি দেখবেন।