I just now see, at the bottom of this paragraph: http://en.wikipedia.org/wiki/OCaml#Features that the GC of OCaml is not designed for concurrency. So it cannot be used on a multicore system, it seems (by this comment). In addition, a reference count GC good when exact timing is needed. So it might be best for a language that should produce real time music. Fortunately, it is easiest to implement. So it suggests that Chuck might be best off to implement its own lambda calculus on top of what already exits, just using a reference counts GC, as Kassen mentioned was planned. That is, would anybody like to implement it :-). Anyway, it shows some of the concerns that must be addressed when implementing lambda calculus. Hans