爲什麼boost :: hana :: experimental :: types是一個實驗性功能？關於類型列表有什麼棘手的問題？

Question

我正在調查Hana，我很驚訝地看到它有一個type（「排序類型的容器，類似於沒有實際值的單元組」的概念），但是types（一系列type）是一個實驗性功能。

有誰知道爲什麼？與單一類型的容器相比，類型列表的複雜性如何？

Answer 1

答案基本上是什麼傑森說：

我想看到的類型爲hana::Sequence，但它不會通過的法律，因爲它不會舉辦任何類型的值（如與價值觀運行時狀態）。

「問題」是一個hana::types不能進行一個hana::Sequence，因爲hana::Sequence應該是能夠保存任意的東西，不僅類型。雖然這可能看起來不是什麼大不了的事情，但事實確實如此。例如，我們也無法滿足hana::Monad，因爲這需要hana::flatten，其簽名是M<M<T>> -> M<T>，對於任意hana::MonadM。由於hana::types只能存放類型，因此您無法整個事情沒有特殊的外殼。

無論解決方案是什麼，我想找到一個解決方案，不會破壞Hana的概念完整性，同時仍然允許編譯時更有效的類型列表。