Có thể mã hóa các loại khác nhau trong phép tính lambda chưa được phân loại thông qua các hàm bậc cao hơn. Examples:
zero = λfx. x
one = λfx. fx
two = λfx. f(fx)
three = λfx. f(f(fx))
etc
tru
có thể truyền nil dưới dạng hằng số không khai báo tới tham số không định kiểu của một số hàm không? Tôi có các chức năng như thế này và tôi muốn chuyển một số hằng số cho tham số Data để thỏa mãn trì