From 15908ba604c2a27b84a30d7ce91ceb7a8c1064aa Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Fri, 17 Jul 2020 21:25:22 -0400 Subject: Mirror repository tree in docs/ and add html spec documents --- docs/doc/fromDyalog.html | 205 +++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 205 insertions(+) create mode 100644 docs/doc/fromDyalog.html (limited to 'docs/doc/fromDyalog.html') diff --git a/docs/doc/fromDyalog.html b/docs/doc/fromDyalog.html new file mode 100644 index 00000000..57196984 --- /dev/null +++ b/docs/doc/fromDyalog.html @@ -0,0 +1,205 @@ + +

BQN–Dyalog APL dictionary

+

A few tables to help users of Dyalog APL (or similar) get started quickly on BQN. Here we assume ⎕ML is 1 for Dyalog.

+

For reading

+

Here are some closest equivalents in Dyalog APL for the BQN functions that don't use the same glyphs as APL. Correspondence can be approximate, and ⌽ is just used as a decorator to mean "reverse some things".

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
BQN⋆√∧∨¬≠<>≢⥊∾≍
Monad**∘(÷2)[⍋][⍒]~≢⊂↑⍴,⊃,⌿↑,⍥⊂
Dyad**∘÷⍨∧∨1+-≠<>≢⍴⍪↑,⍥⊂
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
BQN↑↓↕/⍋⍒⊏⊑⊐⊒∊⍷⊔
Monad,⍀⌽,⌽⍀⌽⍳⍸⍋⍒⊣⌿⊃…≠∪⌸
Dyad↑↓,⌿⌿⍸⌽⍸⌽⌷⊃⍳…∊⍷⌸ or ⊆
+

Modifiers and combinators are a little harder. Many have equivalents in some cases, but Dyalog sometimes chooses different functionality based on whether the operand is an array. In BQN an array is always treated as a constant function.

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
BQN¨⌜´⎉⍟˜∘○⟜
Dyalog¨∘.⌿⍤⍣⍨⍤⍥∘
+

In BQN ⎉ is Rank and ∘ is Atop. Dyalog's Atop (⍤) and Over (⍥) were added in version 18.0.

+

For writing

+

The tables below give approximate implementations of Dyalog primitives for the ones that aren't the same. First- and last-axis pairs are also mostly omitted. BQN just has the first-axis form, and you can get the last-axis form with ⎉1.

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Functions
Glyph Monadic Dyadic
* ⋆
⍟ ⋆⁼
! Implement it yourself
○ Some complex exponential stuff, maybe
~ ¬ ¬∘∊/⊣
? Library?
⍲ ¬∘∧
⍱ ¬∘∨
⍴ ≢ ⥊
, ⥊ ∾⎉1
⍪ ⥊˘ ∾
↑ > ↑
↓ <˘ ↑
⊂ < +`⊸⊔
⊆ <⍟(0<≡) ⊔
∊ {0=≡𝕩:⥊𝕩⋄∾⥊∇¨𝕩} ∊
⊃ ⊑
⍀ /⁼
∩ ∊/⊣
∪ ⍷ ⊣∾∊˜¬⊸/⊢
⍳ ↕ ⊐
⍸ / ⍋
⍋ ⍋ Give up
⍒ ⍒ Give up
≢ ≠ ≢
⍎ To be decided
⍕
⊥ {+⟜(𝕨⊸×)´⌽𝕩}
⊤ {𝕨|1↓⌊∘÷`⌾⌽𝕨∾<𝕩}
⌹ +´∘×⎉1‿∞⁼ I guess
⌷ N/A ⊏
+ + + + + + + + + + + + + + + + + + + + + + + +
Operators
Syntax Monadic Dyadic
⌿ ´ ↕
⍀ ↑ or `
¨ ¨
⍨ ˜
⍣ ⍟
f.g f´∘g⍟1‿∞
∘.f f⌜
A∘g A⊸g
f∘B f⟜B
f∘g f⟜g
f⍤B f⎉B
f⍤g f∘g
f⍥g f○g
f@v f⌾(v⊸⊏)
f⍠B Uh
f⌸ ⍷⊸⊐⊔↕∘≠⍷⊸⊐⊸⊔
f⌺B ↕
A⌶ •
f& Nothing yet
+ + -- cgit v1.2.3