How to check the type of a vector element

[skilesare]

Reflection in motoko has been an often requested feature. There are apparently issues with implementing it:

Improving Motoko's programmability

Exposing Candid to/from Blob serialization is not difficult and largely already supported by the compiler, but not exposed. It would be easy to add as a dedicated construct (similar to debug_show) but harder to surface as a library. I would be very reluctant to add reflection to the language as it breaks all sorts of properties of the language itself and introduces much overhead. It sounds like you are mostly interested in reflecting on candid interfaces, not all Motoko features. That seems li…

If you absolutely must have it, you may have some success with GitHub - edjCase/motoko_candid. You need to to_candid your object into a candid format and then parse through the resultant object.

Motoko Playground - DFINITY

This would be useful if you were trying to read the memory store of a canister that just dumped state to a blob array and that contained unknown types and you were trying to marshal them to known types.