Yes. On Sat, Aug 4, 2012 at 1:47 PM, Jay Sulzberger <[email protected]> wrote:
> > > On Sat, 4 Aug 2012, Jake McArthur <[email protected]> wrote: > > I feel like this thread is kind of surreal. Knight Capital's mistake >> was to use imperative programming styles? An entire industry is >> suffering because they haven't universally applied category theory to >> software engineering and live systems? Am I just a victim of a small >> troll/joke? >> >> - Jake >> > > ad application of category theory: No joke. > > Atul Gawande's book The Checklist Manifesto deals with some of > this: > > > http://us.macmillan.com/**thechecklistmanifesto/**AtulGawande<http://us.macmillan.com/thechecklistmanifesto/AtulGawande> > > In related news, for every type t of Haskell is it the case that > something called "_|_" is an object of the type? > > oo--JS. > > > > >> On Sat, Aug 4, 2012 at 12:46 PM, Jay Sulzberger <[email protected]> wrote: >> >>> >>> >>> On Sat, 4 Aug 2012, Vasili I. Galchin <[email protected]> wrote: >>> >>> Hello Haskell Group, >>>> >>>> I work in mainstream software industry. >>>> >>>> I am going to make an assumption .... except for Jane Street >>>> Capital all/most "Wall Street" software is written in an imperative >>>> language. >>>> >>>> Assuming this why is Wall Street not awaken to the dangers. As I >>>> write, Knight Capital may not survive the weekend. >>>> >>>> >>>> Regards, >>>> >>>> Vasili >>>> >>> >>> >>> I believe this particular mild error was in part due to a failure >>> to grasp and apply category theory. There are several systems here: >>> >>> 1. The design of the code. >>> >>> 2. The coding of the code. >>> >>> 3. The testing of the code. >>> >>> 4. The live running of the code. >>> >>> 5. The watcher systems which watch the live running. >>> >>> If the newspaper reports are to be believed, the watcher systems, >>> all of them, failed. Or there was not even one watcher system >>> observing/correcting/halting at the time of running. >>> >>> Category theory suggests that all of these systems are worthy of >>> study, and that these systems have inter-relations, which are >>> just as worthy of study. >>> >>> oo--JS. >>> >>> >>> ______________________________**_________________ >>> Haskell-Cafe mailing list >>> [email protected] >>> http://www.haskell.org/**mailman/listinfo/haskell-cafe<http://www.haskell.org/mailman/listinfo/haskell-cafe> >>> >> >> >> > ______________________________**_________________ > Haskell-Cafe mailing list > [email protected] > http://www.haskell.org/**mailman/listinfo/haskell-cafe<http://www.haskell.org/mailman/listinfo/haskell-cafe> > >
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
