Re: Occam-Tau anyone???

[Fred Barnes <F.R.M.Barnes@xxxxxxxxxx>]

Larry writes:
>
> The right way to combine "good enough" with "provably correct" is to =
> create a scripting language. A bash-like language that provided true =
> occam "plumbing" (e.g. multiple STDINs with ALT) and really allowed =
> intermingling of IO from standard programs would be a hit pretty =
> quickly, I daresay.

Agreed!  We had plans for similar some years ago (2003), which I wrote up
here:

    http://frmb.org/oscript.html

implementations welcome!  (I started but never finished..)


Cheers,

-- Fred