[Haskell-cafe] Why are OCaml and Haskell being used at these
dons at galois.com
Mon Nov 12 15:07:43 EST 2007
> I am looking for (objective.. i.e. not juts FPL cheerleading) opinions as
> to why Wall Street ( http://www.janestcapital.com/) and banking are
> now using OCaml and Haskell. I really want to understand what industrial
> markets are adopting FPLs and why in order to help push FPLs penetration
> into industry. Another company is http://www.galois.com
Perhaps start at http://cufp.galois.com/.
A quick summary: small differences in productivity show up as real
dollar amounts to banking/wall street types, and faults are less
tolerated than in some industries. Galois, in particular, is in it for
the the high assurance/correctness aspects.
More information about the Haskell-Cafe