این برنامه ویندوز به نام ادریس 2 است که آخرین نسخه آن را می توانید با عنوان Version0.6.0.zip دانلود کنید. می توان آن را به صورت آنلاین در ارائه دهنده میزبانی رایگان OnWorks برای ایستگاه های کاری اجرا کرد.
این اپلیکیشن به نام ادریس 2 را با OnWorks به صورت آنلاین دانلود و اجرا کنید.
برای اجرای این برنامه این دستورالعمل ها را دنبال کنید:
- 1. این برنامه را در رایانه شخصی خود دانلود کنید.
- 2. در فایل منیجر ما https://www.onworks.net/myfiles.php?username=XXXXX نام کاربری مورد نظر خود را وارد کنید.
- 3. این برنامه را در چنین فایل منیجر آپلود کنید.
- 4. هر شبیه ساز آنلاین OS OnWorks را از این وب سایت راه اندازی کنید، اما شبیه ساز آنلاین ویندوز بهتر است.
- 5. از OnWorks Windows OS که به تازگی راه اندازی کرده اید، به مدیر فایل ما https://www.onworks.net/myfiles.php?username=XXXXX با نام کاربری که می خواهید بروید.
- 6. برنامه را دانلود و نصب کنید.
- 7. Wine را از مخازن نرم افزار توزیع لینوکس خود دانلود کنید. پس از نصب، می توانید روی برنامه دوبار کلیک کنید تا آنها را با Wine اجرا کنید. همچنین می توانید PlayOnLinux را امتحان کنید، یک رابط کاربری فانتزی بر روی Wine که به شما کمک می کند برنامه ها و بازی های محبوب ویندوز را نصب کنید.
Wine راهی برای اجرای نرم افزار ویندوز بر روی لینوکس است، اما بدون نیاز به ویندوز. Wine یک لایه سازگار با ویندوز منبع باز است که می تواند برنامه های ویندوز را مستقیماً بر روی هر دسکتاپ لینوکس اجرا کند. اساساً، Wine در تلاش است تا به اندازه کافی از ویندوز را از ابتدا مجدداً پیاده سازی کند تا بتواند همه آن برنامه های ویندوز را بدون نیاز به ویندوز اجرا کند.
عکس ها
Ad
ادریس 2
شرح
در توسعه نوع محور، تیپ ها ابزاری برای ساختن برنامه ها هستند. ما نوع را به عنوان طرح یک برنامه در نظر می گیریم و از کامپایلر و جستجوگر تایپ به عنوان دستیار خود استفاده می کنیم و ما را به سمت یک برنامه کامل راهنمایی می کنیم که نوع را برآورده می کند. هرچه این نوع بیان بیشتر باشد که ما جلوتر را رها کنیم، اطمینان بیشتری میتوانیم داشته باشیم که برنامه به دست آمده درست خواهد بود. در ادریس، انواع سازه های درجه یک در زبان هستند. این بدان معناست که انواع را می توان به عنوان آرگومان به توابع ارسال کرد و مانند هر مقدار دیگری مانند اعداد، رشته ها یا لیست ها از توابع بازگردانده شد. این یک ایده کوچک اما قدرتمند است که روابط بین ارزشها را بیان میکند. به عنوان مثال، دو لیست دارای طول یکسانی هستند. مفروضاتی که باید صریح باشد و توسط کامپایلر بررسی شود. به عنوان مثال، اگر فرض کنید یک لیست خالی نیست، ادریس می تواند اطمینان حاصل کند که این فرض همیشه قبل از اجرای برنامه برقرار است.
امکانات
- در صورت تمایل، ویژگی های رفتار برنامه به طور رسمی بیان و اثبات شود
- انواع در زبان سازه های درجه یک هستند
- Idris یک زبان برنامه نویسی است که برای تشویق توسعه Type-Driven طراحی شده است
- ما نوع را به عنوان طرحی برای یک برنامه در نظر می گیریم
- از کامپایلر و بررسی تایپ به عنوان دستیار استفاده کنید
- انواع را می توان به عنوان آرگومان به توابع ارسال کرد
زبان برنامه نویسی
C
دسته بندی ها
این برنامه ای است که می توان آن را از https://sourceforge.net/projects/idris-2.mirror/ نیز دریافت کرد. در OnWorks میزبانی شده است تا به آسانی از یکی از سیستم عامل های رایگان ما به صورت آنلاین اجرا شود.