Đây là ứng dụng Linux có tên Fantasy Land Specification có bản phát hành mới nhất có thể được tải xuống dưới dạng Version5.0.1.zip. Nó có thể được chạy trực tuyến trong nhà cung cấp dịch vụ lưu trữ miễn phí OnWorks cho máy trạm.
Tải xuống và chạy trực tuyến ứng dụng có tên Fantasy Land Specification này 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
Đặc điểm kỹ thuật của Fantasy Land
MÔ TẢ
Dự án này chỉ định khả năng tương tác của các cấu trúc đại số phổ biến như Setoid, Ord, Semigroupoid, Category, Semigroup, Monoid, Group, Filterable, Functor, Contravariant, Apply, Application, v.v. Đại số là một tập hợp các giá trị, một tập hợp các toán tử mà nó là đóng cửa theo và một số luật lệ nó phải tuân theo. Mỗi đại số Fantasy Land là một đặc điểm kỹ thuật riêng biệt. Một đại số có thể có các phụ thuộc vào các đại số khác phải được thực hiện. "Giá trị" là bất kỳ giá trị JavaScript nào, bao gồm bất kỳ giá trị JavaScript nào có cấu trúc được xác định bên dưới. "Tương đương" là một định nghĩa thích hợp về sự tương đương đối với giá trị đã cho. Định nghĩa này phải đảm bảo rằng hai giá trị có thể được hoán đổi một cách an toàn trong một chương trình tôn trọng tính trừu tượng. Ví dụ: hai danh sách tương đương nếu chúng tương đương nhau ở tất cả các chỉ mục, hai đối tượng JavaScript cũ thuần túy, được hiểu là từ điển, tương đương khi chúng tương đương với tất cả các khóa, hai lời hứa tương đương khi chúng mang lại các giá trị tương đương, v.v.
Tính năng
- Mỗi đại số Fantasy Land là một đặc điểm kỹ thuật riêng biệt
- Một số hành vi nhất định được định nghĩa từ quan điểm của một thành viên của một loại
- Các hành vi khác không cần thành viên
- Một số đại số nhất định yêu cầu một loại để cung cấp đại diện cấp giá trị
- Nếu một kiểu dữ liệu cung cấp một phương thức có thể được dẫn xuất, thì hành vi của nó phải tương đương với hành vi của phương thức dẫn xuất
- Bạn nên đưa ra một ngoại lệ đối với hành vi không xác định
Ngôn ngữ lập trình
JavaScript
Danh Mục
Đây là một ứng dụng cũng có thể được tìm nạp từ https://sourceforge.net/projects/fosystem-land-spec.mirror/. Nó đã được lưu trữ trên OnWorks để có thể chạy trực tuyến một cách dễ dàng nhất từ một trong những Hệ thống hoạt động miễn phí của chúng tôi.