Đây là ứng dụng Linux có tên Idris-dev, phiên bản mới nhất có thể tải xuống dưới dạng Release1.3.3sourcecode.tar.gz. Ứng dụng có thể chạy trực tuyến trên nhà cung cấp dịch vụ lưu trữ miễn phí OnWorks dành cho máy trạm.
Tải xuống và chạy trực tuyến ứng dụng có tên Idris-dev với OnWorks miễn phí.
Làm theo các hướng dẫn sau để chạy ứng dụng này:
- 1. Đã tải ứng dụng này xuống PC của bạn.
- 2. Nhập vào trình quản lý tệp của chúng tôi https://www.onworks.net/myfiles.php?username=XXXXX với tên người dùng mà bạn muốn.
- 3. Tải lên ứng dụng này trong trình quản lý tệp như vậy.
- 4. Khởi động trình giả lập trực tuyến OnWorks Linux hoặc trình giả lập trực tuyến Windows hoặc trình mô phỏng trực tuyến MACOS từ trang web này.
- 5. Từ Hệ điều hành OnWorks Linux mà bạn vừa khởi động, hãy truy cập trình quản lý tệp của chúng tôi https://www.onworks.net/myfiles.php?username=XXXXX với tên người dùng mà bạn muốn.
- 6. Tải xuống ứng dụng, cài đặt và chạy nó.
MÀN HÌNH:
Idris-dev
SỰ MIÊU TẢ:
Idris-dev là phiên bản phát triển của Idris 1, một ngôn ngữ lập trình hàm đa năng với các kiểu phụ thuộc đầy đủ, được thiết kế để viết các chương trình và chứng minh kiểu an toàn ngay trong ngôn ngữ. Nó biên dịch sang C và JavaScript (cho Node.js và trình duyệt), đồng thời hỗ trợ tạo mã thông qua các backend thay thế.
Tính năng
- Các kiểu phụ thuộc đầy đủ cho phép các giá trị xuất hiện trong các kiểu
- Kiểm tra toàn bộ để đảm bảo các chức năng đã hoàn tất và kết thúc
- Trình tạo mã cho C và JavaScript (trình duyệt và Node.js)
- Hỗ trợ các backend bên ngoài (ví dụ: JVM, CIL, LLVM) thông qua các đóng góp của cộng đồng
- Phát triển theo kiểu mạnh mẽ lấy cảm hứng từ các trợ lý chứng minh như Agda và Coq
- Được duy trì tích cực song song với quá trình phát triển Idris 2
Ngôn ngữ lập trình
Haskell
Danh Mục
Đây là một ứng dụng cũng có thể được tải xuống từ https://sourceforge.net/projects/idris-dev.mirror/. Ứng dụng này được lưu trữ trên OnWorks để có thể chạy trực tuyến dễ dàng nhất từ một trong những Hệ điều hành miễn phí của chúng tôi.