Tôi đã thấy các nhà xây dựng dữ liệu sau cho chữ số Giáo Hội data Nat = Zero | Succ Nat deriving Show
Nhưng đây là số unary. Làm cách nào để chúng tôi triển khai một hàm tạo dữ liệu cho các số nhị p
Tôi đã cố gắng tìm hiểu cách triển khai các kiểu dữ liệu được mã hóa của Giáo Hội trong Scala. Có vẻ như nó đòi hỏi các loại rank-n vì bạn sẽ cần một hàm const hạng nhất của loại forAll a. a -> (forAl
Tôi đang cố gắng để thực hiện các số nhà thờ trong Haskell, nhưng tôi đã gặp phải một vấn đề nhỏ. Haskell phàn nàn của một loại vô hạn với Xảy ra kiểm tra: không thể xây dựng các loại vô hạn: t = (t -
tôi phải thực hiện các chức năng bản đồ Haskell để làm việc với danh sách nhà thờ được định nghĩa như sau: type Churchlist t u = (t->u->u)->u->u
Trong phép tính lambda, danh sách được mã hóa như sau