Re: Occam-Tau anyone???

[Larry Dickson <tjoccam@xxxxxxxxxxx>]

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.
> 
> 
> Michael.

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.

Larry