15.6 开发金融建模语言 本章到目前为止,我们所讨论的大多数概念,如果你计划设计自己的函数库或 DSL,都是需要知道的。为了给你一定的概念,为了解决更加面向业务的问题,应该如何做,我们将勾画一个库,它能够用于对金融合同建模。这个示例的动机是 Simon Peyton Jones 等人的一篇文章《组合合同:在金融工程中的冒险》[Jones, Eber, Seward, 2000]。在本节中,我们只实现这个库的最基本部分,原始文章包含更多的信息,值得一读。