ALLang

Another LISP Language is a purely functional programming language. Version 1.0.3.

Article

https://habr.com/ru/articles/703036/

Instructions

1. "define"
2. "if"
3. "include"

ALL interface function

// translate source file (input) into assembly listing file (output)
extern int all_compile(FILE *output, FILE *input);

For compile and run need install CVM (version 1.0.5)

1. CVM: github.com/number571/CVM;

Low-level instructions

ALLang used only main CVM instructions

Bytecode	Stack	Args	Instruction
0x0A	0	1	push
0x0B	1	0	pop
0x0C	1	0	inc
0x0D	1	0	dec
0x0E	3	0	jg
0x0F	3	0	je
0x1A	1	0	jmp
0x1B	2	0	stor
0x1C	1	0	load
0x1D	1	0	call
0x1E	0	0	hlt

Install CVM, compile .Files ALL, VMS and run .File VME

$ make install
$ make build
$ make run

Low-level functions

Library lib/vms

Function	Args	Result
_set	&x, y	*x <- y
_get	&x	*x
_inc	x	x + 1
_dec	x	x - 1
_eq	x, y	x = y
_gr	x, y	x > y

Input and Output

source (.all) -> assembly (.vms) -> byte code (.vme)

main.all

(include assembly
	lib/vms/init.vms)

(include source
	lib/all/lr.all
	lib/all/ret.all
	lib/all/dec.all
	lib/all/mul.all)

(define (main x)
	(fact x))

; f(x) = 1, if x < 1
; f(x) = x * f(x-1)
(define (fact x)
	(if (lr x 1) 
		(ret 1)
		(mul x (fact (dec x)))))

main.vms

...
labl main
	push -2
	load
	push -1
	load
	push fact
	call
	push -1
	push -4
	stor
	pop
	pop
	jmp
labl fact
	push -2
	load
	push -1
	load
	push 1
	push lr
	call
	pop
	push 0
	push _else_12
	je
labl _if_12
	push 1
	push ret
	call
	push _end_12
	jmp
labl _else_12
	push -1
	load
	push -2
	load
	push dec
	call
	push fact
	call
	push mul
	call
	pop
labl _end_12
	push -1
	push -4
	stor
	pop
	pop
	jmp

High-level functions

Library lib/all

Function	Args	Result
add	x, y	x + y
mul	x, y	x * y
sub	x, y	x - y
div	x, y	x / y
mod	x, y	x % y
and	x, y	x && y
or	x, y	x || y
xor	x, y	x ^^ y
not	x	!x
shl	x, y	x << y
shr	x, y	x >> y
ret	x	x
inc	x	x + 1
dec	x	x - 1
abs	x	|x|
eq	x, y	x = y
lr	x, y	x < y
gr	x, y	x > y
le	x, y	x >= y
ge	x, y	x <= y
neq	x, y	x != y
neg	x	-x