convore.json/groups/interesting-papers/composing-contracts-an-adventure-in-financial-engineering/messages.json

[{"user_id": 8988, "stars": [], "topic_id": 6404, "date_created": 1297875034.241348, "message": "This one is admittedly pretty domain specific (and no accident - I work at http://www.weatherbill.com), but I think it's an interesting and well implemented example of an embedded domain specific language. Relatedly (and apologies for the shameless plug) if you think this stuff might be interesting enough to think about full time, you should get in touch.", "group_id": 12, "id": 121284}, {"user_id": 8988, "stars": [{"date_created": 1302476689.109159, "user_id": 28607}], "topic_id": 6404, "date_created": 1297874876.3286879, "message": "http://research.microsoft.com/en-us/um/people/simonpj/Papers/financial-contracts/contracts-icfp.htm", "group_id": 12, "id": 121260}, {"user_id": 8988, "stars": [], "topic_id": 6404, "date_created": 1297874886.4894111, "message": "Abstract: \"Financial and insurance contracts do not sound like promising territory for functional programming and formal semantics, but in fact we have discovered that insights from programming languages bear directly on the complex subject of describing and valuing a large class of contracts.\nWe introduce a combinator library that allows us to describe such contracts precisely, and a compositional denotational semantics that says what such contracts are worth. We sketch an implementation of our combinator library in Haskell. Interestingly, lazy evaluation plays a crucial role.\"", "group_id": 12, "id": 121262}, {"user_id": 8622, "stars": [], "topic_id": 6404, "date_created": 1297879553.3859451, "message": "It's a very nice example of how to design a DSL.  In particular, finding the right primitives and composition operations.", "group_id": 12, "id": 122020}, {"user_id": 8622, "stars": [], "topic_id": 6404, "date_created": 1297879383.452456, "message": "Here's a video: http://ulf.wiger.net/weblog/2008/02/29/simon-peyton-jones-composing-contracts-an-adventure-in-financial-engineering/", "group_id": 12, "id": 121964}, {"user_id": 8988, "stars": [], "topic_id": 6404, "date_created": 1300742811.9337151, "message": "I've implemented this and published it on GitHub (https://github.com/travis/covenant) and blogged about it here - http://combinate.us/2011/03/20/hacking-the-doomsday-machine/ Hopefully a good companion to the paper!", "group_id": 12, "id": 402740}, {"user_id": 528, "stars": [], "topic_id": 6404, "date_created": 1301577033.786828, "message": "Woah thx!", "group_id": 12, "id": 491495}]