http://qs321.pair.com?node_id=416522


in reply to Re: Open season on official Perl 6 grammar
in thread Open season on official Perl 6 grammar

how can the Perl 6 grammar be written in Perl 6 ?
C compilers are written in C, there are Java compilers written in Java, there are Scheme compilers written in Scheme, there are Pascal compilers written in Pascal.

Why wouldn't it be be written in Perl6?

  • Comment on Re^2: Open season on official Perl 6 grammar

Replies are listed 'Best First'.
Re^3: Open season on official Perl 6 grammar
by zejames (Hermit) on Dec 21, 2004 at 16:34 UTC

    That is true, except for the first C, Java or Scheme compiler. And in our case, this is the first Perl6 compiler.


    --
    zejames
      Actually you'd be wrong.

      The first interpreter that I know of for the first interpreted language (a dialect of Lisp) was first written in itself. And then that program was hand-translated to assembly. (The person who wrote the interpreter did not intend to see it ever run!)

      Likewise C compilers like gcc are frequently written in C. To develop a compiler for a new hardware platform you modify an existing compiler to understand the necessary assembly language, then you compile a C compiler for the new platform.

      The Squeak interpreter (Squeak is a type of Smalltalk) demonstrates an interesting variation of this strategy. Squeak is written in Squeak. But it comes with a program that can compile itself to a C++ program which, when run, recreates the original Squeak image.

      As all of these examples show, it is often nice to write a language in the language that you're writing. Once you have it written, actually making it run requires some bootstrapping, but the bootstrapping process is usually much easier than writing your full program from scratch.

      This is doubly true if you want to wind up with a language (like Perl 6) where you want to end up with a lot of hooks within the language to be able to manipulate the language behaviour. If you bootstrap then you don't have to draw so many fairly arbitrary internal distinctions between when you're looking at user-changed behaviour and native built-in behaviour.