It seems that Dataset has rich structures in them, for example:
ds = Dataset[{<|"a" -> 1, "b" -> "x", "c" -> {1}|>}];
TreeForm[dataset]
Could you explain about this structure? In particular:
- What is the ID for?
- What are the varies
TypeSystemfor?

TypeSystembyDatasetare discussed in (87479) and (89080). – WReach May 16 '16 at 21:45