⚠️ Warning: This is a draft ⚠️
This means it might contain formatting issues, incorrect code, conceptual problems, or other severe issues.
If you want to help to improve and eventually enable this page, please fork RosettaGit's repository and open a merge request on GitHub.
{{feature|Typing/Compatibility}} In this typing scheme, two types are the same when they have the same structure (e.g., a tuple of a 32-bit integer, a string and a double-precision float is the same as any other tuple of 32-bit integer, string and double); there is no individual identity for type instances.