حکومت اسلامی

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






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






عصمت

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

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

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

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






زیر شاخه‌های شیعه

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

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






فرقه غالب

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






خاستگاه

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

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

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

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

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






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

اکثریت شیعه، را شیعه امامیه یا اثنی‌عشری (دوازده امامی) تشکیل می‌دهد، از آنجا که آنان جانشینان پیامبر اسلام را ۱۲ نفر می‌دانند، اثنا عشریه (دوازده امامی) نامیده شده‌اند.

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

امام علی بن ابی طالب امیرالمومنین
امام حسن بن علی(حسن مجتبی)
امام حسین بن علی (سید الشهدا)
امام علی بن الحسین (سجاد/زین العابدین)
امام محمد بن علی (باقر)
امام جعفر بن محمد (صادق)
امام موسی بن جعفر (کاظم)
امام علی بن موسی (رضا)
امام محمد بن علی (تقی)
امام علی بن محمد (نقی)
امام حسن بن علی (حسن عسکری)
امام حجت بن الحسن (المهدی)





فقه

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






علایم ظاهری شیعیان

در روایتی از حسن بن علی العسکری نقل شده است: «نشانه و علامتِ مؤمن (شیعه) پنج چیز است: ۱- ۵۱ رکعت نماز در شبانه‌روز خواندن (۱۷ رکعت واجب و ۳۴ رکعت مستحبی و نافله روزانه)، ۲- زیارت کردن امام حسین در روز اربعین، ۳- انگشتر را در دست راست نمودن، ۴- پیشانی را در سجده بر خاک نهادن، ۵- بسم الله الرحمن الرحیم را در نمازها بلند گفتن.»

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






جغرافیای تشیع
شیعیان حدود ۱۶٪ تا ۳۰٪ از کل جمعیت مسلمانان را تشکیل می‌دهند. ، بیشتر شیعیان دوازده‌امامی در هند, ایران، عراق، جمهوری آذربایجان، لبنان، افغانستان، پاکستان و کشورهای حاشیه خلیج فارس مانند یمن و بحرین زندگی می‌کنند. بر اساس آمار سیا ورلد فکت‌بوک ۸۹ درصد مردم ایران ۶۰ تا ۶۵ درصد مردم عراق، ۸۵ درصد مردم جمهوری آذربایجان و ۳۰ درصد مردم کویت و ۲۰ تا ۳۰ درصد مردم افغانستان و ۱۶ درصد مردم امارات متحده عربی شیعه دوازده‌امامی هستند. از شیعیان لبنان، عربستان سعودی، بحرین و قطر آمار دقیقی در دست نیست. همچنین بنابر آمار ۲۰٪ مردم پاکستان شیعه هستند که بخشی از آنها بخصوص در کشمیر، اسماعیلی هستند. شیعیان یمن، عمدتاً از زیدیه هستند، اما از آنان نیز آمار دقیقی در دست نیست. همچنین ۲۰ درصد از مردم شیعه ترکیه موسوم به علوییون و شیعیان سوریه نیز علوی هستند.






فقه امامیه

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

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

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

منبع دوم، یعنی حدیث در مجموعه‌هایی جمع آوری شده و مشهورترین آنها اینهایند:

کتاب الکافی، از محمد بن یعقوب کلینی (متوفی ۳۲۹).
کتاب من لا یحضره الفقیه، از محمد بن علی بن بابویه قمی، صدوق (م ۳۸۱).
تهذیب الاحکام، از محمد بن حسن طوسی، شیخ الطائفه (م ۴۶۰).
الاستبصار، از محمد بن حسن طوسی،







اصولی و اخباری

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

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

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

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

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

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

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

مکتب اخباری بیشترین نفوذ را در اواخر دوره صفوی و پساصفوی با دیدگاه‌های فقهایی چون محمدامین استرآبادی و یوسف بحرانی به دست آورد اما در اواخر دوره قاجار جریان اخباری به‌شدت ضعیف شده و شیخ مرتضای انصاری (۱۲۲۴ - ۱۲۸۱ ه. ق) تفوق کامل اصولیون را بر جریان نواخباری دیکته کرد. اصولیون به طور کلی در زمینه مسائل حقوقی مشی آزادی‌گرایانه‌تری از اخباریون دارند، اما این تصور که همه علمای اصولی پیشرو و علمای اخباری همگی واپس‌گرایند به کلی بی‌اساس است. طبقه فعال سیاسی شیعیان نیز از بین اصولیون است و مبنای مشروعیت رهبری روح‌الله خمینی و حکومت جمهوری اسلامی که به دست او تأسیس شد وابسته به تعالیم مکتب اصولی بود. ابهام زیادی در مورد پیروی از مکاتب اخباری و اصولی در جهان شیعه امروز وجود دارد. برخی منابع تشیع ایرانی را اصولی و تشیع عراقی را اخباری معرفی کنند. برخی منابع دیگر شیعیان ایران و عراق را به طور کامل پیرو سیستم مرجعیت دانسته و در نتیجه آن‌ها را اصولی می‌دانند. در این دیدگاه علی سیستانی (بلندپایه‌ترین شخصیت مذهبی عراق) یک مرجع تقلید است و احکام اسلامی از طریق مراجع و مجتهدین تفسیر و به روز شده و این به معنی پیروی از مکتب اصولی است. بر اساس این دیدگاه اخباریون امروزه تنها در بحرین اکثریت دارند و در برخی مناطق دیگر خلیج فارس مثل بصره و خرمشهر هم حضور دارند. هرچند رسوبات فکری دیدگاه‌های اخباری هنوز در میان شیعیان و علمای شیعه چه در ایران و چه در سطح وسیع‌تری در عراق، هند، پاکستان و بحرین باقی‌مانده‌است. پس از شکست اخباریون مهمترین رقیبی که جریان اصولی تاکنون به خود دیده مکتب شیخیه است که بر پایه آموزه‌های شیخ احمد احسائی و شیخ کاظم رشتی بنیان نهاده شد. در حالی که اختلاف اصولیون و اخباریون در زمینهً «فروع دین» بود شیخیه در «اصول دین» با اصولیون اختلاف نظر داشت. امروزه یک جریان قوی شیخیه در پاکستان به حیات خود ادامه می‌دهد.






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






امامیه

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

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






امامیه در منابع فرق اسلامی

اشعری شیعه را به سه صنف به نام‌های «غالیه»، «رافضه»، «زیدیه» تقسیم می‌کند، و در نتیجه امامیه را با رافضه یکسان می‌گیرد. او در این کتاب، برای غالیه ۱۵ فرقه و برای رافضه ۲۴ و برای زیدیه ۶ فرقه بیان نموده است».
ملطی، رافضه را با امامیه یکی دانسته و برای آن ۱۸ فرقه نام برده است، که زیدیه نیز از آنان است. او در این استعمال، امامیه را به معنی عام یعنی معتقد به امام منصوب گرفته و همه را تحت این عنوان جمع کرده است. محقق کتاب محمد زاهد کوثری در پاورقی یادآور می‌شود که امامیه همان فرقه اثناعشری است، ولی مؤلف هر کسی را که به امامت معتقد بوده آن را امامی دانسته است.
بغدادی برای روافض چهار فرقه اصلی برشمرده که عبارتند از زیدیه، کیسانیه، امامیه و غلاة و برای زیدیه سه فرقه و برای کیسانیه دو فرقه و برای امامیه پانزده فرقه و برای غلاة شش فرقه ذکر کرده است.
اسفرائینی از غلاة نامی نبرده و روافض را تنها به سه فرقه به نام‌های زیدیه، امامیه و کیسانیه تقسیم نموده و برای امامیه پانزده فرقه ذکر کرده است.
شهرستانی برای شیعه پنج فرقه ذکر کرده به نام‌های کیسانیه، زیدیه، امامیه، غالیه، اسماعیلیه.
احمد امین مصری اساس تشیع را اعتقاد به این می داند که علی و فرزندان او از دیگران برای خلافت و امامت شایسته تر هستند و پیامبر اسلام نیز آنها را برای این مقام برگزیده است. و غیر از فرقه زیدیه، دیگر فرق شیعه را تحت عنوان امامیه نامیده، و مهم ترین آنها را اثناعشریه می داند.
به گفتار شیخ کوثری محقق کتاب ملطی، مناقشه در اصطلاح نیست، هرگاه مقصود از امامیه، اعتقاد به امام منصوب باشد، کلیه فرق شیعه، امامی بوده و همه را می‌توان امامیه نامید، مگر فرقه‌های غالی که اصولاً اسلام آنها زیر سؤال است، واگر مقصود اصطلاح رایج در میان شیعه و غیره باشد، حق این است که امامیه قسمی از شیعه و مرادف با اثنا عشریه و اعتقاد به دوازده امام است، و لذا شیخ مفید می‌گوید: امامیه امامت را پس از امام علی و حسنین در اولاد حسین بن علی متمرکز می‌سازند و امامت را تا امام رضا و سپس تا امام مهدی ادامه می‌دهند.
فخر الدین رازی نیز از همین فکر پیروی کرده و می‌گوید: امامیه گروهی از شیعه است که می گویند: امام پس از پیامبر اسلام، علی بن ابی طالب، سپس پسرش حسن، سپس برادرش حسین، سپس فرزند حسین، علی بن الحسین، و سپس فرزند او محمد باقر و سپس فرزند او جعفر صادق، و سپس فرزند او موسی کاظم و سپس فرزند او علی بن موسی الرضا و سپس فرزندش محمد تقی و سپس فرزند او علی نقی و سپس فرزند او حسن زکی، و سپس فرزند او محمد و او همان امام قائم است که جهان در انتظار اوست.
از زمان شیخ صدوق که نگارش عقاید و ملل و نحل در میان شیعه رواج بیشتری پیدا کرده اصطلاح امامیه را در مورد فرقه اثناعشری به کار می‌برند. سعد بن عبداللّه اشعری قمی که از اصحاب عسکری به شمار می‌رود و در سال ۲۹۹ درگذشته است. کتابوبه نام «مقالات الإمامیة» تألیف نموده است. شیخ صدوق (۳۰۶-۳۸۱) کتابوبه نام «رسالة فی دین الإمامیة» نوشته که معروف به رساله اعتقادات صدوق است و از این تاریخ به بعد امامیه در کلمات شیخ مفید در کتاب «اوائل المقالات» در مورد اثناعشریه به کار می‌رود. و همگی حاکی از این است که تقسیم بندی اشعری و غیره دقیق نبود و یا از آن، معنی عام، اراده نموده‌اند.

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






باورهای این مذهب

پیروان مکتب امامت معتقدند که پس از درگذشت پیامبر اسلام نیاز بشر به وصی الهی منتفی نمی‌شود و به همان دلیل که خدا انبیاء را برانگیخته، از میان آن‌ها وصی‌هایی هم برمی‌گزیند تا مردم را هدایت کنند. شیعیان دوازده‌امامی با استفاده از قرآن و به استناد سنت پیامبر به دوازده وصی معصوم، که از اهل بیت محمد هستند؛ به عنوان جانشین منصوب او، تا روز قیامت ایمان آورده‌اند. شیعیان با استناد به حدیث جابر و احادیث متواتر معتقدند ائمه ۱۲ فرد مشخصی هستند که از جانب خدا و از زمان پیامبر با نام معرفی شده‌اند و عبارت‌اند از:

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







امامت

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







اهل بیت
اهل بیت (به عربی:أهل البیت) عبارتی به زبان عربی است و به معنای واقعی کلمه به معنی مردمِ خانه یا خانواده‌ی خانه است. عبارت "اهل بیت" در عربستان قبل از ظهور اسلام برای اشاره به قبیله یا طایفه‌ی یک شخص استفاده می‌شد که توسط خانواده‌ی حاکم بر یک قبیله انتخاب می‌شد. در سنت اسلامی این اصطلاح برای خانواده‌ی پیامبر اسلام استفاده می‌شود. اهل بیت به طور ویژه‌ای برای مسلمانان شیعه مهم هستند زیرا شیعیان عموماً احادیث را از اهل بیت و یا نزدیکان آنها استناج می‌کنند.
در اسلام شیعه اهل بیت مرکز اسلام و مفسر قرآن و سنت هستند. شیعیان باور دارند که آنها جانشین پیامبر هستند و شامل محمد، فاطمه، علی، حسن، حسین (به طور کلی معروف به اصحاب کسا"رداپوش")و سایر امامان می‌شود. نظرات مختلفی در مورد قلمرو و اهمیت اهل بیت وجود دارد.
در اسلام سنی اهل بیت پیامبر شامل زنان پیامبر، دخترش فاطمه، علی و دو فرزندش حسن و حسین می‌شود. باقی سنی‌ها تمام نوادگان محمد را و بعضی اوقات نوادگان عمویش عباس ابن عبدالمطلب را نیز اهل بیت می‌دانند. در تفکر شیعه و سنی هر مسلمانی وظیفه دارد به اهل بیت عشق بورزد.
12:58 am
کاربرد برنامه نویسی

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





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

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

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



المان‌ها
تمام زبان‌های بزنامه نویسی تعدادی بلوک‌های ابتدایی برای توضیح داده و پردازش یا تبدیل آنها(مانند جمع کردن دو عدد با انتخاب یک عضو از یک مجموعه)دارند. این " عناصرابتدایی" بوسیله قوانین معناشناسی و دستوری تعریف می‌شوند که ساختار و معنای مربوطه را توضیح می‌دهند.
دستور(
syntax)

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

دستور زبان برنامه نویسی معمولاً بوسیله ترکیب عبارات معین(برای ساختار لغوی) و فرم توضیح اعمال(برای ساختار گرامری) تعریف می‌شوند. متن زیر یک گرامر ساده، به زبان lisp است: expression ::= atom | list atom ::= number | symbol number ::= [+-]?['۰'-'۹']+ symbol ::= ['A'-'Za'-'z'].* list ::= '(' expression* ')' این گرامر موارد ذیل را مشخص می‌کند:

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

"۱۲۳۴۵"، "()"، "(a b c۲۳۲ (۱))" مثال‌هایی هستند از دنباله‌های خوش فرم در این گرامر.

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

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

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

این قسمت از زبان C از نظر دستوری درست است، اما دستوری را انجام می‌دهد که از نظرمعنایی تعریف نشده است(چون p یک اشاره گر خالی است، عمل p->real,p->im معنای خاصی ندارد.) complex *p = NULL; complex abs_p = sqrt (p->real * p->real + p->im * p->im);

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




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


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

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

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



نوع گذاری ایستا و متحرک

در نوع گذاری ایستا تمام عبارات نوع‌های خود را قبل از اجرای برنامه تعیین می‌کنند(معمولاً در زمان کامپایل). برای مثال، ۱ و (۲+۲) عبارات عددی هستند؛ آنها نمی‌توانند به تابعی که نیاز به یک رشته دارد داده شوند، یا در متغیری که تعریف شده تا تاریخ را نگه دارد، ذخیره شوند.


زبان‌های نوع گذاری شده ایستا می‌توانند با مانیفست نوع گذاری شوند یا با استفاده از نوع استنباط شوند. در حالت اول، برنامه نویس بیشتر صریحاً نوع‌ها را در جایگاه‌های منتنی مشخص می‌نویسد(برای مثال، در تعریف متغیرها). در حالت دوم، کامپایلر نوع عبارات و تعریف‌ها را بر اساس متن استنباط می‌کند. غالب زبان‌های مسیر اصلی(mainstream) ایستا نوع گذاری شده، مانند C#,C++ و Java، با مانیفست نوع گذاری می‌شوند



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

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

نوع گذاری قوی مانع رخ دادن مشکل فوق می‌شود. تلاش برای انجام عملیات روی نوع نادرست متغیر منجر به رخ دادن خطا می‌شود. زبان‌هایی که نوع گذاری قوی دارند غالباً با نام "نوع-امن" و یا امن شناخته می‌شوند. تمام تعاریف جایگزین برای "ضعیف نوع گذاری شده" به زبان‌ها اشاره می‌کند، مثل 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 را نگه دارد، مانند چند برنامه جاوا سکریبت، در قسمتی از کد پرل خود و برای پشتیبانی از چندین زبان برنامه نویسی با تناسب متغیر در "مدرک اینجا" استفاده کند.




سنجش استفاده از زبان

مشکل است که مشخص کنیم کدام زبان برنامه نویسی بیشتر مورد استفاده‌است، و اینکه کاربرد چه معنی می‌دهد با توجه به زمینه تغییر می‌کند. یک زبان ممکن است زمان بیشتری از برنامه نویس بگیرد، زبان دیگر ممکن است خطوط بیشتری داشته باشد، و دیگری ممکن است زمان بیشتری از پردازنده را مصرف کند. برخی زبان‌ها برای کاربردهای خاص بسیار محبوبند. برای مثال: کوبول همچنان در مراکزداده متحد، غالباً روی کامپیوترهای بزرگ توانا است؛ fortran در مهندسی برنامه‌های کاربردی، C در برنامه‌های تعبیه شده و سیستم‌های عامل؛ و بقیه برنامه‌ها معمولاً برای نوشتن انواع دیگر برنامه‌ها کاربرد دارند. روش‌های مختلفی برای سنجش محبوبیت زبان‌ها، هر یک متناسب یا یک ویژگی محوری متفاوت پیشنهاد شده‌است:

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

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

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

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

یک زبان برنامه نویسی ممکن است با فاکتورهای غیر مرتبط به مثال‌های برنامه نویسی دسته بندی شود. برای مثال، غالب زبان‌های برنامه نویسی کلمات کلیدی زبان انگلیسی را استفاده می‌کنند، در حالیکه تعداد کمی این کار را نمی‌کنند. سایر زبان‌ها ممکن است براساس داخلی بودن یا نبودن دسته بندی شوند.
ساعت : 12:58 am | نویسنده : admin | طراحی وب امیر | مطلب قبلی
طراحی وب امیر | next page | next page