can do?

[Raoul Duke]

http://stackoverflow.com/questions/3037643/typed-metaprogramming-languages

[Mark Tarver]

Not only can do, but can do superbly. My second book 'The
Specification of Programming Languages' is precisely about using Shen
as a metalanguage to describe and formally prove properties of other
languages.

A lot of my time is divided right now. I've embarked on a regime of
intensive qigong, yoga meditation and exercise to build the body to
the state of efficiency I need. Four hours a day goes into this. On
top of that we have an expanded second edition of TBoS with an
improved presentation and more examples. A program is under
development for generating standalones from all these ports. Some
videos will appear on Shen. I've also got on the backburner the SECD-
>C version of Shen.

Somebody kindly provided 'Lisp in Small Pieces' to the project and
asked me to review the book. I passed it to Willi who codes in C. My
impressions were that it was very comprehensive and I need to take
time to look at it. I'll review it here when I do.

Mark

On 22 May, 00:25, Raoul Duke <rao...@gmail.com> wrote:
> http://stackoverflow.com/questions/3037643/typed-metaprogramming-lang...