From Esolang
Jump to navigation Jump to search
This article is a stub, which means that it is not detailed enough and needs to be expanded. Please help us by adding some more information.

Created by User:MagiMaster in 2006 (and conceived much earlier). Its main goal is to use lazy evaluation and have functions as first-class objects. Also, it tries to do everything as a function definition.

Currently this specification is incomplete.


A simple example is the cat program:


Another example:


Built-in functions

  • +(x,y), -(x,y), *(x,y), /(x,y), %(x,y)
  • input(), output(n)

Computational class

Lazy is Turing-complete as it includes the μ-recursive functions. To show this, the only non-trivial function to define is μy f(y,x1,...,xk) (which does not actually have y as parameter, y is bound by the μ), which for a specific f can be given as follows:

μy f(y,x1,...,xk) = g(0,x1,...,xk)
g(n,x1,...,xk) = if0(f(n,x1,...,xk),n,g(+(n,1),x1,...,xk))
if0(0,a,b) = a
if0(n,a,b) = b