C++/Boost MPL: mã cấu trúc tương tự như vậy Haskell cho phép, ở đâu,

Question

Khi lập trình meta C++ hoạt động: có cách nào để làm điều gì đó có thể so sánh được với bất kỳ ngôn ngữ lập trình chức năng nào (ví dụ: Haskell's) hay không?

Tôi đang sử dụng Boost :: MPL nhưng muốn có thêm cấu trúc cho các kết nối dài hơn. Chia tách thành nhiều chức năng là tốt nhưng tôi thích cho phép/ở đâu trong một số trường hợp.

Answer 1

Bản thân MPL không hỗ trợ các điều khoản let nhưng một số thư viện được xây dựng trên đầu trang. Một ví dụ là metamonad. Như tên cho thấy nó cũng hỗ trợ một số khái niệm chức năng cao cấp khác (monads). Một hạn chế lớn là, metamonad không phải là một phần chính thức của bản phân phối Boost.

Đối với MPL, việc chia nhỏ mọi thứ thành các hàm và sử dụng nhiều không gian tên để nhóm chúng và nhập biểu tượng quan trọng vào không gian tên cấp cao nhất có lẽ là lựa chọn tốt nhất của bạn.

Answer 2

Boost.Phoenix có cấu trúc được gọi là let cho phép bạn khai báo biến cục bộ trong ngữ cảnh hàm thứ tự cao hơn. Tôi nghĩ rằng đây là cấp cao như nó được, mặc dù. Nó vẫn là thời gian chạy, không biên dịch.

Từ trang liên kết:

let(_x = 1, _y = ", World") 
[ 
    // _x here is an int: 1 

    let(_x = "Hello") // hides the outer _x 
    [ 
     cout << _x << _y // prints "Hello, World" 
    ] 
]