TinyAPL - GitLite

KO | EN

gitlite — search

#react #typescript #llm #golang #rust #deep-learning #nodejs #awesome #cli #kubernetes #vue #pytorch #ios #open-source

TinyAPL

(★ 105)

TinyAPL, a tiny APL dialect and interpreter in Haskell

File Explorer

Download Latest Version (.zip)

- - deploy.yml
- - CLI.hs
  - Files.hs
- build.sh
- Main.hs
- wasm_init.c
- wasm_init_stub.c
- - APL387.ttf
  - banner.png
  - logo.svg
  - script.js
  - style.css
  - TinyAPL386.ttf
- - Banners.tsx
  - CombinatorDiagram.tsx
  - Data.tsx
  - FullPage.tsx
  - GlyphPage.tsx
  - Glyphs.tsx
  - Header.tsx
  - HighlightCode.tsx
  - Index.tsx
  - InfoPage.tsx
  - PrimitiveLink.tsx
  - PrimitivePage.tsx
  - Primitives.tsx
  - QuadPage.tsx
  - RunInterpreter.tsx
- - index.mdx
- .gitignore
- generate_images.ts
- images.ts
- interpreters.ts
- main.tsx
- markdown.ts
- pages.ts
- precompile.tsx
- types.d.ts
- utils.ts
- cat.tinyapl
- sum.tinyapl
- - JSBridge.hs
  - Main.hs
- .gitignore
- build-frontend-only.sh
- build.sh
- copy.sh
- index.html
- index.ts
- kbd.svg
- package-lock.json
- package.json
- quads.ts
- tinyapl.ts
- tsconfig.json
- wav.ts
- - ArrayFunctionOperator.hs
  - Complex.hs
  - CoreQuads.hs
  - Error.hs
  - Functions.hs
  - Glyphs.hs
  - Highlighter.hs
  - Interpreter.hs
  - Interpreter.hs-boot
  - Parser.hs
  - Primitives.hs
  - Random.hs
  - StandardLibrary.hs
  - Util.hs
- - derivative.tinyapl
- bitwise.tinyapl
- math.tinyapl
- prototype.tinyapl
- sbcs.tinyapl
- - ArraySpec.hs
  - ParserSpec.hs
  - PrimitivesSpec.hs
- Main.hs
.gitattributes
.gitignore
cabal.project
CHANGELOG.md
db.sqlite
deno.jsonc
deno.lock
LICENSE
logo.png
logo.svg
README.md
tinyapl.cabal

# Installation Guide

1. Get the code

git clone https://github.com/RubenVerg/TinyAPL

Downloads the entire project code from GitHub to your computer.

cd TinyAPL

Moves into the project folder you just downloaded.

2. Node.js

Easy Recommended

Prerequisites

Git Needed to download the project code from GitHub.
Node.js Node.js must be installed to use npm. The LTS version is recommended.

cd js

This project's files live in a subfolder, so move into it first.

npm install

Downloads and installs the libraries listed in package.json.

npm start

Starts the development/run server.

✅ After running the command, open the address shown in the terminal (usually something like http://localhost:3000) in your browser.

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# TinyAPL

<center><img src="https://raw.githubusercontent.com/RubenVerg/tinyapl/main/logo.png" width="100" alt="TinyAPL logo"></center>

TinyAPL (read like *tiny apple*) is a tiny APL dialect and interpreter in Haskell. It is being implemented as a series of articles available [here](https://blog.rubenverg.com/?tag=tinyapl).

Featured on the [Array Cast](https://www.arraycast.com/episodes/episode88-tinyapl)!

* Part 1: [Introduction & Arrays](https://blog.rubenverg.com/tinyapl_1_arrays)
* Part 2: [Functions & Operators](https://blog.rubenverg.com/tinyapl_2_functions_operators)
* Part 3: [More Primitives](https://blog.rubenverg.com/tinyapl_3_more_primitives)
* Part 4: [Finally, Parsing!](https://blog.rubenverg.com/tinyapl_4_parsing)
* Part 5: [Array Notation and Reductions](https://blog.rubenverg.com/tinyapl_5_array_notation_reductions)
* Part 6: [Tests, Docs, Each](https://blog.rubenverg.com/tinyapl_6_tests_docs_each)
* Part 7: [Quads, Key, Index](https://blog.rubenverg.com/tinyapl_7_quads_key_index)
* Part 8: [All About Rank, and a Web Interface](https://blog.rubenverg.com/tinyapl_8_rank_web)
* Part 9: [More Tacit!](https://blog.rubenverg.com/tinyapl_9_more_tacit)
* Part 10: [Wraps, Structs, a Standard Library](https://blog.rubenverg.com/tinyapl_10_wraps_structs_stdlib)
* Part 11: [Bases and Searching](https://blog.rubenverg.com/tinyapl_11_bases_searching)
* Part 12: [At Depth and Ordering](https://blog.rubenverg.com/tinyapl_12_at_depth_ordering)
* Part 13: [The Biggest Mistake, The Biggest Change](https://blog.rubenverg.com/tinyapl_13_biggest_mistake_biggest_change)
* Part 14: [(Wrap Your Head Around) Dictionaries](https://blog.rubenverg.com/tinyapl_14_dictionaries)
* Part 15: [Extra Arguments](https://blog.rubenverg.com/tinyapl_15_extra_arguments)

Documentation is available [here](https://tinyapl.rubenverg.com) and you can run the latest interpreter [here](https://tinyapl.rubenverg.com/run/latest)

## Features

Marked features are supported, unmarked features are planned

* Types
	* [x] Arrays
		* [x] complex numbers
		* [x] unicode characters
		* [x] boxes (nested arrays)
	* [x] Functions
	* [x] Monadic Operators ("Adverbs")
	* [x] Dyadic Operators ("Conjunctions")
* Syntax
	* [x] number literals
		* [x] decimal point `.`
		* [x] negative sign `¯`
		* [x] exponent notation `⏨`
		* [x] complex notation `ᴊ`
		* [ ] complex phase notation? `∠`
		* [x] infinities `∞`
	* [x] character literals `'`
	* [x] string literals `"`
		* [x] escapes with `⍘`
			* [x] `⍘⍘` -> `⍘`
			* [x] `⍘"` -> `"`
			* [x] `⍘n` -> newline
			* [x] `⍘r` -> carriage return
			* [x] `⍘t` -> tab
			* [ ] `⍘{22be}` -> unicode
	* [x] names
		* [x] array names (`abc`)
		* [x] function names (`Abc`)
		* [x] monadic operator names (`_Abc`)
		* [x] dyadic operator names (`_Abc_`)
	* [x] assignment `←`
	* [x] dfns/dops
		* [x] multiple statements `⋄`
		* [x] guards `:`
		* [x] early return `■`
		* [x] dfns `{...}`, dadvs `_{...}`, dconjs `_{...}_`
		* [x] refer to arguments and operands: `⍺` left argument, `⍵` right argument, `⍺⍺` left array operand, `⍶⍶` left function operand, `⍵⍵` right array operand, `⍹⍹` right function operand
		* [x] recursion: `∇` recurse function, `_∇` recurse adverb, `_∇_` recurse conjunction
	* [x] comments `⍝`
		* [x] inline comments? `⟃`/`⟄`
	* [x] console I/O with `⎕` and `⍞`
	* [x] array notation `⟨`/`⋄`/`⟩` and `[`/`⋄`/`]`
	* [x] trains and modifier trains \[`_`\]`⦅`/`⋄`/`⦆`\[`_`\]
	* [ ] multiple statements in an expression `(`/`⋄`/`)`
	* [x] ternary expressions `⍰`/`⍠`
* primitives
	* nouns
		* [x] `⍬` empty vector
		* [x] `∻` empty dictionary
		* [ ] `⦻` null
		* [ ] `∅` nan
	* number functions
		* [x] `+` conjugate
		* [x] `+` add
		* [x] `-` negate
		* [x] `-` subtract
		* [x] `×` direction
		* [x] `×` multiply
		* [x] `÷` reciprocal
		* [x] `÷` divide
			* `0÷0` is `1`
			* `x÷0` is an error
		* [x] `*` exponential
		* [x] `*` power
		* [x] `⍟` ln
		* [x] `⍟` log
			* `1⍟1` is `1`
			* `1⍟y` is an error
			* `x⍟0` is an error
		* [x] `√` square root
		* [x] `√` root
		* [x] `⌊` floor
		* [x] `⌊` minimum
		* [x] `⌈` ceiling
		* [x] `⌈` maximum
		* [x] `⸠` round
		* [x] `⸠` round to nearest
		* [x] `⌹` matrix inverse
		* [x] `⌹` matrix divide
		* [x] `!` factorial/gamma
		* [x] `!` binomial
		* [x] `|` magnitude
		* [x] `|` remainder
		* [x] `∨` greatest common divisor
		* [x] `∧` least common multiple
		* [x] `⊕` cartesian (`x⊕y` is $x + iy$)
		* [x] `⊕` pure imaginary (`⊕y` is $iy$)
		* [x] `⊗` polar (`x⊗y` is $xe^{iy}$)
		* [x] `⊗` unit polar (`⊗y` is $e^{iy}$)
		* [x] `∡` phase
		* [x] `∡` atan2
		* [x] `ℜ` real part
		* [x] `ℑ` imaginary part
		* [x] `⧺` increment
		* [x] `ⵧ` decrement
		* [x] `ⵧ` span
		* [x] `⊥` decode
		* [x] `⊥` base 2 decode
		* [x] `⊤` encode
		* [x] `⊤` base 2 encode
	* boolean functions
		* [x] `=` equals
		* [x] `≠` not equals
		* [x] `<` less
		* [x] `≤` less or equal
		* [x] `≥` greater or equal
		* [x] `>` greater
		* [x] `≡` identical
		* [x] `≢` not identical
		* [x] `⊲` precedes (TAO less)
		* [x] `⊴` precedes or identical (TAO less or equal)
		* [x] `⊵` succeeds or identical (TAO greater or equal)
		* [x] `⊳` succeeds (TAO greater)
		* [x] `∧` and
		* [x] `∨` or
		* [x] `⍲` nand
		* [x] `⍱` nor
		* [x] `~` not
	* character functions
		* [x] `⌊` lowercase
		* [x] `⌈` uppercase
		* [x] `|` case fold
		* [x] `×` case
	* set functions
		* [x] `∪` unique
		* [x] `∪` union
		* [x] `∩` intersection
		* [x] `~` difference
		* [x] `§` symmetric difference
		* [x] `≠` nub sieve
		* [ ] multisets?
	* property functions
		* [x] `⍳` index of
		* [x] `⍸` interval index
		* [x] `∊` element of
		* [x] `⍷` find
		* [x] `⋷` mask
		* [x] `⋵` histogram (inverse of where)
		* [x] `⋵` count
		* [x] `≡` depth
		* [x] `⍴` shape
		* [x] `≢` tally
		* [x] `ϼ` rank
	* array creation functions
		* [x] `⍳` index generator
		* [x] `?` roll
		* [x] `?` deal
		* [x] `…` range
		* [x] `…` one range
		* [x] `⍮` pair
		* [x] `⍮` singleton
	* dictionary functions
		* [x] `‥` from keys and values
		* [x] `߹` key-value pair
		* [x] `‥` from inverted table
		* [x] `߹` from pairs
		* [x] `⍉` inverted table
		* [x] `↓` key-value pairs
		* [x] `⊃` keys
		* [x] `⊇` values
	* manipulation functions
		* [x] `↑` take
		* [x] `↓` drop
		* [x] `↑` mix
		* [x] `↓` major cells (split is `⊂⍤1`)
		* [x] `⊂` enclose
		* [ ] `⊆` nest
		* [x] `⊂` partitioned enclose
		* [x] `⊆` partition
		* [x] `⫇` group
		* [x] `⍋` grade up
		* [x] `⍒` grade down
		* [x] `⍋` sort by up
		* [x] `⍒` sort by down
		* [x] `⊴` sort up
		* [x] `⊵` sort down
		* [x] `⍸` where
		* [x] `∊` enlist
		* [x] `⌿` replicate
		* [x] `,` ravel
		* [x] `⍪` join
		* [x] `⍪` catenate
		* [x] `⍴` reshape
		* [x] `ϼ` rerank (generalized version of promote/demote: introduce leading length-1 axes or combine leading axes)
		* [x] `⊖` reverse
		* [x] `⊖` rotate
		* [x] `⍉` transpose
		* [x] `⍉` reorder axes
		* [x] `∧` promote (introduce leading axis)
		* [x] `∨` demote (combine two leading axes)
		* [x] `,` laminate
	* lookup functions
		* [x] `⊃` first
		* [x] `⊇` last
		* [x] `>` first cell
		* [x] `≥` last cell
		* [x] `⊇` from
		* [x] `⌷` index
		* [ ] `⊃` pick
	* misc functions
		* [x] `⊢`/`⊣` same
		* [x] `⊢` right
		* [x] `⊣` left
		* [x] `⍎` execute
		* [x] `⍕` format
		* [x] `↗` raise
		* [x] `⇂` minimal (TAO minimum)
		* [x] `↾` maximal (TAO maximum)
	* operators
		* [x] `/` reduce (left-to-right)
		* [x] `/` fold (seeded reduce)
		* [x] `\` reduce back (right-to-left)
		* [x] `\` fold back
		* [x] `↟` on prefixes
		* [x] `↡` on suffixes
		* [x] `↡` on infixes
		* [ ] `↟` on outfixes
		* [x] `¨` each
		* [x] `ᐵ` each-left
		* [x] `ᑈ` each-right
		* [x] `ᑣ` boxed (`⊂⍤`)
		* [x] `ᑒ` on contents (`⍥⊃`)
		* [x] `⍣` repeat
		* [x] `⍣` until
		* [x] `∙` inner product
		* [ ] `∙` alternant?
		* [x] `⊞` table
		* [x] `⍤` at rank
		* [x] `◡` on cells (`⍤¯1`)
		* [x] `◠` on scalars (`⍤0`)
		* [x] `ᓗ` cells-left (`⍤¯1‿∞`)
		* [x] `ᓚ` cells-right (`⍤∞‿¯1`)
		* [x] `⍥` at depth
		* [x] `⌓` on simple scalars (`⍥0`)
		* [ ] `@` at
		* [x] `⌸` key
		* [ ] `⌸` key with vocabulary
		* [ ] `⍁` diagonals?
		* [ ] `⌺` stencil
		* [x] `⁖` valences (call left if monad and right if dyad)
		* [x] `⍢` strucutral under
		* [x] `∵` bitwise
		* [ ] `⎊` catch
	* combinators
		* [x] `⍨` constant
		* [x] `⍨` commute
		* [x] `⍨` duplicate
		* [x] `∘` bind argument
		* [x] `∘` after
		* [x] `⍛` default argument (uses operand if called monadically, and argument if called dyadically)
		* [x] `⍛` before (not a hook!)
		* [x] `⊸` left hook
		* [x] `⟜` right hook
		* [x] `⍤` atop
		* [x] `⍥` over
		* [x] `⸚` mirror (`_{(⍵ ⍹⍹ ⍺)⍶⍶(⍺ ⍹⍹ ⍵)}_`)
		* [x] `«`/`»` fork
		* [x] `⇾` left fork (`_{(⍺ ⍶⍶ ⍵) ⍹⍹ ⍵}_`)
		* [x] `⇽` right fork (`_{⍺ ⍶⍶ (⍺ ⍹⍹ ⍵)}_`)
		* [x] `⫤` ident (adverb returning the operand)
		* [x] `⫣` lev (conjunction returning the left operand)
		* [x] `⊩` dex (conjunction returning the right operand)
* system names (quad names)
	* [x] support for system names in parsing and interpreting
	* system nilads
		* [x] `⎕u` (constant) the uppercase alphabet
		* [x] `⎕l` (constant) the lowercase alphabet
		* [x] `⎕d` (constant) the digits
		* [x] `⎕ts` current timestamp (year, month, day, hour, minute, second, millisecond)
		* [x] `⎕unix` current Unix timestamp
		* [x] `⎕io` (constant) `1`
		* [x] `⎕ct` (constant) `1⏨¯14`
		* [x] `⎕seed` (set only) seed the random number generator
		* [x] `⎕math` math functions
		* [x] `⎕systemInfo` system information
	* system functions
		* [ ] `⎕File` read/write files
		* [ ] `⎕DateTime` (or `⎕DT` maybe?) convert between time formats
		* [ ] `⎕HTTP` http requests
		* [ ] `⎕CSV` convert from/to CSV
		* [ ] `⎕JSON` convert from/to JSON
		* [x] `⎕Unicode` convert between unicode representations
		* [x] `⎕Exists` does a variable exist?
		* [x] `⎕Repr` convert an array to a representation that can be read with Execute
		* [ ] `⎕Assert` assertions
		* [x] `⎕Delay` sleep for n seconds
		* [ ] `⎕Import` import a module
		* [x] `⎕Type` type of a scalar
	* system adverbs
		* [ ] `⎕_BinFile` read/write binary files, with format chosen from the operand
	* system conjunctions