https://github.com/abrudz/dyalog_vision
A realistic future development for the core language of Dyalog APL
https://github.com/abrudz/dyalog_vision
dyalog dyalog-apl language-extensions polyfills
Last synced: 6 months ago
JSON representation
A realistic future development for the core language of Dyalog APL
- Host: GitHub
- URL: https://github.com/abrudz/dyalog_vision
- Owner: abrudz
- License: mit
- Created: 2022-02-03T06:30:19.000Z (over 3 years ago)
- Default Branch: main
- Last Pushed: 2024-04-15T08:45:32.000Z (over 1 year ago)
- Last Synced: 2024-05-02T02:17:51.689Z (over 1 year ago)
- Topics: dyalog, dyalog-apl, language-extensions, polyfills
- Language: APL
- Homepage:
- Size: 135 KB
- Stars: 12
- Watchers: 4
- Forks: 2
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# [Dyalog APL](https://www.dyalog.com/) Vision
This is [my](https://apl.wiki/Adám_Brudzewsky) vision for a realistic development of core Dyalog APL, including extending the domains of existing primitives/quad-names, and adding a few new ones. Requires and extends Dyalog APL version 18.2. If Dyalog APL moves forward in ways that are incompatible with what is found here, the vision will be updated accordingly. This project should therefore not be relied on as stable.
### How to use
You can easily play with these almost like you use normal Dyalog APL in a session:
#### Initialisation
From within Dyalog APL 18.2 or higher, enter `]get path/dyalog_vision` or to import directly from GitHub `]get https://github.com/abrudz/dyalog_vision`
#### Running code
You have three options:
1. Use the extensions directly with the glyph names, e.g. `4 1 dyalog_vision.RightShoeUnderbar ⎕A`.
2. Use `dyalog_vision.∆FIX` as a drop in for `⎕FIX`.
3. Use `dyalog_vision.⍙REPL #` to start a (limited) session where the glyphs work. Enter `→` to exit.
### Content
* All scalar functions support [leading axis agreement](https://aplwiki.com/wiki/Leading_axis_agreement).
* All set functions support arguments of any rank.
* `⎕C` and monadic `⎕UCS` are scalar functions.
* In addition, the following is included:
| Name | Symbol | Type* | Extension | Examples |
| ------------------------------------------- |:---------:|:-----:| ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | -------------------------------------------------------------------------------------------------------------- |
| [CircleDiaeresis](CircleDiaeresis.aplo) | `⍥` | 🔵 | ✅ Depth when right operand is array. This is similar to Rank (`⍤`) but applies at nesting level. | `f⍥0` applies `f` like a scalar function and `f⍥1` applies to flat subarrays. `f⍤1⍥1` applies to flat vectors. |
| [DelDiaeresis](DelDiaeresis.aplo) | `⍢` | 🔺 | Under (a.k.a. Dual). Like `f⍥g` but conceptually inverts the right operand when done. If `g` is a selection function, it puts the data back where it came from | `-⍢(2 3∘⊃)` negates the 2nd element's 3rd element. |
| [DelTilde](DelTilde.aplo) | `⍫` | 🔺 | Obverse; `⍺⍺` but with inverse `⍵⍵` | `×⍢(FFT⍫iFFT)` |
| [DollarSign](DollarSign.aplf) | `$` | 🔺 | string enhancement ${1}:`1⊃⍺`, ${expr}:`⍎expr`, `\n`:JSON | `'Dyer' 'Bob'$'Hi, ${2} ${1}!`
`$'Hi, ${first} ${last}!`
`$'2×3=${2×3}'` |
| [DownArrow](DownArrow.aplf) | `↓` | 🔵 | dyad allows long `⍺` | `0 1↓'abc'` gives `1 2⍴'bc'` |
| [DownTack](DownTack.aplf) | `⊤` | ⚠ | `⊥⍣¯1` when left argument is scalar | `2⊤123` gives `1 1 1 1 0 1 1` |
| [EpsilonUnderbar](EpsilonUnderbar.aplf) | `⍷` | 🔶 | monad: Type (like `∊` with `⎕ML←0`) | `⍷1'a'#` gives `0' '#`' |
| [Equal](Equal.aplf) | `=` | 🔶 | monad: Rank (`≢⍴`) | `=10 20 30` gives `1`' |
| [GreaterOrEqual](GreaterOrEqual.aplf) | `≥` | 🔵 | monad: sort descending | `≥3 1 4 1 5` gives `5 4 3 1 1` |
| [GreaterThan](GreaterThan.aplf) | `>` | 🔵 | monad: Join | `>2 2⍴⍪¨1 2 3 4` gives `2 2⍴1 2 3 4` |
| [JotUnderbar](JotUnderbar.aplo) | `⍛` | 🔺 | ✅ reverse composition `X f⍛g Y` is `(f X) g Y` and default argument | `⌽⍛≡` checks for palindromes.
`a-⍛↑b` takes the last `a` from `b`. |
| [LeftShoe](LeftShoe.aplf) | `⊂` | 🔵 | dyad allows partitioning along multiple leading axes | `(⊂1 1)⊂matrix` separates out the first row and column. |
| [LeftShoeUnderbar](LeftShoeUnderbar.aplf) | `⊆` | 🔵 | dyad allows partitioning along multiple leading axes | `(⊂1 0 1 1)⊆4 4⍴⎕A` splits off the first row and column, and removes the second. |
| [LessOrEqual](LessOrEqual.aplf) | `≤` | 🔵 | monad: sort ascending | `≤3 1 4 1 5` gives `1 1 3 4 5` |
| [LessThan](LessOrEqual.aplf) | `<` | 🔵 | monad: Major Cells | `<2 2 2⍴⎕A` gives `(2 2⍴'ABCD')(2 2⍴'EFGH')` |
| [QuadEqual](QuadEqual.aplo) | `⌸` | 🔵 | allow array operand to be vocabulary (then uses `{⊂⍵}` as internal operand) | `≢¨'ACGT'⌸'ATT-ACA'` gives `3 1 0 2` |
| [QuadDiamond](QuadDiamond.aplo) | `⌺` | 🔶 | auto-extended `⍵⍵`, allows small `⍵`, optional edge spec(s) ([0:Zero; 1:Repl; 2:Rev; 3:Mirror; 4:Wrap]([http://web.science.mq.edu.au/~len/preprint/hamey-dicta2015-functional-border.pdf#page=3](https://web.archive.org/web/20220709033454/http://web.science.mq.edu.au/~len/preprint/hamey-dicta2015-functional-border.pdf#page=3)); -:Twist) with masks as operand's `⍺` | Life on a cylinder: `0 4 Life⌺3 3` |
| [QuestionMark](QuestionMark.aplf) | `?` | 🔵 | dyadic allows `⍺` to be any shape (not just vector shape) and `⍵` is shape of array to select indices from | `3 5?4 13` deals 3 hands of 5 cards from deck of 4 suits from A to K |
| [Rho](Rho.aplf) | `⍴` | 🔵 | dyad: negatives reverse axis, `0.5` auto-size rounding down, `1.5` auto-size rounding up, `2.5` auto-size with padding | Reshape into two columns: `0.5 2⍴data` |
| [RightShoeUnderbar](RightShoeUnderbar.aplf) | `⊇` | 🔺 | monad: last (`⊃⌽,⍵`)
✅ dyad: select (`⌷⍨∘⊃⍨⍤0 99`) | `3 1 2⊇'abc'` gives `'cab'` |
| [Root](Root.dyalog) | `√` | 🔺 | (Square) Root | `√25` gives `5`
`3√27 gives 3` |
| [UpArrow](UpArrow.aplf) | `↑` | 🔵 | allows long `⍺` | `2 3↑4 5` gives `2 3⍴4 5 0 0 0 0` |
| [Vel](Vel.aplf) | `∨` | 🔶 | monad: demote (`,[⍳2]`) | `∨2 3 4⍴⎕A` gives `6 4⍴⎕A` |
| [Wedge](Wedge.aplf) | `∧` | 🔶 | monad: promote (`⍵⍴⍨1,⍴⍵`) | `'ABC'⍪⍥∧'DEF'` gives `2 3⍴⎕A` |
| [∆EM](∆EM.aplf) | `⎕EM` | 🔵 | Self-inverse `⎕EM` | `⎕EM'RANK ERROR' 'WS FULL'` gives `4 1` |
| [∆NG](∆NG.aplf) | `⎕NG` | 🔺 | Name Get | `ref⎕NG'Bea' 'Abe'` |
| [∆NS](∆NS.aplf) | `⎕NS` | 🔵 | Accepts ref left arg. Name Set: The list of values to copy into the new/target namespace can have 2-element name-value vectors, setting the name to the given value | `ref←⎕NS('Abe' 10)('Bea' 12)`
`ref⎕NS⊂'Carl' 8` |
| [∆NV](∆NV.aplf) | `⎕NV` | 🔺 | Names and Values | `ref⎕NV -2 9 |
| [∆SIGNAL](∆signal.aplf) | `⎕SIGNAL` | 🔵 | Allows `⎕DMX`-style ref argument | `⎕SIGNAL ⎕DMX` |
\* 🔺 new feature 🔶 added valence 🔵 expanded domain ⚠ breaking change ✅ scheduled for 20.0