I've just finished reading the Nim manual, and I have a few questions. This is the first one.
The manual says: * "Objects that have no ancestor are implicitly final and thus have no hidden type field. One can use the inheritable pragma to introduce new object roots apart from system.RootObj." * "pure pragma An object type can be marked with the pure pragma so that its type field which is used for runtime type identification is omitted." I thought simply NOT using "object of ..." meant you were "pure". Objects that have no ancestor are automatically final, and it wouldn't make sense, AFAIK, to use methods unless they could be overridden, so what would be the purpose of having a "type field" in that case, by default?
