از زمان بشریت با اولین دستگاه قابل برنامه ریزی ، بیش از دو هزار زبان برنامه نویسی ایجاد شده است. و هر ساله تعداد آنها به طور پیوسته در حال افزایش است. آنها به برقراری ارتباط بین دستگاه های مختلف در تجهیزات فنی پیچیده کمک می کنند.
زبان برنامه نویسی یک سیستم نشانه رسمی است که هنگام نوشتن برنامه های رایانه ای استفاده می شود. آنها از قوانین مختلفی (واژگانی ، معنایی و نحوی) پیروی می کنند که ظاهر برنامه و اقداماتی را که باید توسط کامپیوتر انجام شود ، تعیین می کند. تعداد زیادی کلاس زبان برنامه نویسی وجود دارد که برای رشته انتخاب شده مناسب ترین هستند ، حتی آنهایی که صریحاً کمیک هستند نیز وجود دارد. آنها باطنی نامیده می شوند و برای استفاده عملی در نظر گرفته نشده اند. به عنوان مثال ، زبانهایی وجود دارند که دارای نحو ادبی (شکسپیر ، سرآشپز) ، زبانهایی هستند که نوشتن کد را دشوار می کنند (Malbolge ، ALPACA) یا با منطق غیرانسانی - Var'aq (از منطق کلینگون استفاده می کند) مسابقه از فیلم Star Trek). و سایر زبان های طنز ، اما علاوه بر کمیک ، تعداد زیادی زبان حرفه ای نیز وجود دارد. کلاس اصلی که در حال حاضر استفاده می شود زبانهای شی گرا هستند. این سطح بالایی است که برای نوشتن برنامه های کوچک و سیستم های نرم افزاری بزرگ در نظر گرفته شده است. نمایندگان اصلی این کلاس Java ، C # ، C ++ ، Ruby ، Python هستند.همچنین زبانهای برنامه نویسی منطقی نیز باید ذکر شوند. آنها بر اساس پارادایم اثبات قضیه خودکار و بر اساس نظریه منطق ریاضی هستند. معروف ترین زبان برنامه نویسی منطقی Prolog است. این از منطق محمول مرتبه اول استفاده می کند.با وجود تعداد زیادی زبان ایجاد شده و عملکرد آنها ، همیشه لازم است ابزار مناسب برای ایجاد محصولات نرم افزاری انتخاب شود. به عنوان مثال ، اگر شما نیاز به پیاده سازی یک برنامه سرویس گیرنده-کلاینت دارید ، بدیهی است که یک زبان منطقی برای این کار مناسب نیست. بنابراین ، لازم است یکی از موارد مناسب برای حل کار انتخاب شود.
