From e623a2fcafdf5fd6c8d31570175284805c4f34d9 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Sat, 4 Sep 2021 12:36:08 -0400 Subject: Add problem about spacing around named modifiers --- commentary/problems.md | 3 +++ docs/commentary/problems.html | 2 ++ 2 files changed, 5 insertions(+) diff --git a/commentary/problems.md b/commentary/problems.md index 39f04378..50f0408d 100644 --- a/commentary/problems.md +++ b/commentary/problems.md @@ -98,6 +98,9 @@ So it seems a bit strange to rely on it for core language features like `/⁼`. ### Group doesn't include trailing empty groups A length can now be specified either in an extra element in any rank-1 component of `𝕨`, or by overtaking, since the result's fill element is an empty group. However, it still seems like it would be pretty easy to end up with a length error when a program using Group encounters unexpected data. It's a fundamental safety-convenience tradeoff, though, because specifying a length has to take more code in the general case. +### Named modifiers use way more space than primitive ones +`F _m_ G` versus `F∘G`: the syntax is the same but these don't feel the same at all. This is the worst case, as with primitive operands, `+_m_÷` isn't as far from `+∘÷`. It means a style-conscious programmer has to adjust the way they write code depending on whether things are named, and makes named modifiers feel less integrated into the language. A mix of named modifiers with primitive modifiers or trains can also look inconsistent. + ### Prefixes/Suffixes add depth and Windows doesn't It's an awkward inconsistency. Prefixes and Suffixes have to have a nested result, but Windows doesn't have to be flat; it's just that making it nested ignores the fact that it does have an array structure. diff --git a/docs/commentary/problems.html b/docs/commentary/problems.html index c6da5787..ff2d0b83 100644 --- a/docs/commentary/problems.html +++ b/docs/commentary/problems.html @@ -81,6 +81,8 @@

So it seems a bit strange to rely on it for core language features like /⁼. On the other hand, this is a good fit for ⋆⁼ since we are taking an arbitrary branch of a complex function that has many of them. I'm pretty sure it's impossible to solve the issue as stated but it might be possible to move to less hazardous constructs. Structural Under is a start.

Group doesn't include trailing empty groups

A length can now be specified either in an extra element in any rank-1 component of 𝕨, or by overtaking, since the result's fill element is an empty group. However, it still seems like it would be pretty easy to end up with a length error when a program using Group encounters unexpected data. It's a fundamental safety-convenience tradeoff, though, because specifying a length has to take more code in the general case.

+

Named modifiers use way more space than primitive ones

+

F _m_ G versus F∘G: the syntax is the same but these don't feel the same at all. This is the worst case, as with primitive operands, +_m_÷ isn't as far from +∘÷. It means a style-conscious programmer has to adjust the way they write code depending on whether things are named, and makes named modifiers feel less integrated into the language. A mix of named modifiers with primitive modifiers or trains can also look inconsistent.

Prefixes/Suffixes add depth and Windows doesn't

It's an awkward inconsistency. Prefixes and Suffixes have to have a nested result, but Windows doesn't have to be flat; it's just that making it nested ignores the fact that it does have an array structure.

Deshape and Reshape can't ignore trailing axes

-- cgit v1.2.3