rootmos/silly-k
silly-k is an experimental language inspired by K and APL
Image
Languages & frameworks
0
830
rootmos/silly-k repository overview
silly-k
silly-k is an experimental language inspired by K
and APL,
with an accompanying post.
The silly prefix is meant to indicate that this is project is nothing more than an experiment to see how these languages would perform when described in lambda calculus terms.
The compiler is written for the nanopass framework using the following structure:
- the
K-like,APLinspired, syntax is translated into something like simply typed lambda calculus which is used to resolve the overloaded symbols from K, - after that, the types are thrown away and is compiled to Malfunction or to Scheme (which is used mainly for quick tests and the REPL).
Usage
Easiest way to play around with it is to run the Docker image:
rlwrap docker run --rm -it rootmos/silly-k
which starts the REPL (under rlwrap).
Examples
Here's some examples of the syntax, taken directly from the tests:
| Code | Stdin | Stdout |
|---|---|---|
]7 | 7 | |
]1 2 3 | 1 2 3 | |
]1=2 | 0 | |
]2=2 | 1 | |
]2<3 | 1 | |
]2<2 | 0 | |
]3<2 | 0 | |
]1<1 2 3 | 0 1 1 | |
]1 2 3>2 | 0 0 1 | |
]2>3 | 0 | |
]2>2 | 0 | |
]3>2 | 1 | |
]{w>1}'1 2 3 | 0 1 1 | |
]3>1 2 3 | 1 1 0 | |
]1 2 3>2 | 0 0 1 | |
]1=2 | 0 | |
]2=2 | 1 | |
]{w=2}'1 2 3 | 0 1 0 | |
]1 2 3=3 | 0 0 1 | |
]1=1 2 3 | 1 0 0 | |
]~1=2 | 1 | |
]~2=2 | 0 | |
]~0 | 1 | |
]~7 | 0 | |
]~2=1 2 3 | 1 0 1 | |
](1=2)|2=3 | 0 | |
](1=2)|2=2 | 1 | |
](2=2)|2=3 | 1 | |
](2=2)|3=3 | 1 | |
](1=2)&2=3 | 0 | |
](1=2)&2=2 | 0 | |
](2=2)&2=3 | 0 | |
](2=2)&3=3 | 1 | |
]2&3 | 2 | |
]2|3 | 3 | |
]1+2 | 3 | |
]1+2 3 | 3 4 | |
]1 2+3 4 | 4 6 | |
]1 2+3 | 4 5 | |
](1=1)+(2=2) | 2 | |
]1+(2=2) | 2 | |
]1+2=1 2 3 | 1 2 1 | |
](2=1 2 3)+1 | 1 2 1 | |
]2-3 | -1 | |
]1-(-2) | 3 | |
]1 2-3 4 | -2 -2 | |
]-7 | -7 | |
]-(-2) | 2 | |
]1-2 3 | -1 -2 | |
]1 2-3 | -2 -1 | |
]2*3 | 6 | |
]1 2*3 | 3 6 | |
]4*2 3 | 8 12 | |
]1 2*3 4 | 3 8 | |
]!1 | 0 | |
]!4 | 0 1 2 3 | |
]*1 2 3 | 1 | |
]*0=0 1 | 1 | |
]*0=1 0 | 0 | |
](*0=0 1;7;8) | 7 | |
](*0=1 0;7;8) | 8 | |
]#1 2 3 | 3 | |
]#1 2 3 4 | 4 | |
]4#1 2 | 1 2 1 2 | |
]3#1 | 1 1 1 | |
]1 2 3@1 | 2 | |
]((2=1 2 3)@1;7;8) | 7 | |
]((2=1 2 3)@2;7;8) | 8 | |
]1 2 3@0 2 | 1 3 | |
]&1 2 3 | 0 1 1 2 2 2 | |
]7 8@&2 3 | 7 7 8 8 8 | |
]{w+1}'1 2 3 | 2 3 4 | |
]{1-w}'3 4 5 | -2 -3 -4 | |
]2{a+w}'3 4 5 | 5 6 7 | |
]2{w-a}'3 4 5 | 1 2 3 | |
]2+'3 4 5 | 5 6 7 | |
]2-'3 4 5 | -1 -2 -3 | |
]{w@1}'{+w}'1 2 3 | 2 3 4 | |
]{w@1}'{-w}'1 2 3 | 0 -1 -2 | |
]+/1 2 3 | 6 | |
]-/1 2 3 | 2 | |
]{w-a}/1 2 3 | 0 | |
]+/2<!5 | 2 | |
]&/0<1 2 3 | 1 | |
]&/0<1 0 3 | 0 | |
]1: | 7 | 7 |
]0: | 1 2 3 | 1 2 3 |
](1:)+1 | 7 | 8 |
]1+0: | 1 2 3 | 2 3 4 |
](0:)+1: | 2\n1 2 3 | 3 4 5 |
](1=1;2;3) | 2 | |
](1=2;1 2;3 4) | 3 4 | |
]7{w=1;w;a}1 | 1 | |
]7{w=1;w;a}8 | 7 | |
]{w=1;w+1;w=2;w+2;w+3}1 | 2 | |
]{w=1;w+1;w=2;w+2;w+3}2 | 4 | |
]{w=1;w+1;w=2;w+2;w+3}3 | 6 | |
]{w=1;w+1;w=2;w+2;w+3}4 | 7 | |
](1=1;2;3) | 2 | |
]{w=0;0;w+_f(w-1)}6 | 21 | |
]{w=1;1;w=2;1;(_f(w-2))+_f(w-1)}1: | 7 | 13 |
]x+x:7 | 14 | |
](x:1)+x:2 | 3 | |
]x+(x:1)+x:2 | 4 | |
]x+x{x:1+a-w}x:2 | 3 |
Tag summary
Content type
Image
Digest
sha256:0c9869ab9…
Size
258.6 MB
Last updated
over 1 year ago
Requires Docker Desktop 4.37.1 or later.