[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Occam-Tau anyone???
> 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..)