A Dependently Typed Functional Programming Language
توضیحات ناشر (انگلیسی)
idris چیست؟
idris در دسته‌بندی IDE و ویرایشگر کد قرار دارد و نرم‌افزاری متن‌باز است.
نصب و پیش‌نیازها
ناشر نصب‌کننده‌های پرتابل را برای ویندوز ۶۴ بیتی ارائه می‌کند. حجم فایل نصب اصلی ۱ کیلوبایت است. بدون نصب اجرا می‌شود (نسخه پرتابل).
محبوبیت و انواع فایل
بسته Chocolatey آن ۲٬۰۶۸ بار دانلود شده است. نرم‌افزارهای مشابه: OpenCode، RStudio و Node.js (LTS).
نقاط قوت / نقاط ضعف
نقاط قوت
- متن‌باز: هر کسی می‌تواند کد را بررسی و کامپایل کند
- پرتابل: بدون نصب اجرا می‌شود
- حجم دانلود کم (۱ کیلوبایت)
نقاط ضعف
- بدون نسخه بومی ARM64
- لینک دانلود رسمی در آخرین بررسی پاسخ نداد
به طور خلاصه: idris ابزاری متن‌باز در دسته‌بندی IDE و ویرایشگر کد برای رایانه‌های ۶۴ بیتی است.
آیا دانلود idris امن است؟
- فایل از neon.se ارائه می‌شود؛ مطمئن شوید که این آینه (mirror) رسمی ناشر است
- لینک دانلود از HTTPS استفاده می‌کند
- هش SHA256 منتشر شده است و می‌توانید فایل را بررسی کنید:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· گزارش VirusTotal این هش را باز کنید - لینک در آخرین بررسی پاسخ نداد (۴ آبان ۱۴۰۵)
- کد منبع عمومی است
- ExeAtlas فایل‌های نصب را میزبانی، بسته‌بندی یا تغییر نمی‌دهد
آموزش مرتبط: بررسی هش SHA256 فایل در ویندوز
نسخه‌های اخیر
همه ۱ نسخه ›| نسخه | تاریخ | حجم | فایل‌ها |
|---|---|---|---|
| 1.3.3آخرین | ۱ کیلوبایت | ۶۴ بیتی ZIP |
نصب از خط فرمان
نصب بی‌صدا ›choco install idris -yscoop install main/idrisفایل‌های برنامه (.exe): idris.exe
آموزش مرتبط: آموزش winget: نصب و به‌روزرسانی نرم‌افزار در ویندوز
اطلاعات
- دسته‌بندی
- IDE و ویرایشگر کد
- مجوز
- BSD-3-Clause
- قیمت
- رایگان
- کد منبع
- github.com
- پیش‌نیاز
- Windows 11 / 10
- معماری
- ۶۴ بیتی
- نوع نصب‌کننده
- پرتابل
- نسخه
- 1.3.3
- نسخه‌های فهرست‌شده
- 1
- دانلودهای Chocolatey
- ۲٬۰۶۸
- وب‌سایت رسمی
- idris-lang.org
- بسته Chocolatey
- idris
- بسته Scoop
- main/idris
امتیازها و نظرها
هنوز نظری ثبت نشده است. نخستین امتیاز را شما بدهید.
جایگزین‌های idris
مشاهده همه ›-
متن‌باز۲۸۵٫۲ هزار ↓ -
متن‌باز۷۰۵٫۱ هزار ↓ -
متن‌باز۴٫۹ میلیون ↓ -
متن‌باز۸۸٫۸ هزار ↓ -
متن‌باز۴۹٫۷ هزار ↓ -
متن‌باز۱۳۶٫۷ هزار ↓ -
متن‌باز۳۹۴٫۵ هزار ↓ -
متن‌باز۹۴٫۶ هزار ↓
پرسش‌های متداول
آیا idris رایگان است؟
بله. idris نرم‌افزاری متن‌باز با مجوز BSD-3-Clause است.
آیا دانلود idris امن است؟
فایل از neon.se دانلود می‌شود؛ ExeAtlas فایل را میزبانی یا تغییر نمی‌دهد. هش SHA256 فایل را با هش نمایش‌داده‌شده در این صفحه مقایسه کنید یا گزارش VirusTotal همین هش را باز کنید.
آیا idris روی ARM (Windows on Arm) اجرا می‌شود؟
نسخه ARM64 وجود ندارد؛ Windows 11 on Arm می‌تواند نسخه ۶۴ بیتی را با شبیه‌سازی اجرا کند.
آیا می‌توان از idris بدون دسترسی مدیر استفاده کرد؟
بله، نسخه پرتابل است: آن را از حالت فشرده خارج و اجرا کنید.
جایگزین‌های idris کدام‌اند؟
OpenCode، RStudio، Node.js (LTS)، Apache NetBeans و Haxe. صفحه جایگزین‌ها آن‌ها را با هم مقایسه می‌کند.
