[erlang-questions] ANNOUNCE - erl2 - a new dialect of erlang

Jesper Louis Andersen jesper.louis.andersen@REDACTED
Tue Feb 28 17:46:11 CET 2012

On 2/28/12 10:42 AM, Tomasz Maciejewski wrote:
> W dniu 28 lutego 2012 10:34 użytkownik Tim Watson
> <watson.timothy@REDACTED>  napisał:
>>> I see a hierarchy of languages
>>> erl = erl1
>>> erl2 = a program that generates 100% erl1 programs (ie meta programs)
>>> erl3 = a program that generates erl2 programs            (meta meta programs)
> We need to go deeper. ;-)
That is easy! Just install Coq or Agda2 :) Many systems in CS have 
infinite size in a turtles all the way down fashion. So you can build a 
world1 in which world0 can be described. And world2 can describe world1 
and so on. In the end you have a (countably infinite) stack of worlds.

Jesper Louis Andersen
   Erlang Solutions Ltd., Copenhagen, DK

More information about the erlang-questions mailing list