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

[Jesper Louis Andersen]

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