diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-09-04 12:36:08 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-09-04 12:36:08 -0400 |
| commit | e623a2fcafdf5fd6c8d31570175284805c4f34d9 (patch) | |
| tree | 05d70096f4cd141eb1089a6ac05bfb0cc1b60a84 /commentary | |
| parent | 25e59673601a4cf7e24f32b838dc2d7c5129eb05 (diff) | |
Add problem about spacing around named modifiers
Diffstat (limited to 'commentary')
| -rw-r--r-- | commentary/problems.md | 3 |
1 files changed, 3 insertions, 0 deletions
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. |
