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