aboutsummaryrefslogtreecommitdiff
path: root/commentary/problems.md
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2021-09-04 12:36:08 -0400
committerMarshall Lochbaum <mwlochbaum@gmail.com>2021-09-04 12:36:08 -0400
commite623a2fcafdf5fd6c8d31570175284805c4f34d9 (patch)
tree05d70096f4cd141eb1089a6ac05bfb0cc1b60a84 /commentary/problems.md
parent25e59673601a4cf7e24f32b838dc2d7c5129eb05 (diff)
Add problem about spacing around named modifiers
Diffstat (limited to 'commentary/problems.md')
-rw-r--r--commentary/problems.md3
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.