امام

اِمام واژه‌ای عربی و به معنای پیشوا و رهبر است که از اصطلاحات خاص دین اسلام است.

این واژه به خودی خود معنی مقدسی ندارد و در قرآن هم برای پیشوایانی که مردم را به سوی خدا هدایت می‌کردند به کار رفته و هم برای پیشوایانی که مردم را به سوی کفر هدایت می‌کرده‌اند. اما غیر از این معنای عام دارای معانی و کاربردهای خاصی در فرهنگ مسلمانان نیز هست.






کاربردها

امام جماعت: هر فردی که پیش‌نماز بایستد و دیگران به او اقتدا کنند. این کاربرد بین تمام مسلمانان مشترک است. از نظر فقه شیعه، امام جماعت باید عادل باشد. به عبارت دیگر نمازگزاران دیگر از او گناه کبیره و یا اصرار بر گناه صغیره ندیده باشند.

رهبر اجتماع: خواجه نصیر الدین طوسی در «تجرید الاعتقاد» امامت را به عنوان «ریاسةٌ عامّةٌ» یعنی ریاست عمومی تعریف می‌کند. این معنی امامت نیز بین تمام مسلمانان جز خوارج مشترک است. البته فرق مختلف شرایط و مصادیق متفاوتی را برای امام در نظر می‌گیرند.

عالمان برجستهٔ دینی: اهل سنت برای برخی از دانشمندان بسیار برجستهٔ دینی، نظیر محمد غزالی و فخر رازی از این لقب استفاده کرده‌اند.

لقب بیانگر تقدس: در برخی کشورهای عربی نظیر عراق، سوریه، لبنان و کشورهایی نظیر ایران و جمهوری آذربایجان عده‌ای از مردم روسیه و بسیاری از مسلمانان اروپایی مردم (شیعه و سنی) بسیاری از افراد مقدس را امام می‌خوانند.







امام در قرآن

در قرآن از سه نفر با عنوان امام یاد شده‌است و آنان ابراهیم و اسحاق و یعقوب هستند.






امامت در نزد شیعیان امامیه

امامت یکی از اصول باور شیعیان است، که به جهت اهمیت آن شیعیان دوازده امامی خود را امامیّه می‌خوانند.

سنگ بنای تشیع مسئلهٔ امامت و حجیت قول و فعل امام است. حجیتی که از علم تام و از یقین به محتوای دین ناشی می‌شود. علمی که از راه اجتهاد کسب نمی‌شود و به شک و حدس و گمان آلوده نیست و لذا صاحب آن، مرجع نهایی در هر چیزی است که به آن دین گفته می‌شود، یا به عبارتی حجت آن دین است.شیعیان برای امامان خود چنین منزلتی را قائل هستند.

اصول دین شیعه: توحید، نبوت، معاد (هر سه مشترک با اهل سنت)، عدل و امامت







مهدی
در دیدگاه آخرالزمانی مسلمانان، مهدی (در لغت به معنی «هدایت‌شده») اعاده‌کنندهٔ دین و عدالت و منجی موعود است که (بنا بر تفاسیر مختلف) هفت، نه یا نوزده سال پیش از روز قیامت حکومت خواهد کرد و زمین را از ظلم و جور پاک خواهد کرد. مهدی در تشیع دوازده‌امامی اشاره به حجت بن حسن، امام دوازدهم شیعیان، فرزند حسن عسکری دارد. در میان اهل سنت محدثان مشهوری احادیثی در مورد بشارت مهدی از پیامبر اسلام نقل کرده‌اند، اما مفهوم مهدی از مفاهیم اصلی اعتقادی اهل سنت نیست. از محدثان و علمای اهل سنت دیدگاه‌ها و حدیث‌های مختلفی در مورد مهدی نقل شده‌است. در این روایات از عیسی مسیح، فرزندی از نسل حسن یا حسین، فرزند حسن عسکری امام یازده شیعه به عنوان مهدی یاد شده‌است. در بین فرق اسلامی در طول تاریخ اسلام همچنین از افرادی مانند محمد حنفیه، موسی بن جعفر، حسن عسکری، حجت بن حسن، عیسی مسیح و میرزا غلام احمد و محمد احمد در سودان به عنوان مهدی نام برده شده‌است.






پیرامون واژه

واژهٔ «مهدی» در قرآن به کار نرفته‌است. «مهدی» از ریشهٔ ه-د-ی است و به معنای هدایت شده و یا هدایت شده توسط خدا می‌باشد. سابقه استفاده از کلمه مهدی قبل از ظهور اسلام وجود ندارد، به ویژه به معنای موعود جهانگشای عدل گستر. اما استفاده از این کلمه در زمان پیامبر اسلام و بعد از آن، در اشعار و متن‌های عرب دیده می‌شود. در شعری سعد بنی‌سلیم پس از ایمان به اسلام در مدح پیامبر اسلام چنین می‌سراید:






الا یا رسول الله انک صادق فبورکت مهدیا و بورکت هادیا

مهدی به معنای «هدایت‌شده» در ابتدای اسلام در مفهوم منجی آخرالزمان به کار نمی‌رفته‌است. بسیاری از بزرگان صدر اسلام با این نام خوانده می‌شده‌اند، تنها لقبی بوده‌است که به‌خاطر آنکه درجه بزرگی معنوی آنها نشان داده شد. افرادی مانند محمد، ابراهیم، علی، فاطمه، حسین بن علی و مهدی (خلیفه بنی عباس) در اوایل اسلام با این نام خوانده شده‌اند.






منجی در دین‌های پیش از اسلام

در میان کتاب‌های عهد عتیق در کتاب دانیال که بعد از اسارت یهودیان در بابل نوشته شده‌است به منجی آخرالزمان اشاره شده‌است. عیسی بنا به نقل اناجیل از ظهور ناگهانی پسر انسان، بازگشت خود به هنگام انقضای عالم، بر قرار شدن عدالت در آن دوران و حتمی بودن حکومت عدل خبر داده‌است. پسر انسان تعبیری است که بر نجات‌دهندهٔ جهانی در انجیل اطلاق شده‌است. در نوشته‌های بین‌العهدین (فاصلهٔ زمانی کتاب دانیال تا زمان تدوین انجیل‌ها) مانند (خنوخ، ۱:۴۶ـ۳) به ظهور یک منجی در آخرالزمان اشاره می‌شود. از این منجی با نام‌هایی مانند «مسیحا»، «برگزیده»، «پرهیزگار»، «پسر انسان»، «پسر خدا»، و «انسان» یاد شده‌است. او وجودی ازلی است که پیش از خلق جهان، زمان ظهور و برنامهٔ او نزد خدا معلوم و مقرر بوده‌است.

در دین زردشت و در بندی از گاهان (یسن ۴۳، بند ۳) از مردی سخن گفته شده‌است که در آینده می‌آید و «راه نجات را می‌یابد». در گاهان چند بار واژهٔ سوشینت به معنی سودبخش تکرار شده‌است که در ادبیات زردشتی متاخر به صورت سوشیانس درآمده و منجی نهایی زردشتی به شمار آمده‌است. در موردی نیز سخن از دین سوشینت (سودبخش) است که بعدها در ادبیات زردشتی به صورت سوشیانس و منجی نهایی زردشتی در آمده‌است.






شکل گیری مفهوم مهدی در اسلام

بگفته سعید امیر ارجمند، استاد دانشگاه استونی بروک امریکا، در دانشنامهٔ ایرانیکا در اسلام ریشه دیدگاه غیبت به فرقه شیعه کیسانیه برمی گردد. فرقه‌ای که پس از سرکوب قیام مختار شکل گرفت. عقیدهٔ رایج در کوفه این بود که مهدی، از اهل بیت و یا از نسل علی خواهد بود. به گفته مادلونگ حدیث منسوب به پیامبر که منجی هم‌نام و هم‌کنیه وی است، در همین زمان جعل شد، به طرفداری از محمد حنفیه. آنان محمد حنفیه فرزند علی، امام اول شیعیان را مهدی می‌دانستند و پس از فوت او چنین اعلام کردند که او نمرده‌است و در کوه رضوا در مدینه در غیبت بسر می‌برد و روزی به عنوان مهدی و قائم بر می‌گردد. از آنجایی که بیشتر این کیسانی‌ها ایرانیان تازه اسلام آورده باشد. احتمالاً این ایرانیان با باورهای زردشتی در مورد منجی آشنا بودند و قهرمانانی مانند گرشاسب که پس از بیداری از یک خواب طولانی اهریمنان را از زمین بر می‌چینند. بگفته ویلفرد مادلونگ، دیدگاه غیبت از کیسانیه وارد شیعه امامی شده‌است. بنوشته محمد امیر معزی، استاد فقه اسلامی، بسیاری از دکترین اسلام در مورد منجی، ظهور منجی و غیبت و المان‌های آن مدیون ادیان پیشین مانند مانویت، دین زردشت، یهودیت و مسیحیت است. بنوشته تیموتی فرنیش اعتقاد به مهدی در نزد مسلمانان ریشه در آموزه‌های دین زردشت، مسیحیت و یهودیت دارد.

اولین انتشار ایده فرقه کیسانیه را می‌توان در قیام یک رهبر منجی گونه یهودی ملقب به راعی (چوپان) در اصفهان در حوالی سال ۱۰۰ هجری(۷۱۸-۷۱۹ میلادی) دانست. هنگامی که او توسط عوامل خلیفه در دمشق زندان شد. چنین ادعا شد که به غیبت رفته‌است. در حوالی سالهای ۷۴۷ تا ۷۴۹ میلادی عبدلله بن معاویه جمع کثیری از کیسانیان را در اصفهان و فارس رهبری نمود و سه سال بر این مناطق حکمرانی کرد. هنگامی که او در زندان ابومسلم خراسانی کشته شد. پیروانش چنین گفتند که او به غیبت رفته‌است و در کوه‌های اصفهان زنده‌است. بسیاری از احادیثی که در کتاب‌هایی مانند شیخ طوسی و مجلسی ثبت شده‌اند و به غلط محل رضوا را این سرزمین(فارس) می‌نامند ریشه در این زمان دارد. هنگامی که داعی دیگری ده سال بعد توسط عباسیان در ری کشته شد. ادعا شد که او در کوه‌های ری به غیبت رفته‌است.

بگفته اف. ای. پیترز، استاد تاریخ دانشگاه نیویورک، هر دو گروه شیعه و سنی که به عباسیون برای تغییر وضعیت دل بسته بودند، اما عباسیون هر دو گروه را ناامید کردند. شیعه و سنی ناامید به ایده مهدی، منجی آخر الزمانه‌ای در این زمان روی آوردند. شیعیان بطور طبیعی گزینه خود برای مهدی را داشتند که فرزندان علی بود. اما اهل سنت چنین گزینه‌ای نداشتند. در ابتدا عیسی بعنوان نجات بخش آخر زمان مطرح بود. اما به مرور زمان بجای شخصیت ابهام‌آلود عیسی شخصیت‌های تاریخی تری برای مهدی در نظر گرفته شد. یعنی بمرور در کنار ایده اولیه عیسی بعنوان منجی آخر الزمان، در دیدگاه مسلمانان اهل سنت مهدی همراه با عیسی ظهور می‌کرد یا خود منجی آخر الزمان بود.






مهدی در نزد فرقه‌های اسلامی
مهدی در نزد شیعیان اسماعیلی و زیدی

از اتفاقاتی که باعث بسط ایده مهدی شد فوت ناگهانی اسماعیل فرزند جعفر صادق امام ششم شیعیان به سال ۷۶۲ میلادی که به عقیدهٔ شیعیان اسماعیلی پیشتر امام هفتم شیعه تعیین شده‌بود. هرچند اکثر شیعیان گرد فرزند دیگر جعفر صادق، موسی کاظم، گرد آمدند اقلیتی از شیعیان مرگ اسماعیل را نپذیرفتند و ادعا کردند که اسماعیل هنوز زنده‌است و در غیبت به سر می‌رود. به باور آنان اسماعیل همان امام غایب است. با ظهور خلفای فاطمی در مصر با استناد به احادیثی که توسط اسماعیلیه و سایر منابع نقل شده بود. مهدی به اولین خلیفه فاطمی و جانشینانش نسبت داده شد. در عین حال اسماعیلیان انتظار دارند که در آخرالزمان امام هفتم اسماعیلیان تحت نام قائم ظهور کند.

در شیعه زیدی که برای امام‌ها قدرت فوق انسانی قائل نیستند، اعتقاد به مهدی بسیار کمرنگ است. در طول تاریخ افرادی مهدی پنداشته‌شدند یا ادعا شده‌است که زنده‌اند و به غیبت رفته‌اند. از جمله حسین بن قاسم عیانی، امام زیدیه(۴۰۱-۴۰۳ هجری قمری)، در یمن توسط گروهی از زیدیه که به حسینیه معروف شدند. اما این اعتقاد در مورد این افراد از سوی اکثریت زیدیه به رسمیت شناخته‌نشده‌است.






مهدی در نزد شیعه دوازده امامی
دیدگاه شیعیان دوازده امامی

به اعتقاد شیعیان دوازده امامی، که اسلام را مکمل ادیان حقه می‌دانند، غیبت آخرین وصی آخرین پیامبر الهی را همان گونه که در سایر ادیان قبل از اسلام بشارت داده بود به صورت گسترده تری بیان کرده‌اند. یکی از معتبرترین کتاب روایی شیعیان کتاب الکافی نوشتهٔ شیخ کلینی رازی از اهالی روستای کلین از روستاهای قدیمی پیرامون تهران و حسن آباد شهر ری که در زمان غیبت صغری می‌زیسته، می‌باشد. در این کتاب و ذیل کتاب الحجه «باب‌الغیبة» گشوده‌شده و در آن روایاتی پیرامون غیبت امام دوازدهم شیعیان از پیامبر اسلام و امامان شیعه نقل شده‌است.همچنین، به اعتقاد شیعیان دوازده امامی، پیامبر اسلام در خطبه خود در روز غدیر خم به آمدن مهدی اشاره کرده‌است.






دیدگاه تاریخی

هنگامی که موسی کاظم، امام هفتم شیعه درگذشت، گروهی پیروانی از او که به واقفیه موسوم شدند، مرگ موسی کاظم را نفی می‌کردند. واقفیه ادعا می‌کردند که موسی کاظم همان قائم و مهدی است و به غیبت رفته‌است. واقفیه به دو دوره غیبت قائل بودند. یک دوره غیبت صغری و بعد از آن یک دوره غیبت طولانی که به ظهور موسی کاظم منتهی می‌شود. به نوشته امیر ارجمند ریشه اعتقاد به دو دوره غیبت را می‌توان در دو دوره زندانی شدن موسی کاظم جستجو نمود.

پس از فوت حسن عسکری امام یازدهم شیعه، سالها سردرگمی بزرگی برای نیم قرن در بین پیروان آنها پدید آمد که نویسندگان شیعه از آن تحت عنوان دوران حیرت نام می‌برند. در میان پیروان امامان شیعه بر سر سرنوشت اسرار آمیز فرزندی که برای حسن عسکری قائل بودند اختلاف بزرگی پدید آمد. گروهی از شیعیان چنین می‌پنداشتند که حسن عسکری اصولاً فرزندی نداشته‌است و گروهی می‌گفتند حسن عسکری امام بدون فرزندی است که نمرده‌است و حسن عسکری همان مهدی غایب است که دارای دو دوره غیبت است. گروه دیگری عنوان می‌کردند که فرزند حسن عسکری پیش از فوت پدر در گذشته‌است. تنها گروهی که در آن زمان در اقلیت کوچکی بودند که اعتقاد داشتند که فرزند حسن عسکری همان مهدی است و در غیبت بسر می‌برد و در آخر الزمان ظهور خواهد کرد. دیدگاه این گروه به مرور به دیدگاه تمامی شیعیانی تبدیل شد که شیعیان دوازده امامی فعلی می‌باشند.

پذیرفته شدن این دیدگاه توسط شیعه حاصل کوششهای شماری از اندیشمندان شیعه امامی و محدثانی مانند نوبختی، ابو جعفر ابن کعبه، کلینی، نعمانی و بخصوص ابن بابویه اثر ارزنده او کمال الدین-معمار نظریه امام غایب و دوران غیبت و ظهور منجی بخش اما غائب - بود.

دکترین مهدی در بین شیعه دوازده امامی بیش از همه مذاهب توسعه پیدا کرد. در طی قرن‌هاعلمای شیعه متعددی بوده‌اند که ظهور غریب الوقوع مهدی را پیشبینی نموده‌اند که طبق اعتقادات شیعه همراه با جنگهای داخلی، پیغمبران دروغی و زلزله‌است.






مهدی در دیدگاه اهل سنت

بنوشته رضا اصلان با توسعه دکترین مهدی در نزد شیعیان فقه سنت سعی نمود تا از اعتقاد به مهدی فاصله بگیرند. بنوشته مادلونگ با وجود حمایت از اعتقاد به مهدی توسط بعضی محدثین مهم اهل سنت، اعتقاد به مهدی هیچگاه بعنوان مبانی اصلی فقه اهل سنت در نیامده‌است. در اعتقادات اهل سنت به مهدی اشاره شده‌است، ولی بصورت نادر. بسیاری از علمای مشهور اهل سنت مانند محمد غزالی از بحث کردن در مورد این موضوع اجتناب کرده‌اند. البته به گفته مادلانگ این اجتناب کمتر بخاطر عدم اعتقاد به مهدی و بیشتر (بگفته رضا اصلان بخشی) بخاطر برنیانگیختن شورش‌ها و جنبش‌های اجتماعی بوده‌است. موارد استثنایی مانند ابن خلدون در کتاب مقدمه وجود دارد که آشکارا با اعتقاد به مهدی مخالفت می‌کند و تمام احادیث مربوط به مهدی را ساختگی می‌داند. در میان محدیثین و علمایی که به مهدی پرداخته‌اند. دیدگاه‌های مختلفی وجود دارد. در احادیثی در کتاب‌های اهل سنت مهدی همان عیسی مسیح است، در روایاتی دیگر حرفی از هویت فرد نیست. یا گفته شده‌است که به همراه عیسی قیام می‌کند. همچنین مهدی از نسل حسین، نسل حسن و یا فرزند حسن عسکری امام دوازده شیعیان ذکر شده‌است. در طول تاریخ تا عصر حاضر اهل سنت مناظرات عمیقی بین علمای اهل سنت در مورد نقش منجی‌گونه مهدی و نقش سیاسی او وجود داشته‌است.

اما بنوشته سید حسین نصر، اهل سنت معتقدند که مهدی از خاندان پیامبر اسلام با نام «محمد» است و در آخرالزمان به همراه عیسی ظهور می‌کند. وی همچین می‌نویسد که اعتقاد به آمدن مهدی در بین مسلمانان آنچنان قوی است که در طول تاریخ، به خصوص در زمان‌های فشار و سختی، باعث ظهور مدعیان مهدویت شده‌است. همچنین نویسندگان اهل سنت معاصری مانند عبدالمحسن بن حمد العباد، محمد علی الصابونی، عبدالعزیز بن باز در کتاب‌ها و سخنرانی‌های خود به حدیث‌های منسوب به پیامبر اسلام در مورد مهدی و منجی آخر زمان اشاره کرده‌اند و این احادیث را متواتر دانسته‌اند.

بنوشته دنیس اسپلبرگ مفهوم مهدی هر چند از اعتقادات اصلی اهل سنت نیست ولی در طول تاریخ مورد توجه اهل سنت بوده‌است. در سال ۱۸۸۱ محمد احمد در سودان ادعا نمود که مهدی می‌باشد و قیامی را آغاز نمود که تنها در سال ۱۸۹۸ توسط نیروهای بریتانیا سرکوب شد. اعتقاد به مهدویت محرک قیام‌هایی در غرب و شمال افریقا در قرن نوزدهم بود. در سال ۱۸۴۹ بو زیان قیامی را در الجزایر علیه نظام مالیاتی فرانسویان و اشغال کشورش توسط فرانسویان تحت نام مهدی رهبری نمود.






افرادی که ادعای مهدی بودن کرده‌اند

محمد احمد: یا محمد احمد بن عبدالله یا محمد احمد سودانی متولد ۱۲ اوت ۱۸۴۴ رهبر مذهبی طریفت سامانیه بود که در ۲۹ ژوئن ۱۸۸۱ ادعا نمود که مهدی است. او شورش موفقی را علیه حکومت مصر و عثمانی در سودان شروع کرد. در سال ۱۸۸۵ او موفق شد که خرطوم پایتخت فعلی سودان را به تصرف خود درآورد. او مدتی بعد در ۲۲ ژوئن ۱۸۸۵ درگذشت.
سید علی محمد باب بنیان گذار مذهب بابیت که در سال ۱۸۴۴ میلادی با ۱۲۶۰ هجری قمری ادعا مهدی بودن کرد. او بعدها در شهر تبریز تیرباران شد.
محمد امزیان(فوت ۱۸۷۹) در شمال افریق
محمت (فوت ۱۹۳۰) در ترکیه
محمد قحطانی (فوت ۱۹۷۹) در عربستان سعودی
احمد بارِلوی (فوت ۱۸۳۱) در هند







مهدی در آثار و منابع غربی

مهدی و مهدویت در منابع و آثار غرب نیز دیده شده. بطور نمونه می توان به سری کتب نوشته فرانک هربرت اشاره کرد که در دهه شصت میلادی نخست عرضه گردیدند. این کتب به حدی پرفروش و محبوبیت پیدا کردند که یک فیلم سینمایی و دو سریال تلویزیونی از روی آنها (سی سال بعد) ساخته شدند. هربرت در این داستان‌ها به شخصیتی می‌پردازد که «مهدی» نام دارد و جهان را از تباهی و فساد نجات می‌دهد. مفاهیم و داستانهای این مجموعه علمی-تخیلی برداشت مستقیمی از تاریخ اسلام و مهدویت می‌باشد.







مسجد جمکران

مسجد جمکران، مسجدی واقع شده در ۶ کیلومتری شهر قم به طرف جادهٔ کاشان در نزدیکی روستای جمکران است.






تاریخچه مسجد مقدس جمکران

ساخت این مسجد بنا به نقل عالم معاصرمحدث نوری به فردی به نام شیخ حسن بن مثله جمکرانی مربوط می‌شود، به گفته او که در بیداری با امام دوازدهم شیعیان، مهدی دیدار کرده است و حجت بن حسن دستور ساخت مسجد را به وی داده است.

در میان شیعیان بحثهای زیادی در خصوص ملاقات با امام زمان) مطرح است. عده‌ای با استناد به روایاتی، آن را در خواب ممکن می‌دانند . دریافت نامه از مهدی(عج) پس از غیبت کبری نیز مورد قبول بسیاری از شیعیان است، آنچنانکه نامه و توقیع رسیده به شیخ مفید - حدود یک قرن پس از غیبت کبری - از نظر شیعیان مورد تردید واقع نشده است.

اما عده‌ای از جمله برخی از معاصرین، با استناد به نامه‌ای که حجت بن حسن مهدی(عج) به آخرین وکیل خویش ارسال نموده است، که شیعیان به توقیع ناحیه مقدسه از آن نام می‌برند، مشاهده امام زمان(عج) در بیداری را بر خلاف نامه منسوب به مهدی می‌دانند، در بخشی از این نامه آمده است:

غیبت کامل آغاز شد و پس از آن ظهوری نخواهد بود، مگر بفرمان خداوند...بزودی برخی از شیعیان من ادعا خواهند کرد که مرا دیده‌اند، آگاه باشید که هر کس قبل از خروج سفیانی و صیحه آسمانی ادعای مشاهده مرا کند، دورغگوی و تهمت زننده است...

با اینحال عده بسیاری از جمله شیخ عباس قمی در مفاتیح الجنان و پیش از او محدث نوری در کتاب خود، با ذکر سند، داستانهای بسیاری از ملاقات افراد با امام زمان نقل می‌کنند و با استناد به روایاتی، ملاقات با حضرت مهدی(عج) در بیداری را امکان‌پذیر می‌دانند.
سید حسن ابطحی در مقدمه کتاب ملاقات با امام زمان خود که دهها بار تجدید چاپ شده اشاره ای به این توقیع نموده و سعی در اثبات این موضوع دارد که منظور از ادعای مشاهده مطرح شده در این نامه مشاهده ای توام با ادعای ارتباط دائمی و بابیت و نمایندگی است که طبعاً بواسطه آغاز غیبت کبری پایان یافته و الا مشاهده فردی که در بدن مادی است و در بین مردم زندگی می کند نه تنها ممکن بلکه کاملاً عادی است و بارها و بارها اتفاق افتاده است.

برخی نیز برای تایید این مسجد ، داستانهایی از برخی علماء بزرگ شیعیان همچون آیت‌الله بروجردی نقل کرده اند.

حسن بن مثله جمکرانی در روایت مشهوری که به‌نظر می‌آید تنها سند موجود و معتبر برای ساخت این مسجد باشد چنین می‌گوید:

من شب سه شنبه، ۱۷ ماه مبارک رمضان سال 393 ق در خانه خود خوابیده بودم که ناگاه جماعتی از مردم به در خانه من آمدند و مرا از خواب بیدار کردند و گفتند:برخیز و مولای خود، مهدی(عج) را اجابت کن که تو را طلب نموده است.
آنها مرا به محلی که اکنون مسجد جمکران است آوردند، چون نیک نگاه کردم، تختی دیدم که فرشی نیکو بر آن تخت گسترده شده، جوانی سی ساله بر آن تخت تکیه بر بالش کرده و پیرمردی هم نزد او نشسته است، آن پیر، خضر نبی علیه‌السلام بود که مرا امر به نشستن نمود، حضرت مهدی علیه‌السلام مرا به نام خودم خواند و فرمود:

برو به حسن مسلم (که در این زمین کشاورزی می‌کند) بگو، این زمین شریفی است و حق تعالی آن را از زمین‌های دیگر برگزیده است و دیگر نباید در آن کشاورزی کند. عرض کردم: یا سیدی و مولای! لازم است که من دلیل و نشانه‌ای داشته باشم و گرنه مردم حرف مرا قبول نمی‌کنند

فرمود: تو برو و آن رسالت را انجام بده، ما نشانه‌هایی برای آن قرار می‌دهیم، و همچنین نزد سید ابوالحسن (یکی از علمای قم) برو و به او بگو حسن مسلم را احضار کند و سود چند ساله را که از زمین به دست آورده است، وصول کند و با آن پول در این زمین مسجدی بنا نماید. به مردم بگو به این مکان رغبت کنند و آنرا عزیز دارند و چهار رکعت نماز در آن گزارند.
آنگاه امام(ع) فرمودند: هر که این دو رکعت نماز را در این مکان (مسجد جمکران) بخواند مانند آن است که دو رکعت نماز در کعبه خوانده باشد.

چون به راه افتادم، چند قدمی هنوز نرفته بودم که دوباره مرا باز خواندند و فرمودند:

'بزی در گله جعفر کاشانی است، آنرا خریداری کن و بدین مکان آور و آنرا بکش و بین بیماران انفاق کن، هر بیمار و مریضی که از گوشت آن بخورد، حق‌تعالی او را شفا دهد.

حسن بن مثله جمکرانی می‌گوید: من به خانه بازگشتم و تمام شب را در اندیشه بودم، تا اینکه نماز صبح را خوانده و به سراغ علی المنذ ر رفتم و ماجرای شب گذشته را برای او نقل کردم و با او به همان مکان شب گذشته رفتیم، و در آنجا زنجیرهایی را دیدیم که طبق فرموده امام علیه‌السلام حدود بنای مسجد را نشان می‌داد.
سپس به قم نزد سید ابوالحسن رضا رفتیم و چون به در خانه او رسیدیم، خادم او گفت: آیا تو از جمکران هستی؟ به او گفتم: بلی! خادم گفت: سید از سحر در انتظار تو است. آنگاه به درون خانه رفتیم و سید مرا گرامی داشت و گفت: ای حسن بن مثله من در خواب بودم که شخصی به من گفت:

حسن به مثله، از جمکران نزد تو می‌آید، هر چه او گوید، تصدیق کن و به قول او اعتماد نما، که سخن او سخن ماست و قول او را رد نکن.

از هنگام بیدار شدن تا این ساعت منتظر تو بودم، آنگاه من ماجرای شب گذشته را برای وی تعریف کردم، سید بلافاصله فرمود تا اسب‌ها را زین نهادند و بیرون آوردند و سوار شدیم، چون به نزدیک روستای جمکران رسیدیم، گله جعفر کاشانی را دیدیم، آن بز از پس همه گوسفندان می‌آمد، چون به میان گله رفتم، همینکه بز مرا دید به طرف من دوید، جعفر سوگند یاد کرد که این بز در گله من نبوده و تاکنون آنرا ندیده بودم، به هر حال آن بز را به محل مسجد آورده و آن را ذبح کرده و هر بیماری که گوشت آن تناول کرد، با عنایت خداوند تبارک و تعالی و حضرت بقیه‌الله ارواحنا فداه شفا یافت.

ابوالحسن رضا، حسن مسلم را احضار کرده و منافع زمین را از او گرفت و مسجد جمکران را بنا کرد و آن را با چوب پوشانید.

سپس زنجیرها و میخ‌ها را با خود به قم برد و در خانه خود گذاشت، هر بیمار و دردمندی که خود را به آن زنجیرها می‌مالید، خدای تعالی او را شفای عاجلسریع می‌فرمود، پس از فوت سید ابوالحسن، آن زنجیرها ناپدید شد و دیگر کسی آنها را ندید.

بسیاری از شیعیان شب چهارشنبه از روزهای هفته و شب نیمه شعبان - تولد مهدی - از روزهای سال را به این مسجد می‌روند و اعمال آن را بجا می‌آورند. اعمال آن دو رکعت نماز تحیت مسجد است و دو رکعت نماز که به نماز امام زمان مشهور است به شیوه‌ای خاص بجای آورده می‌شود.






تجدید بنای مسجد

تجدید بنا و توسعه مسجد جمکران در سال 1348 توسط قدرت الله لطیفی نسب و بدستور امام زمان آغاز گردید و تا آخر عمر وی ادامه داشت.
بعد از انقلاب اسلامی ایران به مسجد جمکران اندکی توجه شد ولی بیشترین توسعه آن مربوط به دو دهه اخیر می‌باشد که شکل و ساختار مسجد را از یک مسجد معمولی و کوچک به یک مکان مقدس و ویژه برای عاشقانه صاحب الزمان تبدیل شد
11:18 pm
برنامه‌نویسی

برنامه‌نویسی رایانه در فرهنگ واژه غیر متخصّصین ممکن است به تمام پروژه ساخت نرم‌افزار یا برنامهٔ رایانه‌ای گفته شود. با این همه برنامه‌نویسی تنها بخشی از فرایند توسعهٔ نرم‌افزار یا برنامه رایانه‌ای است. اهمیت، توجه و منابع اختصاص داده شده به برنامه‌نویسی، بسته به ویژگی‌های مشخص شده محصول و خواست افراد درگیر در پروژه و کاربران و در نهایت شیوهٔ انتخاب شده مهندسی نرم‌افزار متغیر است.

برنامه‌نویسی کامپیوتر (که اغلب در انگلیسی programming یا coding گفته می‌شود) فرایند نوشتن، اشکال زدایی(debug) و نگهداری کد منبع (source code) برنامه کامپیوتر می‌باشد. این کد منبع با یک زبان برنامه نویسی نوشته شده است. این کد منبع ممکن است تغییر داده شده یک کد قبلی و یا یک کد کاملاً جدید باشد. هدف برنامه نویسی ساختن یک برنامه می‌باشد که یک رفتار خواسته شده را به نمایش بگذارد.






تاریخچه
موضوع دستگاه‌هایی که به دنباله‌ای از دستورالعمل‌های از قبل تعریف شده عمل می‌کند بر می‌گردد به Greek Mythology.

برنامه نویسی مدرن
اندازه گیری کاربرد زبان

تعیین اینکه محبوب‌ترین زبان برنامه نویسی مدرن کدام است کار بسیار مشکلی است. بعضی از زبان‌ها در کاربردهای خاصی محبوب است و بعضی دیگر مرتباً در نوشتن کاربردهای گوناگون استفاده می‌شود. روش‌های اندازه گیری محبوبیت زبان شامل موارد زیر می‌باشد: شمردن تعداد آگهی‌های اشتغال و توجه به یک زبان، تعداد کتاب‌های آموزشی فروخته شده در مورد یک زبان، تخمین تعداد خطوط کد نوشته شده در یک زبان


پارادایم‌ها
زبان‌های برنامه‌نویسی گوناگون براساس قابلیت‌های درنظر گرفته شده از شیوهٔ خط‌های مختلف استفاده می‌کنند. موارد ریزتری مانند چگونگی برخورد با نیازهای پشت پردهٔ ماشین مانند مدیریت حافظه و مدیریت زباله نیز در زبان‌های مختلف متفاوت است. علاوه بر این‌ها، مفاهیمی متفاوت از (اجرای) یک برنامه تصور شده‌اند که پارادایم یا الگو نام دارند.



برنامه‌نویسی دستوری

برنامه‌نویسی دستوری (به انگلیسی: Imperative programming) در علوم رایانه یکی از شیوه‌های برنامه‌نویسی است که در آن مراحل اجرای یک برنامه کامپیوتری قدم به قدم توسط برنامه نویس بیان می‌شود. این بر خلاف زبانهای اعلانی است که در آنها تنها نتیجه انجام دستورات بیان می‌شود. به بیان دیگر در زبانهای دستوری چگونگی اجرای برنامه بیان می‌شود اما در زبانهای اعلانی چیستی نتیجه بیان می‌شود.

به عنوان مثال اگر قصد باز کردن دری را داشته باشیم و با زبان اعلانی این را بخواهیم بیان کنیم خواهیم گفت در را باز کن اما اگر با زبان دستوری بیان کنیم خواهیم گفت بلند شو، به طرف در نردیک شو، دستگیره را بگیر و در را به طرف بیرون هل بده.





زبان برنامه‌نویسی

زبان‌های برنامه‌نویسی ساختارهای زبانی دستورمداری در رایانه‌ها هستند که به‌وسیلهٔ آنها می‌توان یک الگوریتم را به‌وسیلهٔ ساختارهای دستوری متفاوت برای اجرای رایانه توصیف کرد و با این روش امکان نوشتن برنامه جهت تولید نرم‌افزارهای جدید بوجود می‌آید. معمولاً هر زبان برنامه‌نویسی دارای یک محیط نرم‌افزاری برای وارد کردن متن برنامه، اجرا، همگردانی و رفع اشکال آن هستند. عموماً زبانهای برنامه نویسی را به پنج نسل تقسیم می‌کنند:

نسل اول زبان ماشین - زبان صفرو یک
نسل دوم زبانهایی مانند اسمبلی -قابل فهم تر برای انسان
نسل سوم زبانهایی مانند کوبول و پی ال وان و... -دستورات قابل فهم تر برای انسان و نیاز به کمپایلرها
نسل چهارم مثل زبانهای اوراکل و فاکس پرو و اس کیو الها - نزدیک به محاوره‌های انسانی
نسل پنج زبانهایی مانند prolog , ops5 - تمرکز بر حل مسئله و استفاده از الگوریتمهای نوشته شده توسط

برنامه نویس

یک زبان برنامه نویسی یک زبان مصنوعی است که برای بیان محاسباتی که توسط یک ماشین (مخصوصا رایانه) قابل انجام است، طراحی شده‌است.زبان‌های برنامه نویسی برای ایجاد برنامه‌هایی به کار می‌روند که رفتار یک ماشین را مشخص می‌کنند، الگوریتم دقیق را بیان می‌کنند، و یا روشی برای ارتباط انسانند. بسیاری از زبان‌های برنامه نویسی تعدادی قالب از ویژگی‌های نوشته شده دستوری(syntax) و معناشناسی (semantics) دارند، چرا که رایانه‌ها دستورات دقیقاً مشخص نیاز دارند. برخی توسط سند خصوصیات (specification document) تعیین شده‌اند. (برای مثال یک استاندارد ISO)، در حالی که برخی دیگر دارای پیاده سازی غالبی می‌باشند.(مانند Perl) اولین زبان برنامه نویسی به قبل از اختراع رایانه باز می‌گردد، و برای هدایت رفتار ماشین‌هایی مانند دستگاه‌های نساجی اتوماتیک و نوازنده‌های پیانو به کار می‌رفت. هزاران زبان برنامه نویسی خلق شده‌اند، بیشتر در زمینهٔ رایانه، زمینه‌ای که هر ساله بسیاری دیگر ایجاد می‌شوند.


تقسیم‌بندی
زبان‌های برنامه نویسی را می‌توان از چهار دیدگاه متفاوت مورد بررسی قرار داده و تقسیم بندی کرد: الف)روش‌های برنامه نویسی ۱-زیر روالی ۲-ساخت یافته ۳-مدولار ۴-شئ گرا ب)نزدیکی به زبان ماشین ۱-سطح پایین ۲-سطح میانی ۳-سطح بالا ج)نوع ترجمه ۱-مفسری ۲-کامپایلری د)رابط برنامه نویسی ۱-مبتنی بر متن ۲-مبتنی بر گرافیک (ویژوال)



تعاریف

ویژگی‌هایی که غالباً برای تشکیل یک زبان برنامه نویسی مهم شمرده می‌شوند:

تابع :یک زبان برنامه نویسی، زبانی است که برای نوشتن برنامه‌های رایانه‌ای به کار می‌رود که رایانه‌ای را برای انجام محاسبات یا اجرای الگوریتم و یا احتمالاً کنترل دستگاه‌های خارجی مثل چاپگر، ربات و... درگیر می‌کنند.





هدف: زبان‌های برنامه نویسی با زبان‌های طبیعی تفاوت دارند و آن اینکه زبان‌های طبیعی فقط برای فعل و انفعالات بین مردم به کار می‌روند، در حالیکه زبان‌های برنامه نویسی همچنین به انسانها اجازه می‌دهد که از طریق دستورات با ماشین‌ها ارتباط برقرار کنند. برخی زبان‌های برنامه نویسی بوسیله یک دستگاه استفاده می‌شوند تا دستگاه دیگری را کنترل کند. برای مثال برنامه‌های پست اسکریپت(post script) غالباً توسط برنامه دیگری برای کنترل یک چاپگر و یا نمایشگر ایجاد می‌شوند.
ساختارها: زبان‌های برنامه نویسی ممکن است ساختارهایی برای تعریف و تغییر داده ساختارها یا کنترل جریان اجرا داشته باشند.
توان بیانگر: نظریه محاسبات، زبان‌ها را بوسیله محاسباتی که توان بیان آنها را دارند طبقه بندی می‌کند. تمام زبان‌های "کامل تورینگ" می‌توانند مجموعه یکسانی از الگوریتم‌ها را پیاده سازی کنند.ANSI/ISO SQL و Charity مثال‌هایی هستند از زبان‌هایی که کامل تورینگ نیستند، ولی غالباً زبان برنامه نویسی نامیده می‌شوند.

برخی مولفین اصطلاح" زبان برنامه نویسی" را محدود به آنهایی می‌کنند که می‌توانند تمام الگوریتم‌های ممکن را پیاده سازی کنند، گاهی اوقات اصطلاح" زبان رایانه" برای زبان‌های برنامه نویسی محدودتر به کار می‌رود. زبان‌های غیر محاسباتی، مانند زبان‌های مارک آپ(markup) HTML یا گرامرهای قراردادی مثل BNF، معمولاً زبان برنامه نویسی محسوب نمی‌شوند. یک زبان برنامه نویسی(که می‌تواند کامل تورینگ نباشد) ممکن است در این زبان‌های غیر محاسباتی (میزبان) تعبیه شوند.


کاربرد

زبان برنامه نویسی یک مکانیزم ساخت یافته برای تعریف داده‌ها، و عملیات یا تبدیل‌هایی که ممکن است بطور اتوماتیک روی آن داده انجام شوند، فراهم می‌کند. یک برنامه نویس از انتزاعات آماده در زبان استفاده می‌کند تا مفاهیم به کار رفته در محاسبات را بیان کند. این مفاهیم به عنوان یک مجموعه از ساده‌ترین عناصر موجود بیان می‌شوند(مفاهیم ابتدایی نامیده می‌شوند). زبان‌های برنامه نویسی با غالب زبان‌های انسانی تفاوتی دارد و آن این است که نیاز به بیان دقیق تر و کامل تری دارد. هنگام استفاده از زبان‌های طبیعی برای ارتباط با دیگر انسان‌ها، نویسندگان و گویندگان می‌توانند مبهم باشند و اشتباهات کوچک داشته باشند، و همچنان انتظار داشته باشند که مخاطب آنها متوجه شده باشد. اگرچه، مجازا، رایانه‌ها "دقیقاً آنچه که به آنها گفته شده را انجام می‌دهند." و نمی‌توانند "بفهمند" که نویسنده دقیقاً چه کدی مد نظر نویسنده بوده‌است] البته امروزه برنامه‌هایی برای انجام این کار تولید شده‌اند و تلاش‌های بسیاری در این زمینه انجام شده ولی هنوز به نتیجهٔ رضایت بخشی نرسیده است[. ترکیب تعریف زبان، یک برنامه، و ورودی برنامه بطور کامل رفتار خروجی را به هنگام اجرای برنامه (در محدوده کنترل آن برنامه) مشخص می‌کند. برنامه‌های یک رایانه ممکن است در یک فرایند ناپیوسته بدون دخالت انسان اجرا شوند، یا یک کاربر ممکن است دستورات را در یک مرحله فعل و انفعال مفسر تایپ کند.در این حالت "دستور"ها همان برنامه‌ها هستند، که اجرای آنها زنجیروار به هم مرتبطند.به زبانی که برای دستور دادن به برنامه‌ای استفاده می‌شود، زبان اسکریپت می‌گویند. بسیاری از زبان‌ها کنار گذاشته شده‌اند، برای رفع نیازهای جدید جایگزین شده‌اند، با برنامه‌های دیگر ترکیب شده‌اند و در نهایت استعمال آنها متوقف شده‌است. با وجود اینکه تلاش‌هایی برای طراحی یک زبان رایانه" کامل" شده‌است که تمام اهداف را تحت پوشش قرار دهد، هیچ یک نتوانستند بطور کلی این جایگاه را پر کنند. نیاز به زبان‌های رایانه‌ای گسترده از گستردگی زمینه‌هایی که زبان‌ها استفاده می‌شوند، ناشی می‌شود:

محدوده برنامه‌ها از متون بسیار کوچک نوشته شده توسط افراد عادی تا سیستم‌های بسیار بزرگ نوشته شده توسط صدها برنامه نویس است
توانایی برنامه نویس‌ها: از تازه کارهایی که بیش از هر چیز به سادگی نیاز دارند تا حرفه‌ای‌هایی که با پیچیدگی قابل توجهی کنار می‌آیند.
برنامه‌ها باید سرعت، اندازه و سادگی را بسته به سیستم‌ها از ریزپردازندها تا ابر رایانه‌ها متناسب نگه دارند.
برنامه‌ها ممکن است یک بار نوشته شوند و تا نسل‌ها تغییر نکنند، و یا ممکن است پیوسته اصلاح شوند.
در نهایت، برنامه نویس‌ها ممکن است در علایق متفاوت باشند: آنها ممکن است به بیان مسائل با زبانی خاص خو گرفته باشند.

یک سیر رایج در گسترش زبان‌های برنامه نویسی این است که قابلیت حل مسائلی با درجات انتزاعی بالاتری را اضافه کنند. زبان‌های برنامه نویسی اولیه به سخت‌افزار رایانه گره خورده بودند. همانطور که زبان‌های برنامه نویسی جدید گسترش پیدا کرده‌اند، ویژگی‌هایی به برنامه‌ها افزوده شده که به برنامه نویس اجازه دهد که ایده‌هایی که از ترجمه ساده به دستورات سخت‌افزار دورتر هستند نیز استفاده کند. چون برنامه نویس‌ها کمتر به پیچیدگی رایانه محدود شده‌اند، برنامه‌های آنها می‌تواند محاسبات بیشتری با تلاش کمتر از سوی برنامه نویس انجام دهند. این به آنها این امکان را می‌دهد که کارایی بیشتردر واحد زمان داشته باشند. "پردازنده‌های زبان طبیعی" به عنوان راهی برای ازبین بردن نیاز به زبان‌های اختصاصی برنامه نویسی پیشنهاد شده‌اند. هرچند، این هدف دور است و فواید آن قابل بحث است. "ادسگر دیجسترا" موافق بود که استفاده از یک زبان رسمی برای جلوگیری از مقدمه سازی ساختارهای بی معنی واجب است، و زبان برنامه نویسی طبیعی را با عنوان "احمقانه" رد کرد، "آلن پرلیس" نیز مشابها این ایده را رد کرد. مطابق با متدولوژی نامتجانس استفاده شده توسط langpop.com در سال ۲۰۰۸، ۱۲ زبان پرکاربرد عبارتند از: C, C++, C#, Java, JavaScript, Perl, PHP, Python, Ruby, Shell, SQL, and Visual Basic.




معناشناسی ایستا
معناشناسی ایستا محدودیت‌هایی بر روی ساختار مجاز متن‌ها تعیین می‌کند که بیان آنها در فرمول دستوری استاندارد مشکل و یا غیر ممکن است. مهمترین این محدودیت‌ها به وسیله سیستم نوع گذاری انجام می‌شود.


سیستم نوع گذاری
یک سیستم نوع گذاری مشخص می‌کند که یک زبان برنامه نویسی چگونه مقادیر و عبارات را در نوع(type) دسته بندی می‌کند، چگونه می‌تواند آن نوع‌ها را تغییر دهد و رفتار متقابل آن‌ها چگونه‌است. این کارعموما توضیح داده ساختارهایی که می‌توانند در آن زبان ایجاد شوند را شامل می‌شود. طراحی و مطالعه سیستم‌های نوع گذاری بوسیله ریاضیات قراردادی را تئوری نوع گذاری گویند.
زبان‌های نوع گذاری شده و بدون نوع گذاری

یک زبان نوع گذاری شده‌است اگر مشخصات هر عملیات، نوع داده‌های قابل اجرا توسط آن را با نشان دادن نوع‌هایی که برای آنها قابل اجرا نیست، تعیین کند. برای مثال، "این متن درون گیومه قرار دارد" یک رشته‌است. در غالب زبان‌های برنامه نویسی، تقسیم یک رشته با یک عدد معنایی ندارد. در نتیجه غالب زبان‌های برنامه نویسی مدرن ممکن است اجرای این عملیات را توسط برنامه‌ها رد کنند. در برخی زبان‌ها، عبارات بی معنی ممکن است هنگام ترجمه(compile) پیدا شود(چک کننده نوع ایستا)، و توسط کامپایلر رد شود، در حالی که در سایر برنامه‌ها، هنگام اجرا پیدا شود.(چک کننده نوع دینامیک) که به استثنای در حال اجرا منتج شود(runtime exception). حالت خاص زبان‌های نوع دار زبان‌های تک نوعند. این زبان‌ها غالباً اسکریپتی و یا مارک آپ هستند، مانند rexx وSGML و فقط یک داده گونه دارند—غالباً رشته‌های کاراکتری که هم برای داده‌های عددی و هم برای داده‌های سمبلی کاربرد دارند. در مقابل، یک زبان بدون نوع گذاری، مثل اکثر زبان‌های اسمبلی، این امکان را می‌دهد که هر عملیاتی روی هر داده‌ای انجام شود، که معمولاً دنباله‌ای از بیت‌ها با طول‌های متفاوت در نظر گرفته می‌شوند. زبان‌های سطح بالا که بی نوع هستند شامل زبان‌های ساده رایانه‌ای و برخی از انواع زبان‌های نسل چهارم.

در عمل، در حالیکه تعداد بسیار کمی از دیدگاه نظریه نوع، نوع گذاری شده تلقی می‌شوند(چک کردن یا رد کردن تمام عملیات‌ها)، غالب زبان‌های امروزی درجه‌ای از نوع گذاری را فراهم می‌کنند. بسیاری از زبان‌های تولیدکننده راهی را برای گذشتن یا موقوف کردن سیستم نوع فراهم می‌کنند.



نوع گذاری قوی و ضعیف

نوع گذاری ضعیف این امکان را ایجاد می‌کند که با متغیری به جای متغیری دیگر برخورد شود، برای مثال رفتار با یک رشته به عنوان یک عدد. این ویژگی بعضی اوقات ممکن است مفید باشد، اما ممکن است باعث ایجاد برخی مشکلات برنامه شود که موقع کامپایل و حتی اجرا پنهان بمانند.

نوع گذاری قوی مانع رخ دادن مشکل فوق می‌شود. تلاش برای انجام عملیات روی نوع نادرست متغیر منجر به رخ دادن خطا می‌شود. زبان‌هایی که نوع گذاری قوی دارند غالباً با نام "نوع-امن" و یا امن شناخته می‌شوند. تمام تعاریف جایگزین برای "ضعیف نوع گذاری شده" به زبان‌ها اشاره می‌کند، مثل perl, JavaScript, C++، که اجازه تعداد زیادی تبدیل نوع داخلی را می‌دهند. در جاوااسکریپت، برای مثال، عبارت ۲*x به صورت ضمنی x را به عدد تبدیل می‌کند، و این تبدیل موفقیت آمیز خواهد بود حتی اگر x خالی، تعریف نشده، یک آرایه، و یا رشته‌ای از حروف باشد. چنین تبدیلات ضمنی غالباً مفیدند، اما خطاهای برنامه نویسی را پنهان می‌کنند.

قوی و ایستا در حال حاضر عموماً دو مفهوم متعامد فرض می‌شوند، اما استفاده در ادبیات تفاوت دارد، برخی عبارت "قوی نوع گذاری شده" را به کار می‌برند و منظورشان قوی، ایستایی نوع گذاری شده‌است، و یا، حتی گیچ کننده تر، منظورشان همان ایستایی نوع گذاری شده‌است. بنابراین C هم قوی نوع گذاری شده و هم ضعیف و ایستایی نوع گذاری شده نامیده می‌شود.



معناشناسی اجرا

وقتی که داده مشخص شد، ماشین باید هدایت شود تا عملیات‌ها را روی داده انجام دهد. معناشناسی اجرا ی یک زبان تعیین می‌کند که چگونه و چه زمانی ساختارهای گوناگون یک زبان باید رفتار برنامه را ایجاد کنند.

برای مثال، معناشناسی ممکن است استراتژی را که بویسله آن عبارات ارزیابی می‌شوند را تعریف کند و یا حالتی را که ساختارهای کنترلی تحت شرایطی دستورها را اجرا می‌کنند.


کتابخانه هسته
اغلب زبان‌های برنامه نویسی یک کتابخانه هسته مرتبط دارند(گاهی اوقات "کتابخانه استاندارد" نامیده می‌شوند، مخصوصا وقتی که به عنوان قسمتی از یک زبان استاندارد ارائه شده باشد)، که به طور قراردادی توسط تمام پیاده سازی‌های زبان در دسترس قرار گرفته باشند. کتابخانه هسته معمولاً تعریف الگوریتم‌ها، داده ساختارها و مکانیزم‌های ورودی و خروجی پرکاربرد را در خود دارد. کاربران یک زبان، غالباً با کتابخانه هسته به عنوان قسمتی از آن رفتار می‌کنند، اگرچه طراحان ممکن است با آن به صورت یک مفهوم مجزا رفتار کرده باشند. بسیاری از خصوصیات زبان هسته‌ای را مشخص می‌کنند که باید در تمام پیاده سازی‌ها موجود باشند، و در زبان‌های استاندارد شده این کتابخانه هسته ممکن است نیاز باشد. بنابراین خط بین زبان و کتابخانه هسته آن از زبانی به زبان دیگر متفاوت است. درواقع، برخی زبان‌ها به گونه‌ای تعریف شده‌اند که برخی از ساختارهای دستوری بدون اشاره به کتابخانه هسته قابل استفاده نیستند. برای مثالف در جاوا، یک رشته به عنوان نمونه‌ای از کلاس “java.lang.String” تعریف شده است؛ مشابها، در سمال تاک(smalltalk) یک تابع بی نام(یک "بلاک") نمونه‌ای از کلاس BlockContext کتابخانه می‌سازد. بطور معکوس، Scheme دارای چندین زیرمجموعه مرتبط برای ایجاد سایر ماکروهای زبان می‌باشد، و در نتیجه طراحان زبان حتی این زحمت را نیز تحمل نمی‌کنند که بگویند کدام قسمت زبان به عنوان ساختارهای زبان باید پیاده سازی شوند، و کدام یک به عنوان بخشی ازکتابخانه.


عمل
طراحان زبان و کاربران باید مصنوعاتی ایجاد کنند تا برنامه نویسی را در عمل ممکن سازند و کنترل کنند. مهمترین این مصنوعات خصوصیات و پیاده سازی‌های زبان هستند.



خصوصیات

یک زبان برنامه نویسی باید تعریفی فراهم کند که کاربران و پیاده کننده‌های زبان می‌توانند از آن استفاده کنند تا مشخص کنند که رفتار یک برنامه درست است. با داشتن کد منبع: خصوصیات یک زبان برنامه نویسی چندین قالب می‌تواند بگیرد، مانند مثال‌های زیر:

تعریف صریح دستور، معناشناسی ایستا، ومعناشناسی اجرای زبان. درحالیکه دستور معمولاً با یک معناشناسی قراردادی مشخص می‌شود، تعاریف معناشناسی ممکن است در زبان طبیعی نوشته شده باشند (مثل زبان C)، یا معناشناسی قراردادی(مثل StandardML ,Scheme)
توضیح رفتار یک مترجم برای زبان(مثل C,fortran). دستور و معناشناسی یک زبان باید از این توضیح استنتاج شوند، که ممکن است به زبان طبیعی یا قراردادی نوشته شود.
پیاده سازی منبع یا مدل. گاهی اوقات در زبان‌های مشخص شده(مثل: prolog,ANSI REXX).دستور و معناشناسی صریحاً در رفتار پیاده سازی مدل موجودند.


پیاده سازی

پیاده سازی یک زبان برنامه نویسی امکان اجرای آن برنامه را روی پیکربندی مشخصی از سخت‌افزار و نرم‌افزار را فراهم می‌کند. بطور وسیع، دو راه رسیدن به پیاده سازی زبان برنامه نویسی وجود دارد. کامپایل کردن و تفسیر کردن. بطور کلی با هر بک از ابن دو روش می‌توان یک زبان را پیاده سازی کرد.

خروجی یک کامپایلر ممکن است با سخت‌افزار و یا برنامه‌ای به نام مفسر اجرا شود. در برخی پیاده سازی‌ها که از مفسر استفاده می‌شود، مرز مشخصی بین کامپایل و تفسیر وجود ندارد. برای مثال، برخی پیاده سازی‌های زبان برنامه نویسی بیسیک کامپایل می‌کنند و سپس کد را خط به خط اجرا می‌کنند.

برنامه‌هایی که مستقیماً روی سخت‌افزار اجرا می‌شوند چندین برابر سریعتر از برنامه‌هایی که با کمک نرم‌افزار اجرا می‌شوند، انجام می‌شوند.

یک تکنیک برای بهبود عملکرد برنامه‌های تفسیر شده کامپایل در لحظه آن است. در این روش ماشین مجازی، دقیقاً قبل از اجرا، بلوک‌های کدهای بایتی که قرار است استفاده شوند را برای اجرای مستقیم روی سخت‌افزار ترجمه می‌کند.



تاریخچه
پیشرفت‌های اولیه

اولین زبان برنامه نویسی به قبل از رایانه‌های مدرن باز می‌گردد. قرن ۱۹ دستگاه‌های نساجی و متون نوازنده پیانو قابل برنامه نویسی داشت که امروزه به عنوان مثال‌هایی از زبان‌های برنامه نویسی با حوزه مشخص شناخته می‌شوند. با شروع قرن بیستم، پانچ کارت‌ها داده را کد گذاری کردند و پردازش مکانیکی را هدایت کردند. در دهه ۱۹۳۰ و ۱۹۴۰، صورت گرایی حساب لاندای آلونزو چرچ و ماشین تورینگ آلن تورینگ مفاهیم ریاضی بیان الگوریتم‌ها را فراهم کردند؛ حساب لاندا همچنان در طراحی زبان موثر است.

در دهه ۴۰، اولین رایانه‌های دیجیتال که توسط برق تغذیه می‌شدند ایجاد شدند. اولین زبان برنامه نویسی سطح بالا طراحی شده برای کامپیوتر پلانکالکول بود، که بین سال‌های ۱۹۴۵ و ۱۹۴۳ توسط کنراد زوس برای ز۳ آلمان طراحی شد.

کامپیوترهای اوایل ۱۹۵۰، بطور خاص ÜNIVAC ۱ و IBM ۷۰۱ از برنامه‌های زبان ماشین استفاده می‌کردند. برنامه نویسی زبان ماشین نسل اول توسط نسل دومی که زبان اسمبلی نامیده می‌شوند جایگزین شد. در سال‌های بعد دهه ۵۰، زبان برنامه نویسی اسمبلی، که برای استفاده از دستورات ماکرو تکامل یافته بود، توسط سه زبان برنامه نویسی سطح بالا دیگر: FORTRAN,LISP , COBOL مورد استفاده قرار گرفت. نسخه‌های به روز شده این برنامه‌ها همچنان مورد استفاده قرار می‌گیرند، و هر کدام قویا توسعه زبان‌های بعد را تحت تاثیر قرار دادند. در پایان دهه ۵۰ زبان algol ۶۰ معرفی شد، و بسیاری از زبان‌های برنامه نویسی بعد، با ملاحظه بسیار، از نسل algol هستند. قالب و استفاده از زبان‌های برنامه نویسی به شدت متاثر از محدودیت‌های رابط بودند.



پالایش

دوره دهه ۶۰ تا اواخر دهه ۷۰ گسترش مثال‌های عمده زبان پرکاربرد امروز را به همراه داشت. با این حال بسیاری از جنبه‌های آن بهینه سازی ایده‌های اولیه نسل سوم زبان برنامه نویسی بود:

APL برنامه نویسی آرایه‌ای را معرفی کرد و برنامه نویسی کاربردی را تحت تاثیر قرار داد.
PL/i(NPL) دراوایل دهه ۶۰ طراحی شده بود تا ایده‌های خوب فورترن و کوبول را بهم پیوند دهد.
در دهه ۶۰، Simula اولین زبانی بود که برنامه نویسی شئ گرا را پشتیبانی می‌کرد، در اواسط دهه۷۰. Smalltalk به دنبال آن به

عنوان اولین زبان کاملاً شئ گرا معرفی شد.

C بین سال‌های ۱۹۶۹ تا ۱۹۷۳ به عنوان زبان برنامه نویسی سیستمی طراحی شد و همچنان محبوب است.
Prolog، طراحی شده در ۱۹۷۲، اولین زبان برنامه نویسی منطقی بود.
در ۱۹۷۸ ML سیستم نوع چند ریخت روی لیسپ ایجاد کرد، و در زبان‌های برنامه نویسی کاربردی ایستا نوع گذاری شده پیشگام شد.

هر یک از این زبان‌ها یک خانواده بزرگ از وارثین از خود به جای گذاشت، و مدرنترین زبان‌ها از تبار حداقل یکی از زبان‌های فوق به شمار می‌آیند.

دهه‌های ۶۰ و ۷۰ مناقشات بسیاری روی برنامه نویسی ساخت یافته به خود دیدند، و اینکه آیا زبان‌های برنامه نویسی باید طوری طراحی شوند که آنها را پشتیبانی کنند.

"ادسگر دیکسترا" در نامه‌ای معروف در ۱۹۶۸ که در ارتباطات ACM منتشر شد، استدلال کرد که دستورgoto باید از تمام زبان‌های سطح بالا حذف شود.

در دهه‌های ۶۰ و ۷۰ توسعهٔ تکنیک‌هایی صورت گرفت که اثر یک برنامه را کاهش می‌داد و در عین حال بهره وری برنامه نویس و کاربر را بهبود بخشید. دسته کارت برای ۴GL اولیه بسیار کوچکتر از برنامهٔ هم سطح بود که با ۳GL deck نوشته شده بود.




یکپارچگی و رشد

دهه ۸۰ سال‌های یکپارچگی نسبی بود. C++ برنامه نویسی شئ گرا و برنامه نویسی سیستمی را ترکیب کرده بود. ایالات متحده ایدا(زبان برنامه نویسی سیستمی که بیشتر برای استفاده توسط پیمان کاران دفاعی بود) را استاندارد سازی کرد. در ژاپن و جاهای دیگر، هزینه‌های گزافی صرف تحقیق در مورد زبان نسل پنجم می‌شد که دارای ساختارهای برنامه نویسی منطقی بود. انجمن زبان کاربردی به سمت استانداردسازی ML و Lisp حرکت کرد. به جای ایجاد مثال‌های جدید، تمام این تلاش‌ها ایده‌هایی که در دهه‌های قبل حلق شده بودند را بهتر کرد.

یک گرایش مهم در طراحی زبان در دهه ۸۰ تمرکز بیشتر روی برنامه نویسی برای سیستم‌های بزرگ از طریق مدول‌ها، و یا واحدهای کدهای سازمانی بزرگ مقیاس بود. مدول-۲، ایدا. و ML همگی سیستم‌های مدولی برجسته‌ای را در دهه ۸۰ توسعه دادند. با وجود اینکه زبان‌های دیگر، مثل PL/i، پشتیبانی بسیار خوبی برای برنامه نویسی مدولی داشتند. سیستم‌های مدولی غالباً با ساختارهای برنامه نویسی عام همراه شده‌اند.

رشد سریع اینترنت در میانه دهه ۹۰ فرصت‌های ایجاد زبان‌های جدید را فراهم کرد. Perl، در اصل یک ابزار نوشتن یونیکس بود که اولین بار در سال ۱۹۸۷ منتشر شد، در وب‌گاه‌های دینامیک متداول شد. جاوا برای برنامه نویسی جنب سروری مورد استفاده قرار گرفت. این توسعه‌ها اساساً نو نبودند، بلکه بیشتر بهینه سازی شده زبان و مثال‌های موجود بودند، و بیشتر بر اساس خانواده زبان برنامه نویسی C بودند. پیشرفت زبان برنامه نویسی همچنان ادامه پیدا می‌کند، هم در تحقیقات و هم در صنعت. جهت‌های فعلی شامل امنیت و وارسی قابلیت اعتماد است، گونه‌های جدید مدولی(mixin، نماینده‌ها، جنبه‌ها) و تجمع پایگاه داده.

۴GLها نمونه‌ای از زبان‌هایی هستند که محدوده استفاده آنها مشخص است، مثل SQL. که به جای اینکه داده‌های اسکالر را برگردانند، مجموعه‌هایی را تغییر داده و بر می‌گردانند که برای اکثر زبان‌ها متعارفند. Perl برای مثال، با "مدرک اینجا" خود می‌تواند چندین برنامه ۴GL را نگه دارد، مانند چند برنامه جاوا سکریبت، در قسمتی از کد پرل خود و برای پشتیبانی از چندین زبان برنامه نویسی با تناسب متغیر در "مدرک اینجا" استفاده کند.
ساعت : 11:18 pm | نویسنده : admin | کاکاپو | مطلب قبلی
کاکاپو | next page | next page