trusted
46
edits
Talk:Array model: Difference between revisions
Jump to navigation
Jump to search
m
no edit summary
mNo edit summary |
mNo edit summary |
||
| (4 intermediate revisions by 2 users not shown) | |||
| Line 7: | Line 7: | ||
:As far as I can tell the definition of "thing inside a 0-cell" is used consistently, that is, I don't see anywhere on this page where "element" has to refer to a 0-cell. I think the idea of a 0-cell isn't needed precisely because it isn't fundamental, but there's probably some difference of interpretation here. --[[User:Marshall|Marshall]] ([[User talk:Marshall|talk]]) 01:18, 3 September 2022 (UTC) | :As far as I can tell the definition of "thing inside a 0-cell" is used consistently, that is, I don't see anywhere on this page where "element" has to refer to a 0-cell. I think the idea of a 0-cell isn't needed precisely because it isn't fundamental, but there's probably some difference of interpretation here. --[[User:Marshall|Marshall]] ([[User talk:Marshall|talk]]) 01:18, 3 September 2022 (UTC) | ||
::The inconsistency I see is in "arrays may be considered to be homogeneous because all of their elements have the same type", here elements must refer to 0-cells, as this statement cannot apply, for example, to the array 'abc' (1 2 3) The elements ("things inside a 0-cell") are not of the same type. --[[User:Awagga|Faun]] ([[User talk:Awagga|talk]]) | ::The inconsistency I see is in "arrays may be considered to be homogeneous because all of their elements have the same type", here elements must refer to 0-cells, as this statement cannot apply, for example, to the array 'abc' (1 2 3). The elements ("things inside a 0-cell") are not of the same type. --[[User:Awagga|Faun]] ([[User talk:Awagga|talk]]) 19:49, 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) | |||