Skip to content

Composing Contracts Using Haskell [pdf]

research.microsoft.com
3 pointsmvaliente20011 comment
On HN

Comments

As an economist, I have always found the terminology used in this paper confusing. The primitive should have been named "payment". A payment in a specified currency, needs, at a minimum, a date, a payee (beneficiary, owner, buyer), an obligant (debtor, seller, counter-party), a payment time, and a payment place to become a contract.

Calling everything a contract confuses me. ... it's probably just me.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.