3 ms·
That's exactly what I was fishing for. Thanks.
by mbrock 11y ago
That's exactly what I was fishing for. Thanks.
- arethuza 11y agoMy wife is a commercial litigation lawyer and I've always wondered about the similarities between legislation, contracts and code.
- mbrock 11y agoCool. Do you know about the paper on "composable contracts" that defines financial contracts (derivatives, etc) in terms of functional combinators? It's pretty cool. They're able to define automatic Black-Scholes valuations for complex derivatives, and stuff. http://research.microsoft.com/en-us/um/people/simonpj/Papers/financial-contracts/contracts-icfp.htm http://research.microsoft.com/en-us/um/people/simonpj/Papers...