From: Noel Welsh
Subject: cheme UK Meeting: 11 August 2004: Bring out yer dead! A Transputer interpreter in two acts
Date: 
Message-ID: <cdac2dde.0407200819.8189eed@posting.google.com>
Scheme UK Meeting: 11 August 2004

The next meeting of the Scheme UK user's group will be
held on Wednesday, 11 August 2004 from 7pm till we leave
for the pub.  The meeting will take place at the offices
of LShift (see http://www.lshift.net/contact.html for
directions).  This meeting will be held in conjuction with
UK Lispers.


Bring out yer dead! A Transputer interpreter in two acts
By Matt Jadud

ACT I: Scheme

occam is a small (dead?) language based on an the
Concurrent Sequential Processes algebra[1]. Scheme is a
small (not so dead?) language based on the lambda
calculus[2]. However, Scheme is the All Language,
descended from the Mighty LISP, blessed by Guy
Steele. What better language to write an interpreter of
Transputer bytecode (the compiled form of occam programs)
than Scheme?


ACT II: C

Unfortunately, while semantically clear, a Scheme
interpreter runneth not on the LEGO Mindstorms. So, the
Scheme interpreter was rewritten, largely line-for-line,
in C, and it became many times faster and many times
smaller.  What we ended up with is a small, portable
runtime for occam programs, that currently runs on
Linux/x86, Linux/MIPS, Windows, Mac OSX, and the LEGO
Mindstorms[3].

This play will present a bit of background on occam (for
those who are unfamiliar), the interpreter itself, and
most importantly, some bits about why we think it is a
good thing that we can now run occam on the LEGO
Mindstorms.  If FedEx is willing, little robots will be
present.

(For those following along at home, the first paper found
at reference number three is probably the most interesting
for you to glance at, if you wish, before the talk.)

[1] http://archive.comlab.ox.ac.uk/csp.html
[2] Oh, please. You guys know where to find Scheme stuff
    on the WWW.
[3]
http://www.jadud.com/people/mcj/links/Writing/PeerReviewed/index.html
[4] Although not mentioned previously, you may also be
    interested in the "Little Languages for Little Robots"
    paper on the same page as reference #3; it is, in some
    backwards way, related.

=========================================================

Scheme UK is a UK based group of people interested in the
Scheme programming language in particular, and advanced
programming languages in general.  We are interested in
both practical and theoretic aspects.  We meet on the
first Wednesday of each month.  Newcomers are welcome.

For more details see:

  http://schematics.sourceforge.net/scheme-uk/