Структурный код C++/Boost MPL :аналогичен коду Haskell let, где,

Поскольку метапрограммирование C++ является функциональным :, есть ли способ сделать что-то, сравнимое с любым функциональным языком программирования (, например. Haskell )пусть или где построят?

Я использую Boost ::MPL, но хотел бы иметь больше структуры для более длинных метафункций. Разделение на несколько функций — это нормально, но в некоторых случаях я бы предпочел let/where.