Đây là ứng dụng Windows có tên PLT (Lý thuyết Ngôn ngữ Lập trình) với phiên bản mới nhất có thể tải xuống dưới dạng pltsourcecode.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 PLT (Lý thuyết ngôn ngữ lập trình) 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
Ad
PLT (Lý thuyết ngôn ngữ lập trình)
MÔ TẢ
Lộ trình được tuyển chọn kỹ lưỡng cho Lý thuyết Ngôn ngữ Lập trình, tập hợp các bài báo, sách và tài liệu quan trọng thành một cấu trúc dễ điều hướng để tự học. Nó bao gồm các chủ đề cơ bản như phép tính lambda, hệ thống kiểu, trình thông dịch, trình biên dịch và ngữ nghĩa hình thức, đồng thời cũng chỉ ra các lĩnh vực đương đại như hệ thống hiệu ứng, kiểu phụ thuộc và xác minh. Mỗi phần nhóm tài liệu theo chủ đề để người học có thể xây dựng sự hiểu biết từng bước thay vì đọc lướt một cách ngẫu nhiên. Danh sách này nhấn mạnh các nguồn chính và các bài giảng chất lượng cao, khuyến khích người đọc tham gia vào các phương pháp xử lý nghiêm ngặt thay vì các bản tóm tắt hời hợt. Nó được thiết kế để vừa là hướng dẫn bắt đầu cho người mới bắt đầu vừa là chỉ mục tham khảo cho các học viên có kinh nghiệm, lấp đầy những khoảng trống. Bằng cách coi lý thuyết Ngôn ngữ Lập trình là một chương trình giảng dạy dễ tiếp cận, tiến bộ, kho lưu trữ này giúp giảm bớt rào cản cho việc học tập nghiêm túc mà không làm loãng môn học.
Tính năng
- Tài liệu được tổ chức xung quanh các chủ đề cốt lõi về lý thuyết PL / loại (mô-đun, tham số ngầm định, hiệu ứng, v.v.)
- Các đoạn mã nhúng (ví dụ: SML / OCaml / kiểu ML) gắn liền với các khái niệm lý thuyết
- Các con trỏ thư mục và tài liệu tham khảo đến các bài báo đã xuất bản (ví dụ thư mục về hiệu ứng của Yallop)
- Cấu trúc siêu liên kết để điều hướng các chủ đề, tham chiếu chéo các chủ đề liên quan
- Trang web tự lưu trữ / chế độ xem tài liệu
- Khuyến khích sự đóng góp và mở rộng chủ đề của người khác
Ngôn ngữ lập trình
JavaScript
Danh Mục
Đây là một ứng dụng cũng có thể được tải xuống từ https://sourceforge.net/projects/plt-prog-languages.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.
