Đây là ứng dụng Windows 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 bất kỳ trình giả lập trực tuyến OS OnWorks nào từ trang web này, nhưng trình giả lập trực tuyến Windows tốt hơn.
- 5. Từ Hệ điều hành Windows OnWorks 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 và cài đặt nó.
- 7. Tải xuống Wine từ kho phần mềm phân phối Linux của bạn. Sau khi cài đặt, bạn có thể nhấp đúp vào ứng dụng để chạy chúng với Wine. Bạn cũng có thể thử PlayOnLinux, một giao diện đẹp mắt trên Wine sẽ giúp bạn cài đặt các chương trình và trò chơi phổ biến của Windows.
Wine là một cách để chạy phần mềm Windows trên Linux, nhưng không cần Windows. Wine là một lớp tương thích Windows mã nguồn mở có thể chạy các chương trình Windows trực tiếp trên bất kỳ máy tính để bàn Linux nào. Về cơ bản, Wine đang cố gắng triển khai lại đủ Windows từ đầu để nó có thể chạy tất cả các ứng dụng Windows đó mà không thực sự cần đến Windows.
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.