9
Ước mơ lập trình khai báo [đóng]
Tại sao giấc mơ lập trình khai báo không được thực hiện? Một số trở ngại cụ thể nhận được trên đường là gì? Cho một ví dụ đơn giản tại sao tôi không thể nói sort(A) is defined by sort(A) in perm(A) && asc(sort(A)) và tự động lấy một …