Lambda Calculus Playground 1.1.0
Giấy phép: Miễn phí Kích cỡ tệp: 1.36 MB
Xếp hạng người dùng: 0.0/5 - 0 Phiếu
Hãy chờ... Liên kết tải xuống của bạn đang được xác minh cho nội dung độc hại.
Bạn sẽ có thể tải xuống trong 5 giây.
Bạn sẽ có thể tải xuống trong 5 giây.
Về Lambda Calculus Playground
Khám phá tính toán lambda chưa đánh máy, một trong những hệ thống cơ bản nhất trong máy tính. Bắt đầu với một bộ quy tắc đơn giản đáng kể, tất cả tính toán là có thể. Nhưng chỉ vì các quy tắc đơn giản không có nghĩa là phép tính lambda rất dễ dàng: bạn sẽ cần một số sự thông minh và sáng tạo để đến một điểm mà bạn có thể tính toán bất cứ điều gì. Ứng dụng này cho phép bạn trực quan tạo ra các biểu thức tính toán lambda (lambdas, biến, và các cuộc gọi chức năng) và đánh giá chúng. Hãy thử booleans, chữ số nhà thờ, hoặc tổ hợp Y. Hoạt động tuyệt vời trên máy tính bảng! Trên điện thoại, hoạt động tốt nhất ở chế độ ngang.