VoidCC
Danh sách thẻ
caramel
7
Nhiệt
1
Trả lời
Có thể thực hiện `max` hiệu quả trên phép tính lambda chưa được phân loại không?
min thường được xác định trên giải tích lambda untyped như (sử dụng Caramel's syntax): sub a b = (b pred a) <= a b = (is_zero (sub b a)) min a b = (<= a b a b) Đây là khủng khiếp không hiệu quả. S
functional-programming
lambda-calculus
caramel
2015-10-06
Câu hỏi mới nhất
1.
Làm thế nào để định dạng nhãn đánh dấu trục x ở định dạng 2^x?
2.
Làm thế nào để prettify HTML để các thuộc tính thẻ sẽ vẫn còn trong một dòng duy nhất?
3.
Làm cách nào để kiểm tra xem trình duyệt có hỗ trợ WebAssembly không?
4.
Cách chuyển hướng trang khác sau khi đăng nhập thành công nodejs
5.
Loại đặc điểm cho khả năng khởi tạo tổng hợp trong thư viện chuẩn?
6.
Vue.js: "Lỗi Loại: Không thể thiết lập đạo cụ tài sản của # <Object> mà chỉ có một getter"
7.
Insert dữ liệu ngay vào mysql (Sequelize) sử dụng javascript (NodeJS) dựa trên nút radio giá trị
8.
CSS - Kết hợp bóng văn bản với đường viền văn bản?
9.
Tôi có cần phải vứt bỏ() Nhà xuất bản được tạo bằng LiveDataReactiveStreams
10.
Select2 Dropdown Nhiều lựa chọn và bỏ chọn