[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Occam-Tau anyone???
On Oct 5, 2012, at 9:21 AM, Michael <sparks.m@xxxxxxxxx> wrote:
> People don't pick up a tool
> because of purity, they pick up a tool primarily out of economic need
> and benefit - and there "good enough" is often preferred over
> "provably correct".
> Asking the Occam community to embrace "good enough" over "provably
> correct", may be asking too much though - based on reading the threads
> in the past few days.
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.