Câu hỏi được gắn thẻ «free-theorem»

2
Luật cho loại [[a]] -> ([a], [a])
Tôi đang cố gắng làm câu hỏi này từ bài tập về nhà của tôi: Cho tùy ý foo :: [[a]] -> ([a], [a]), viết ra một luật mà hàm foothỏa mãn, liên quan đến mapdanh sách và cặp. Một số bối cảnh: Tôi là sinh viên năm thứ nhất …
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.