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

১৯৫০ এর দশকে, গণিতবিদ রজার গডেমেন্ড সর্বপ্রথম মানাডের ধারণা সূত্রবদ্ধ করেন (তিনি এটিকে "আদর্শ গঠন" বলে অভিহিত করেন), তবে, ক্য়াটাগরি তত্ত্ববাদী স্য়ান্ডার্স ম্য়াকলেনের কল্য়ানে "মানাড" পরিভাষাটি আধিপত্য় বিস্তার করে। ১৯৬৫ সালে গণিতবিদ হেইনরিখ ক্লেইসি সর্বপ্রথম, উপরে এর সাহায্যে যে নমুনাটি দেখানো হয়েছে, সেটির মাধ্যমে প্রমাণ করেন যে, একটি মানাডকে দুটি (কো-ভ্য়ারিয়েন্ট) ফাঙ্কটর এর সমষ্টি (অ্য়াডজাঙ্কশন) হিসেবে প্রকাশ করা যেতে পারে।

১৯৮০র দশকের শুরুতে মানাড প্যাটার্ন এর একটা ভাসা-ভাসা ধারণা কম্পুবিজ্ঞানীদের মাঝে বিস্তার লাভ করতে শুরু করে। প্রোগ্রামিং ভাষাবিদ ফিলিপ ওয়াডলারের মতে, কম্পুবিজ্ঞানী জন সি রেনল্ডস ১৯৭০এর দশক ও ৮০'র দশকের শুরুতে মানাডের কিছু অংশবিশেষ সম্পর্কে অনুমান করতে পরেছিলেন, যখন তিনি ধারাবাহিক ক্ষেপণ নীতির ("continuation-passing style") গুরুত্ব অনুধাবন করতে পেরেছিলেন, যখন তিনি নিয়মমাফিক সেমান্টিক এর একটি গুরুত্বপূর্ণ উৎস হিসেবে ক্যাটাগরি থিওরির গুরুত্ব অনুধাবন করতে পেরেছিলেন, এবং, যখন তিনি মান ও গণনার মাঝে টাইপের পার্থক্য নির্ণয় করতে পেরেছিলেন। গবেষণাকেন্দ্রীক ভাষা ওপাল যেটি ১৯৯০ সালের আগ পর্যন্ত সক্রিয়ভাবে ডিজাইন করা হচ্ছিল, সফলতার সাথে কানাডীয় টাইপের ওপর ভিত্তি করে ইনপুট/আউটপুট এর নকশা করছিল, কিন্তু এই সংলগ্নতা তখন অনুধাবন করা যায় নি।

কম্পুবিজ্ঞানী ইউজিনিও মগ্গি ১৯৮৯ সালে একটি কনফারেন্স পেপারে সর্বপ্রথম ক্যাটাগরি থিওরির মানাডের সাথে ফাংশনাল প্রোগ্রামিং এর যোগসূত্র স্পষ্টভাবে স্থাপন করেন এবং ১৯৯১ সালে এটির পরশোধিত অনুবর্তী একটি জার্নাল উপস্থাপন প্রকাশ করেন। পূর্বেকার গবেষণায়, কয়েকজন কম্পুবিজ্ঞানী ক্যাটাগরি থিওরির সাহায্য়ে ল্যাম্বডা ক্য়ালকুলাস এর সেমান্টিকস প্রদানে সফলতা লাভ করেন। মগ্গির গুরুত্বপূর্ণ আবিস্কার ছিল এই যে, একটি বাস্তব জগতের প্রোগ্রাম, এক মান থেকে অন্য় মান তৈরির কোন ফাংশন নয়, বরঞ্চ একটি রুপান্তর (ট্রান্সফরমেশন) যেটি ঐ সকল মানসমূহের মধ্যে "কম্পুগণনা" করতে সাহায্য় করে। ক্য়াটাগরি থিওরির পরিভাষায় সাজালে, সিদ্ধান্ত নেয়া যায় যে, মানাড হচ্ছে এই সকল কম্পুগণনার প্রতিরূপী গাঠনিক প্রণালী।

আরও কয়েকজন এই ধারণার জনপ্রিয়করণ ও পরিবর্ধণ করেন, যাদেঁর মাঝে ছিলেন ফিলিপ ওয়াডলার এবং সাইমন পেয়টন জোনস যাঁরা, হাস্কেল এর স্পেসিফিকেশনের সাথে জড়িত ছিলেন। বিশেষত, হাস্কেল ভার্সন ১.২ পর্যন্ত ইনপুট/আউটপুট কে অলস মুল্য়ায়ন (লেজি ইভালুয়েশন) এর সাথে খাপ খাওয়ানোর জন্য় একটি "অলস (লেজি) স্ট্রিম" মডেল ব্য়বহার করছিল ব্য়বহার করছিল যেটি ছিল ঝামেলাকর। পরবর্তীতে হাস্কেল আরও নমনীয় মানাডিয় ইন্টারফেস গ্রহণ করে। পরবর্তীতে হাস্কেল সম্প্রদায় ফাংশনাল প্রোগ্রামিং এর অন্য়ান্য় অনেক সমস্য়ায় মানাডের প্রয়োগ করেন এবং হাস্কেল ব্য়বহারকারী গবেষকরা সময়ের সাথে সাথে মানাডের প্য়াটার্ন বিভিন্ন আকারের গঠনপ্রণালীতে প্রয়োগ করে থাকেন যার মধ্য়ে ছিল অ্য়াপ্লিকেটিভ ফাঙ্কটর ও তীর (অ্য়ারো)।

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

ইতিহাস
সাধারণ ইন্টারফেস
আরো উদাহরণ
কোমানাড