Eulerlisp Language Documentation

Keywords: lisp
Created: 2019-08-22 Thu 11:55

Cons & Lists

(cons a b) creates a pair (cons-cell) (a . b) .

  • (fst c) can be used to extract the first element,
  • (rst c) for the second element.
  • (set-fst! c v) sets the first element of pair c to v
  • (set-rst! c v) sets the second element of pair c to v

Combinations of fst and rst are available for up to four levels of nesting, e.g. (rrfrst c) can be used instead of (rst (rst (fst (rst c)))) .

A list is made up of nested cons-cells where the rst of the last one is nil .

  • (list a b c) creates a list (cons a (cons b (cons c nil)))
  • (length l) returns the length of list l
  • (reverse l)
  • (range from to) generates a list of ascending numbers (from from+1 ... to)
  • (any? pred lst) returns #t if (pred e) is true for any element e of lst
  • (all? pred lst)
  • (none? pred lst)
  • TODO (count pred lst)
  • TODO (map f lst)
  • TODO (flatmap f lst)
  • TODO (select f lst)
  • TODO (reject f lst)
  • TODO (transpose lst)
  • TODO (reduce f acc lst)
  • TODO (reduce-sum f lst) (if the list is empty, 0 is returned)
  • TODO (reduce-product f lst) (if the list is empty, 1 is returned)
  • TODO (reduce-min f lst) (if the list is empty, nil is returned)
  • TODO (reduce-max f lst) (if the list is empty, nil is returned)
  • TODO (append lst1 lst2)
  • TODO (nth n lst)
  • TODO (last n)
  • TODO (delete e lst)
  • TODO (delete-nth n lst)
  • TODO (max-by)
  • TODO (min-by)
  • TODO (take n lst)
  • TODO (zip lsts)
  • TODO (windows n lst)
  • TODO (chunks n lst)
  • TODO (flatten lst)
  • TODO (each f lst)
  • TODO (each-with-index f lst) Parameters to f : current element, index
  • TODO (concat lst)
  • TODO (enumerate lst) Turns lst into a list of pairs (index . element)

Vectors

  • TODO vector-init!
  • TODO vector-swap!
  • TODO vector-add!
  • TODO vector-sub!

Operations on Ranges

  • TODO range-each
  • TODO reverse-range-each
  • TODO range-count
  • TODO range-max
  • TODO range-min
  • TODO range-first
  • TODO sum
  • TODO product

Definitions & Assignment

Variable Assignment

(def name var)

Constant Assignment

(defconst name constant)

The difference between variables and constants is that the latter can't change during runtime and are constant-folded if possible.

TODO Example for constant folding

TODO Benchmark comparing variables & constants

Function Definitions

(defn name args body...)

defn is implemented as a macro that expand to

(def name (fn args body...))

let and let*

(let ((var1 val1)
      (var2 val2) ...)
  body...)

let evaluates body in an environment where varN is bound to valN . All valN are evaluated in the same environment as the parent let .

(let* ((var1 val1)
       (var2 val2) ...)
  body...)

is equivalent to writing

(let ((var1 val1))
  (let ((var2 val2))
    body...))

Each valN is evaluated in an environment where the previous varN are already bound.

Flow Control, Conditionals

If, Unless, When

(if condition consequence)
(if condition consequence alternative)
(unless condition consequence)
(unless condition consequence alternative)

is equivalent to

(if (not condition) consequence alternative)
(when condition consequence...)

is equivalent to

(if condition (begin consequence...))

If no alternative is provided, nil is returned if the condition is false.

Cond

The branches of a conditional can have multiple forms. Below each form is used once for demonstrative purposes. Of course multiple branches can have the same form.

(cond
  (test1 result1...)
  (test2 => result2)
  (test3)
  (else result4))

If test1 is true, the expressions result1... are evaluated and the value of the last one is returned.

If test2 is true, (result2 test2) is returned.

If test3 is true, the value it evaluates to is returned.

Otherwise result4 is returned.

If no else branch is defined and all tests evaluate to false, nil is returned.

Case

(case key
  (key1 result1)
  (key2 result2)
  (else result3))

If key is not an atom, it is evaluated first. Then it is compared to the keys of each branch using equal? and the result of the first matching branch is returned.

Threading Macro

The threading macro “folds” its argument by inserting the them as the last argument of the following expression.

(~> 1 (+ 5) square println)

Is the same as writing

(println (square (+ 5 1)))

Functions

Function Composition

comp implements function composition. (comp h g f) returns a function (fn (x) (h (g (f x)))) .

TODO Math Stdlib

TODO String Stdlib

TODO Bitvec Stdlib

TODO Stream Stdlib

TODO Queue Stdlib

TODO Euler (extended math) Stdlib

TODO Fn Stdlib


Last export: 2020-06-30 Tue 13:44
This document is also available as plain text and pdf.

If you have an idea how this page could be improved or a comment send me a mail.