11 مقاله
زبان پرسوجوی شیگرا (OQL) یک استاندارد برای پایگاههای داده شیگرا است که بر اساس الگوی SQL طراحی شده و توسط گروه مدیریت دادههای شیگرا (ODMG) توسعه یافته است. به دلیل پیچیدگی بالا، استاندارد کامل OQL تاکنون در هیچ نرمافزاری بهطور کامل پیادهسازی نشده است. با این حال، این زبان بر طراحی زبانهای پرسوجوی بعدی مانند JDOQL و EJB QL تأثیرگذار بوده است.
سازنده نوع در نظریه نوع، ابزاری در زبانهای صوری تایپشده است که انواع جدید را از انواع موجود میسازد. انواع پایه با استفاده از سازندگان نوع صفر-مقداری ساخته میشوند. برخی سازندگان نوع، مانند انواع محصول، تابع، توان و لیست، یک نوع دیگر را به عنوان پارامتر میپذیرند. تعریف انواع جدید با ترکیب بازگشتی سازندگان نوع امکانپذیر است.
رپیرا یک زبان برنامهنویسی آموزشی است که در اتحاد جماهیر شوروی توسعه یافت. این زبان بر روی رایانههای آگات، کلونهای PDP-11 و سیستمهای مبتنی بر اینتل 8080 و زیلاگ Z80 اجرا میشد. رپیرا با الهام از زبانهایی مانند POP-2 و SETL طراحی شد و ساختار دادههای قدرتمندی به نام «توپل» را پشتیبانی میکرد. این زبان برای آموزش برنامهنویسی در مدارس شوروی استفاده میشد و محیط توسعه یکپارچهای شامل ویرایشگر متن و دیباگر داشت.
زبان برنامهنویسی اکس (Ox) یک زبان شیءگرای مبتنی بر ماتریس است که توسط یورگن دورنیک توسعه یافته و کاربرد اصلی آن در برنامهنویسی اقتصادسنجی و تحلیلهای آماری-ریاضی است. نسخه کنسولی این زبان برای استفاده آکادمیک رایگان است.
لگو یک دستیار اثباتسازی است که توسط رندی پولاک در دانشگاه ادینبرو توسعه یافته است. این ابزار، نظریههای نوع مختلفی را پیادهسازی میکند، از جمله چارچوب منطقی ادینبرو، حساب ساختها، حساب ساختهای تعمیمیافته و نظریه یکپارچه انواع وابسته.
پیوربیسیک یک زبان برنامهنویسی رویهای و محیط توسعه یکپارچه (IDE) مبتنی بر بیسیک است که توسط فانتزی سافتور برای ویندوز، لینوکس و مکاواس توسعه یافته است. این زبان با مدل مجوز مادامالعمر ارائه میشود و قابلیت کامپایل مستقیم به دستورالعملهای IA-32، x86-64 و PowerPC را دارد. پیوربیسیک از اسمبلی درونخطی و محیطهای سهبعدی مانند OGRE پشتیبانی میکند.
سینرژی دیبیال (Synergy DBL) یک زبان برنامهنویسی دستوری و کامپایلشونده است که در اواخر دهه ۱۹۷۰ بهعنوان جایگزینی برای دیبول (DIBOL) توسعه یافت. این زبان با پشتیبانی از شیءگرایی و فریمورک داتنت، گزینهای کراسپلتفرم برای توسعه نرمافزارهای تجاری محسوب میشود.
همل (Haml) یک سیستم قالبسازی است که کدهای درونخطی را حذف کرده و HTML را تمیزتر میکند. این ابزار با پشتیبانی از محتوای پویا و سینتکس شبیه CSS، نوشتن کدهای وب را سادهتر و خواناتر میکند.
استفان کارپینسکی، دانشمند رایانه آمریکایی و یکی از بنیانگذاران اصلی زبان برنامهنویسی جولیا است. او با تحصیل در هاروارد و پژوهش در شبکههای رایانهای، مسیر حرفهای خود را به سمت توسعه نرمافزارهای عددی و علمی تغییر داد و اکنون در شرکت جولیا کامپیوتینگ فعالیت میکند.
SR، مخفف Synchronizing Resources، یک زبان برنامهنویسی قدرتمند است که به طور خاص برای برنامهنویسی همروند (concurrent programming) طراحی شده است. این زبان با ارائه مکانیزمهایی برای همگامسازی و تعامل بین فرآیندها، امکان مدیریت مؤثر منابع مشترک را فراهم میکند.
زبان عبارات جایاکارتا (EL)، که پیشتر با نامهای Expression Language و Unified Expression Language شناخته میشد، زبانی تخصصی برای ارزیابی عبارات در صفحات وب برنامههای Jakarta EE است. این زبان با هدف سادهسازی تعامل با کدهای جاوا و جداسازی منطق برنامه از رابط کاربری طراحی شده است.
