Zooming in on DAML’s performance

tl;dr If you care about performance, use DAML’s builtin syntax for accessing record fields. Introduction I guess it is no secret that I’m not the biggest fan of lenses, particularly not in DAML. I wouldn’t go as far as saying that lenses, prisms, and the other optics make my eyes bleed but there are definitely better ways to handle records in most cases. One case where the builtin...
Read More

Zooming in on DAML’s performance

tl;dr If you care about performance, use DAML’s builtin syntax for accessing record fields. Introduction I guess it is no secret that I’m not the biggest fan of lenses, particularly not in DAML. I wouldn’t go as far as saying that lenses, prisms, and the other optics make my eyes bleed but there are definitely better ways to handle records in most cases. One case where the builtin...
Read More

Daml does yoga: an introduction to flexible controllers

One last insider look at Daml’s authorization system In a previous blog post, we discussed our introduction of conjunction choices to Daml. The novelty was that choices could be controlled by more than one party and each controller had to give their consent for the choice to be executed. Hence the name conjunction choice. Initially, the Daml Language Team promised to follow-up with the...
Read More

Daml does yoga: an introduction to flexible controllers

One last insider look at Daml’s authorization system In a previous blog post, we discussed our introduction of conjunction choices to Daml. The novelty was that choices could be controlled by more than one party and each controller had to give their consent for the choice to be executed. Hence the name conjunction choice. Initially, the Daml Language Team promised to follow-up with the...
Read More

And now all together: an introduction to conjunction choices

Continuing our insider look at Daml’s authorization system In a previous blog post, we introduced a few changes that were made to Daml's authorization system. In this post we’ll discuss the first, conjunction choices, discussing what motivated this new feature and explaining its usage by walking through a slightly extended version of the PaintHouse example from the DA Ledger Model...
Read More

And now all together: an introduction to conjunction choices

Continuing our insider look at Daml’s authorization system In a previous blog post, we introduced a few changes that were made to Daml's authorization system. In this post we’ll discuss the first, conjunction choices, discussing what motivated this new feature and explaining its usage by walking through a slightly extended version of the PaintHouse example from the DA Ledger Model...
Read More

Removing the limits on signatories

A peek behind the curtain at how Daml has evolved Daml—the open source smart contract development language—is the result of many years’ effort on the part of the Digital Asset language engineering team and the customers and partners who worked closely with us in our early access program. Lessons learned during those early years have been turned into language features that you are able...
Read More

Removing the limits on signatories

A peek behind the curtain at how Daml has evolved Daml—the open source smart contract development language—is the result of many years’ effort on the part of the Digital Asset language engineering team and the customers and partners who worked closely with us in our early access program. Lessons learned during those early years have been turned into language features that you are able...
Read More

The only valid smart contract is a voluntary one — easier said than done

Daml models, tracks, and enforces smart contract rights and obligations In What properties must an enterprise smart contract language have?, Simon and Neil defined several properties that “a smart contract language must enable for it to be acceptable for automating financial workflows.” The first of these specified that “for the consequences of a contract to be compulsory, entrance must...
Read More

The only valid smart contract is a voluntary one — easier said than done

Daml models, tracks, and enforces smart contract rights and obligations In What properties must an enterprise smart contract language have?, Simon and Neil defined several properties that “a smart contract language must enable for it to be acceptable for automating financial workflows.” The first of these specified that “for the consequences of a contract to be compulsory, entrance must...
Read More