We already have a database built of the freedb data (it’s a little out
of date, but we can resync that later). So the basic version of the
first page is fairly simple. We’ll add a page to display the details of
a given CD, and use it as an example of how FireCore works.
To construct our Model [...]

FireCore is much harder to actually set up than it should be. Once it’s all configured for a site it’s wonderful (as we’ll see later), but actually getting to that point is much too complex. There’s a whole range of things that need to be remembered: configuring the database, adding the requisite controls to the [...]

Paper describing an approach to describing financial contracts (and valuing them) in Haskell.
Notably the paper states that: Although Haskell is lazy, and that was useful in our implementation, the really significant feature of the contract-description language is that it is declarative, not that it is lazy. Our design can be seen as a declarative, [...]