1
Làm thế nào để thực hiện một nhánh và ràng buộc trong một ngôn ngữ lập trình chức năng?
Tôi đang cố gắng viết một nhánh và tìm kiếm ràng buộc trên tập hợp tất cả các hàm f: D -> R, trong đó kích thước miền nhỏ (| D | ~ 20) và phạm vi lớn hơn nhiều (| R | ~ 2 ^ 20 ). Ban đầu, …