trusted
46
edits
No edit summary |
mNo edit summary |
||
Line 10: | Line 10: | ||
:::The next sentence explains this to mean that both elements have the type "array". The property that differs is the so-called "element type", which is more of an implementation thing than part of the language. I don't know if there actually is a formal meaning of "type" in the nested world ([[Type]] isn't it), so this is an informal usage. And I also don't think it's really a crucial point to make, so if it's unclear then it could be removed. --[[User:Marshall|Marshall]] ([[User talk:Marshall|talk]]) 20:46, 3 September 2022 (UTC) | :::The next sentence explains this to mean that both elements have the type "array". The property that differs is the so-called "element type", which is more of an implementation thing than part of the language. I don't know if there actually is a formal meaning of "type" in the nested world ([[Type]] isn't it), so this is an informal usage. And I also don't think it's really a crucial point to make, so if it's unclear then it could be removed. --[[User:Marshall|Marshall]] ([[User talk:Marshall|talk]]) 20:46, 3 September 2022 (UTC) | ||
::::I see, in that case. The "homogenous" point is opaque to me. Explained through the lens of 0-cells made sense, but that clearly wasn't the intention. The last paragraph of the "Nested array theory" section explains a similar point effectively. --[[User:Awagga|Faun]] ([[User talk:Awagga|talk]]) 20:58, 3 September 2022 (UTC) |