aboutsummaryrefslogtreecommitdiff
path: root/problems.md
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2020-06-21 17:48:00 -0400
committerMarshall Lochbaum <mwlochbaum@gmail.com>2020-06-21 17:48:00 -0400
commit449a939963a0b555faaf15a193fb5a37a3dda8a6 (patch)
tree45b6626a371ccf353453e3d42fee5460b555284d /problems.md
parentb9bd843915659f58058c2fcc6fe0a938414dd033 (diff)
Brace-construct typing is actually context-free
Diffstat (limited to 'problems.md')
-rw-r--r--problems.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/problems.md b/problems.md
index 91ef48da..a646b200 100644
--- a/problems.md
+++ b/problems.md
@@ -97,7 +97,7 @@ It's an awkward inconsistency. Prefixes and Suffixes have to have a nested resul
A positive operand to Rank indicates the cell rank, so positive zero means to act on 0-cells. A negative operand indicates the frame length, so negative zero should act on the entire array. But it can't because it's equal to positive zero. Similar issue with Depth. Positive/negative is not really the right way to encode the frame/cell distinction, but it's convenient. Fortunately ∞ can be used in place of negative zero, but there can still be problems if the rank is computed.
### Must read the body to find explicit definition's type
-You have to scan for `𝕗𝔽𝕘𝔾` (and so does a compiler). A little inelegant, and requires a fair amount of preprocessing to be able to say the parser is still context-free.
+You have to scan for `𝕨𝕎𝕩𝕏𝕗𝔽𝕘𝔾` (and so does a compiler). A little inelegant, and requires preprocessing to be able to use a deterministic context-free parser.
### Can't take Prefixes or Suffixes on multiple axes
This is a natural array operation to do, and results in an array with a joinable structure, but as Prefixes and Suffixes are monadic there's no way to specify the number of axes to use.