Đây là ứng dụng Linux có tên core.typed, phiên bản mới nhất có thể tải xuống dưới dạng core.typed-pom-0.8.0-alpha2sourcecode.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 core.typed 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
Ad
lõi.gõ
MÔ TẢ
core.typed là một hệ thống kiểu tĩnh tùy chọn cho Clojure, cung cấp các tính năng kiểu dần dần như khai báo kiểu, kiểm tra và suy luận. Nó hỗ trợ các mô-đun để kiểm tra thời gian phát triển và kiểu thời gian chạy, mặc dù lưu ý rằng nó đã bị loại bỏ kể từ Clojure 1.11 để chuyển sang Typed Clojure.
Tính năng
- Kiểm tra kiểu tĩnh tùy chọn bằng cách sử dụng chú thích kiểu trong Clojure
- Cung cấp các mô-đun riêng biệt cho phát triển (kiểm tra) và thời gian chạy (runtime.jvm)
- Cung cấp các macro và hàm để chú thích và kiểm tra không gian tên (check-ns, v.v.)
- Hỗ trợ cả JVM Clojure và đã lên kế hoạch—nhưng chưa phát hành—các mục tiêu JS (analyzer.js, checker.js)
- Tạo điều kiện cho việc gõ dần dần các môi trường giống JavaScript trong Clojure
- Khuyến khích tính an toàn kiểu cao hơn trong các cơ sở mã động, mặc dù việc áp dụng còn hạn chế
Danh Mục
Đây là một ứng dụng cũng có thể được tải xuống từ https://sourceforge.net/projects/core-typed.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.
