Re: [Haskell-cafe] Re: Trading with Haskell

On Jul 5, 2006, at 11:56 PM, Ashley Yakeley wrote:

Trading financial instruments? You might be interested in the SPJ/ Eber/Seward paper "Composing contracts": http://research.microsoft.com/~simonpj/Papers/financial-contracts/ contracts-icfp.htm

Yes, that paper and an hour or so on the phone with SPJ inspired me to take up Haskell when I was Erlang-ing in Sweden. Thank you Simon :D.

and also Lexifi, though it appears to be written in OCaml: http://homepages.inf.ed.ac.uk/wadler/realworld/lexifi.html

I would love to see sample contract code from that project. Joel -- http://wagerlabs.com/