Any sufficiently complicated program contains an ad-hoc, informally-specified, bug-ridden, slow implementation of half of some Lisp dialect.
Greenspun’s tenth rule
Otus Lisp (Ol in short) is a purely* functional dialect of Lisp.
It implements an extended subset of R5RS (currently near at and Ol migrating to R7RS) Scheme including, but not limited to, some of the SRFI. It’s small, embeddable and crossplatform; can run in own sandbox (for systems with sandboxing support); provides a portable, high level way for calling the code written in another languages. You can use Otus Lisp on GNU/Linux, Windows, Unix, Android and many other operation systems with various (i.e. x86, x86_64, arm, aarch64, mips, ppc) architectures.
Release 1.2 available to download. Happy LISPing!
Preparing version 2.0 which moving to r7rs with changes in ffi and embed.
Already tested platforms
- x86: 80486, pentium, pentium 2, pentium 3, athlon, core 2 quad, core i3, core i5, core i7.
- x86_64: core 2 quad, core i3, core i5, core i7.
- aarch64: cortex-a53, cortex-a57.
- arm: armv5tejl, armv7l, arm920t, snapdragon 801.
- nearly planned, but not yet tested: arm926t, arm1136, cortex-a7, cortex-a9, cortex-a15, cortex-m3, cortex-m4.
- powerpc: Mac G4
- mips32: algor (P-5064)
- fully supported, but not yet tested: m68k, microblaze, or1k, ppc, ppc64, sh4, spark, spark64, ztensa.
Tested operation systems/devices
- GNU/Linux: CentOS, Debian, Fedora, RHEL, SLE, ScientificLinux, Uninvention, openSUSE, Ubuntu.
- Windows: Windows 95, Windows 98, Windows ME, Windows NT, Windows 2000, Windows XP, Windows Vista, Windows 7, Windows 8, Windows 10.
- Unix: OpenBSD, FreeBSD, NetBSD.
- Android: all versions up to Nougat.
- webOS: 2.0.
- Odroid: C1+.
- Minoca OS.
This is incomplete list of Ol features:
- small and fast virtual machine (only 42kb* in binary code)
- high efficient (thanks for pure language functionality) garbage collector
- cross-platform (Linux, Windows, Unix, different BSD flavors, Android, etc.)
- cross-architecture (i586, amd64, arm, mips, etc.)
- 32- and 64-bit platforms support
- text scripts can be compiled into binary form; can execute this binaries directly by virtual machine
- dynamic calls of “native” functions (from system libraries or other languages); can be invoked from this functions using transparent callback mechanism
- can work in own sandbox
- full range of interesting and useful features from function world:
- tail recursion
- function as first class objects
- limited mutators as small pleasant addition from imperative world
- and, at least, it’s real Lisp!
You can immediately try Otus Lisp in the provided terminal on the left of this page without downloading and installing any binaries. For the more information please refer to the “Learn” paragraph at the bottom of this page.
You can immediately try Otus Lisp (ol) in the provided terminal on the left of this page. For example, type
(+ 1 2 3 4 5 6 7)
After pressing “Enter” button you will receive 28.
Or you can try more interesting example
(fold * 1 (iota 99 1 1))
which is another way of
(let factorial ((n 99)) (if (= n 0) 1 (* n (factorial (- n 1)))))
This will produce factorial of 99 for you
> (let factorial ((n 99)) (if (= n 0) 1 (* n (factorial (- n 1))))) 933262154439441526816992388562667004 907159682643816214685929638952175999 932299156089414639761565182862536979 208272237582511852109168640000000000 000000000000 >
- In fact, Otus Lisp is slightly extended towards traditional imperative programming, namely, limited mutators have been introduced. It helps to organize non-repetitive random number generator and to speed-up some imperative-oriented operations.
- Real virtual machine size depends on parget platform and enabled features. 42kb is typical size for Linux without including debug information, ffi and experimental inexact library, but including couple of internal safe checks, sockets, native library calls and sandbox. For other operation systems size can be as bigger as lesser (i.e. 79kb for win64 x86_64, 30kb for ubuntu64 armhf).
- Sandboxing works only under OS with SECCOMP (secure computing mode) - it’s GNU/Linux (and different Linux disctributives, Ubuntu, Debian, Suse, etc.). Supporting sandboxing under *BSD is in progress.
Copyright (c) 2015 - 2018 Yuriy Chumak