Hana 是一个元编程库，提供异构容器和算法，用于类型和值的计算.