মানাড (ফাংশনাল প্রোগ্রামিং)
ফাংশনাল প্রোগ্রামিং এ, মানাড হচ্ছে একটি ডিজাইন প্যাটার্ন যেটা প্রোগ্রাম এর যৌক্তিকতার জন্য প্রয়োজনীয় অপরিবর্তনীয় বয়লারপ্লেট কোডগুলিকে স্বয়ংক্রিয়করণ করে এবং একটা প্রোগ্রামকে সাজাইতে জেনেরিকভাবে সহায়তা করে। মানাড তার নিজস্ব ডেটা টাইপ প্রবর্তনের মাধ্যমে এটি করে থাকে, যে ডেটা টাইপ কম্পুগণনার একটি নির্দিষ্ট রূপ প্রদর্শন করে, মানাডের অভ্যন্তরে যেকোন মৌলিক টাইপকে ঢেকে রাখার একটি কার্যপ্রণালী প্রদান করে (যেটি একটি মানাডিয় মান প্রদান করে), এবং মানাডিয় মান বের করার ফাংশন তৈরির একটি উপায় প্রদান করে (যেটাকে বলা হয় মানাডিয় ফাংশন)। এর দ্বারা মানাড একটি বৃহৎ পরিসর এর সমস্যার সমাধান করে, যেমন সম্ভাব্য অনির্দিষ্ট মানসমূহ নিয়ে কাজ করা (Maybe মানাডের মাধ্যমে), অথবা মানসমূহকের একটি নমনীয় ও সুগঠিতভাবে তালিকাভুক্ত করা (List মানাডের মাধ্যমে)। মানাডের সাহায্যে একজন প্রোগ্রামার একগাদা জটিল ফাংশনের একটা অনুক্রম কে একটা সংক্ষিপ্ত পাইপলাইনে পরিণত করতে পারে যেটা আনুষঙ্গিক ডেটা ব্যবস্থাপনা, প্রোগ্রাম নিয়ন্ত্রণ প্রবাহ(কন্ট্রোল ফ্লো) অথবা পার্শ্বপ্রতিক্রিয়া ইত্যাদিকে একটি বিমূর্তন(অ্যাবস্ট্রাকশন) এর পিছনে ফেলতে পারে। মানাডের ধারণা এবং শাব্দিক উৎপত্তি উভয়ই ক্যাটাগরি তত্ত্ব হতে মূলত সৃষ্ট, যেখানে এটিকে বাড়তিভাবে গঠিত ফাঙ্কটর আখ্যা দেয়া হয়েছে। আশির দশকের শেষ দিকে ও নব্বুই দশকের শুরুর দিকে গবেষণার মাধ্যমে প্রমাণিত হয়ে যে, মানাডের সহায়তায় কম্পিউটার বিজ্ঞানের আপাতদৃষ্টিতে অসম সমস্যাগুলিকে একটি সমন্বিত ও ফাংশনাল মডেল এ উন্নীত করা সম্ভব। ক্যাটাগরি থিওরি কিছু আনুষ্ঠানিক রিকোয়ারমেন্ট প্রদান করে, যএটাকে মানাডিয় সূত্র হিসাবে অভিত করা যেতে পারে, যাকে যেকোন মানাড চরিতার্থ করতে পারে ও এগুলোর সাহায্যে মানাডিয় কোডসমূহকে যাচাই করা যেতে পারে যেহেতু মানাড কম্পুগণনার জন্য প্রয়োজনীয় সেমান্টিকস কে স্পষ্টভাবে বর্ণিত করে, সেহেতু মানাডের সাহায্যে কম্পিউটার ভাষার সুবিধাজনক সম্প্রসারণ সম্ভব। কিছু কম্পিউটার ভাষা, যেমন হাস্কেল, তাদের মূল লাইব্রেরিতে, মানাডের সাধারণ গঠন ও প্রচলিত নিদর্শনের জন্য পূর্ববর্ণিত সংজ্ঞা প্রদান করে।