aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2021-02-28 21:59:14 -0500
committerMarshall Lochbaum <mwlochbaum@gmail.com>2021-02-28 21:59:14 -0500
commit3f2943af2a60afca1235f6b41fde8ea8abf1ae72 (patch)
treec4cbedeecb36b323166c02059b242b83415c5870 /doc
parent2ba9b33125c303368e08a29cc460c9f4d818441d (diff)
Split up cases of J / since ˝ only matches the monadic one
Diffstat (limited to 'doc')
-rw-r--r--doc/fromJ.md15
1 files changed, 9 insertions, 6 deletions
diff --git a/doc/fromJ.md b/doc/fromJ.md
index e549533a..99d75821 100644
--- a/doc/fromJ.md
+++ b/doc/fromJ.md
@@ -78,7 +78,7 @@ Most of BQN's combinators have J equivalents. The J equivalent `"_` for `˙` ass
|:---:|:----:|:---:|:----:|:----:|:-----:|:---:|:----:|:----:|
| J | `"_` | `~` | `@:` | `&:` | `&.:` | `:` | `@.` | `::` |
-For other modifiers the correspondence is looser. Here `⌜` shows the dyadic case and `´` the monadic case only.
+For other modifiers the correspondence is looser. Here `⌜` shows the dyadic case and `´` `˝` the monadic case only.
| BQN | `¨` | `⌜` | `´` | `˝` | `` ` `` | `˘` | `⎉` | `⚇` | `⍟` | `⁼` |
|:---:|:-----:|:------:|:------:|:---:|:-------:|:-----:|:---:|:----:|:----:|:------:|
@@ -101,9 +101,9 @@ Some other primitives are essentially the same in J and BQN, but with different
|:---:|:---:|:---:|:---:|:----:|:----:|:----:|:----:|:---:|:---:|:-----:|:-----:|
| BQN | `×` | `÷` | `⋆` | `⋆⁼` | `√` | `⌊` | `⌈` | `⊣` | `⊢` | `⌽` | `⍉` |
-| J | `~` | `@:` | `&:` | `&.:` | `:` | `/` | `"` | `L:` | `^:` |
-|:---:|:---:|:----:|:----:|:-----:|:---:|:---:|:---:|:----:|:----:|
-| BQN | `˜` | `∘` | `○` | `⌾` | `⊘` | `˝` | `⎉` | `⚇` | `⍟` |
+| J | `~` | `@:` | `&:` | `&.:` | `:` | `"` | `L:` | `^:` |
+|:---:|:---:|:----:|:----:|:-----:|:---:|:---:|:----:|:----:|
+| BQN | `˜` | `∘` | `○` | `⌾` | `⊘` | `⎉` | `⚇` | `⍟` |
The tables below give approximate implementations of J primitives. J has a whole lot of complicated primitives that no one uses (some of which are officially deprecated), so not everything is translated here. Operations that only apply to complex numbers are omitted because no BQN implementation currently supports them.
@@ -150,10 +150,13 @@ Some J modifier expressions are translated below. BQN doesn't keep track of the
| J | BQN
|----------------|-----
| `&.>` | `¨`
+| `F/ y` | `F˝ y`
+| `x F&.>/ y` | `x F⌜ y`
+| `x F/ y` | `x F⎉r‿∞ y` where `r` is `F`'s left rank
| ``F`G`H@.C`` | `C◶⟨F,G,H⟩`
| `x y} z` | `x⌾(y⊸⊏) z`
-| `x F/ .G y` | `x F˝∘G⎉1‿∞ y`
-| `F:.G` | `{𝕊: 𝕨F𝕩; 𝕊⁼: 𝕨G𝕩}`
+| `x F/ . G y` | `x F˝∘G⎉1‿∞ y`
+| `F :. G` | `{𝕊: 𝕨F𝕩; 𝕊⁼: 𝕨G𝕩}`
| `<;._1` | ``((1-˜¬×+`)=⟜⊏⊘⊣)⊔⊢``
| `x {.!.f y` | `y » x⥊f`
| `x \|.!.f y` | `x ⥊⟜f⊸« y`, or `(-x) ⥊⟜f⊸» y` if `𝕩<0`