[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Occam-Tau anyone???

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


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


-- Fred