Sau khi đọc this article on writing polyvariadic functions in Haskell, tôi đã cố gắng viết một số của riêng mình. Lúc đầu, tôi nghĩ tôi sẽ cố gắng khái quát hóa nó - vì vậy tôi có thể có một hàm trả v
Có thể có chức năng nhận cuộc gọi hàm nước ngoài trong đó một số đối số của hàm nước ngoài là CString và trả về một hàm có chấp nhận String không? Dưới đây là một ví dụ về những gì tôi đang tìm kiếm:
Hôm nay, tôi đã chơi với các lớp kiểu để tự động xây dựng các hàm của một biến vị ngữ của bất kỳ tổ hợp nào làm đầu vào bất kỳ kết hợp nào của bất kỳ kiểu nào. Ví dụ conjunction (>2) even
sẽ quay tr