C++/Boost MPL: kod struktury podobnie jak Haskella, gdzie,

Question

Ponieważ metaprogramowanie w C++ jest funkcjonalne: czy jest jakiś sposób na zrobienie czegoś porównywalnego z jakimkolwiek funkcjonalnym językiem programowania (na przykład Haskell's), pozwól lub gdzie się skonstruujesz?

Używam Boost :: MPL, ale chciałbym mieć więcej struktury dla dłuższych metafunkcji. Dzielenie na kilka funkcji jest w porządku, ale wolę niech/gdzie w niektórych przypadkach.

Answer 1

Sam MPL nie obsługuje klauzul let, ale niektóre z bibliotek zbudowanych na nim działają. Jednym z przykładów jest metamonad. Jak sama nazwa wskazuje, obsługuje również inne koncepcje funkcjonalne wyższego poziomu (monady). Dużą wadą jest to, że metamonad nie jest oficjalną częścią dystrybucji Boost.

Jeśli chodzi o obejście MPL, podział rzeczy na funkcje i użycie większej ilości przestrzeni nazw w celu ich pogrupowania, a następnie zaimportowanie ważnego symbolu do przestrzeni nazw najwyższego poziomu to prawdopodobnie najlepszy wybór.

Answer 2

Boost.Phoenix ma konstrukcję o nazwie let, która pozwala zadeklarować zmienne lokalne w kontekście funkcji wyższego rzędu. Myślę, że jest to tak wysoki poziom, jak to tylko możliwe. To wciąż środowisko wykonawcze, a nie kompilacja.

Od połączonej strony:

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

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