Contrat acceptant un type de type

Si vous le devez,vouspouvez utiliser octets et pack / Déballez : http://tezos.gitlab.IO/mainnet/whitedoc/michelson.html#operations-on-bytes

pour 'tout stockage',vouspouvez utiliser paire (big_mapbytes octets) ... ,avec vospropres conventionspour lestouches (peut-êtrepalléeparpaire/liste/etc.expressions avec certainesbalises de chaîne).

Lorsque vousfaites ces choses,vous abandonnez quelques avantages du système detype.

Iln'y a actuellement aucun supportni conventionpour les données «marquées».Lorsque vous utilisez octets commetype "n'importe quel",le consommateur (qui va décompressez ) devrait déjà connaître letype de Michelson attenduet sa sémantiqueparticulière: les octetsn'encosent qu'un Michelineexpression,sanstype (et aucune annotation).

If you must, you can use bytes and PACK/UNPACK: http://tezos.gitlab.io/mainnet/whitedoc/michelson.html#operations-on-bytes

For 'any storage', you can use pair (big_map bytes bytes) ..., with your own conventions for the keys (perhaps packed pair/list/etc expressions with some string tags).

When doing these things you abandon some benefits of the type system.

There is currently no support or convention for 'tagged' data. When using bytes as an 'any' type, the consumer (who will UNPACK) should somehow already know the expected Michelson type and its particular semantics: the bytes only encode a Micheline expression, with no type (and no annotations).

Si vous souhaitez simplementexpédier à unensemble deméthodes spécifiées,lestypes SES sont connus,ce que vous recherchezest letype «alternatif» ou letype de somme,où la valeurest (gauche (...)),c'est-à-dire un chemin des constructeursgaucheet droit autypefinal de laméthode.

Sinon,si vous souhaitez une version complètementgénérique,permettant d'ajouter denouvellesméthodeset types à l'avenir,vouspouvez utiliser le décompressionpourextraire l'argument d'untype d'octetsgénériques.De cettefaçon,toutes lesméthodes sontméthodes d'octetset vouspouvezexpédier à l'aide d'un autre argument (un hachage duprototype deméthodeparexemple).Bien que cela résout votreproblème,cela signifie qu'iln'y aplus de contrôle statique aux limites de votre contrat: votre codepeut contenir uneerreur,celane sera détecté que lorsque le déback échouera,peut-être rendre votre contrat complètementinutile.

If you just want to dispatch to a specified set of methods, who ses types are known, what you are looking for is the « alternative » type or sum type, where the value is (Left (Right (... )), ie a path of Left and Right constructors to the final type of the method.

Otherwise, if you want a completely generic version, allowing addition of new methods and types in the future, you can use UNPACK to extract the argument from a generic Bytes type. This way, all the methods are Bytes method, and you can dispatch using another argument (a hash of the method prototype for example). Though it solves your problem, it means that there is no static control any more at the boundaries of your contract : your code might contain an error, that will only be detected when the UNPACK will fail, maybe making your contract completely useless.