Pourquoi boost :: hana :: experimental :: types est-il une fonctionnalité expérimentale? ce qui est difficile à propos d'une liste de types?

Question

Je regardais dans Hana et j'ai été surpris de voir qu'il a un concept d'un type (un "conteneur de types" de sorte, quelque chose comme un tuple un élément sans valeur réelle), mais types (une séquence de type) est une caractéristique expérimentale.

Est-ce que quelqu'un sait pourquoi? Qu'est-ce qui est compliqué dans une liste de types par opposition à un conteneur d'un seul type?

Answer 1

La réponse est essentiellement ce que Jason a dit:

Je voudrais voir les types comme hana::Sequence mais il ne passerait pas les lois qu'il ne tiendra aucune sorte de valeur (comme les valeurs avec état d'exécution).

Le « problème » est qu'un hana::types ne pouvait pas être fait une hana::Sequence, parce qu'un hana::Sequence est censé être en mesure de tenir les choses arbitraires, non seulement les types. Bien que cela puisse ne pas sembler un gros problème, il l'est réellement. Par exemple, nous ne serions pas non plus en mesure de satisfaire hana::Monad, puisque cela nécessite hana::flatten, dont la signature est M<M<T>> -> M<T> pour un hana::MonadM arbitraire. Puisque hana::types ne peut contenir que des types, vous ne pouvez pas avoir par exemple. hana::types<hana::types<int, char>, hana::types<float, long>> sans spécial-boîtier le tout. Quelle que soit la solution, j'aimerais trouver une solution qui ne brise pas l'intégrité conceptuelle de Hana, tout en permettant une liste de types plus efficace au moment de la compilation.