Marlowe embedded in Haskell

(# Marlowe được nhúng trong Haskell)

Trong hướng dẫn này, chúng ta quay lại ví dụ về ký quỹ và chỉ ra cách chúng ta có thể sử dụng tính năng nhúng Marlowe trong Haskell để tạo ra các mô tả dễ đọc hơn, mô-đun hóa và có thể tái sử dụng hơn về các hợp đồng Marlowe.

Hãy nhớ lại rằng chúng ta đã phát triển hợp đồng Marlowe này trong hướng dẫn trước đó .

Mặc dù chúng tôi trình bày nó ở đó dưới dạng hợp đồng "nguyên khối", nhưng chúng tôi có thể sử dụng các định nghĩa Haskell để làm cho nó dễ đọc hơn. Để bắt đầu, chúng ta có thể tách cam kết ban đầu khỏi phần hoạt động bên trong của hợp đồng:

contract :: Contract
contract = When [Case (Deposit "alice" "alice" ada price) inner]
                1700000000
                Close

inner :: Contract
inner =
  When [ Case aliceChoice
              (When [ Case bobChoice
                          (If (aliceChosen `ValueEQ` bobChosen)
                              agreement
                              arbitrate) ]
                    1700007200
                    arbitrate)
       ]
       1700003600
       Close

Nhiều thuật ngữ ở đây được định nghĩa trong Haskell. Về cơ bản, chúng ta có hai hợp đồng giải quyết những gì xảy ra agreementgiữa Alice và Bob, và nếu không thì Carol nên làm gì arbitrategiữa họ:

agreement :: Contract
agreement =
  If (aliceChosen `ValueEQ` (Constant 0))
     (Pay "alice" (Party "bob") ada price Close)
     Close

arbitrate :: Contract
arbitrate =
  When [ Case carolClose Close,
         Case carolPay (Pay "alice" (Party "bob") ada price Close) ]
       1700010800
       Close

Trong các hợp đồng này, chúng tôi cũng sử dụng các từ viết tắt đơn giản như:

price :: Value
price = Constant 450

cho biết giá của con mèo và giá trị của số tiền được ký quỹ.

Chúng ta cũng có thể mô tả các lựa chọn do Alice và Bob đưa ra, lưu ý rằng chúng ta cũng được yêu cầu một giá trị mặc định đề defValuephòng trường hợp các lựa chọn đó chưa được thực hiện.

aliceChosen, bobChosen :: Value

aliceChosen = ChoiceValue (ChoiceId choiceName "alice")
bobChosen   = ChoiceValue (ChoiceId choiceName "bob")

defValue = Constant 42

choiceName :: ChoiceName
choiceName = "choice"

Khi mô tả các lựa chọn, chúng ta có thể đặt tên hợp lý cho các giá trị số:

pay,refund,both :: [Bound]

pay    = [Bound 0 0]
refund = [Bound 1 1]
both   = [Bound 0 1]

và xác định các chức năng mới (hoặc "mẫu") cho chính chúng ta. Trong trường hợp này chúng tôi xác định

choice :: Party -> [Bound] -> Action

choice party bounds =
  Choice (ChoiceId choiceName party) bounds

như một cách làm cho việc thể hiện các lựa chọn trở nên đơn giản hơn và dễ đọc hơn:

alicePay, aliceRefund, aliceChoice :: Action
alicePay    = choice "alice" pay
aliceRefund = choice "alice" refund
aliceChoice = choice "alice" both

Với tất cả các định nghĩa này, chúng ta có thể viết hợp đồng ở đầu phần này theo cách làm rõ ý định của nó. Viết bằng Marlowe "thuần túy", hoặc bằng cách mở rộng các định nghĩa này, thay vào đó chúng ta sẽ có hợp đồng này:

When [
  (Case
     (Deposit
        "alice" "alice" ada
        (Constant 450))
     (When [
           (Case
              (Choice
                 (ChoiceId "choice" "alice") [
                 (Bound 0 1)])
              (When [
                 (Case
                    (Choice
                       (ChoiceId "choice" "bob") [
                       (Bound 0 1)])
                    (If
                       (ValueEQ
                          (ChoiceValue
                             (ChoiceId "choice" "alice"))
                          (ChoiceValue
                             (ChoiceId "choice" "bob")))
                       (If
                          (ValueEQ
                             (ChoiceValue
                                (ChoiceId "choice" "alice"))
                             (Constant 0))
                          (Pay
                             "alice"
                             (Party "bob") ada
                             (Constant 450) Close) Close)
                       (When [
                             (Case
                                (Choice
                                   (ChoiceId "choice" "carol") [
                                   (Bound 1 1)]) Close)
                             ,
                             (Case
                                (Choice
                                   (ChoiceId "choice" "carol") [
                                   (Bound 0 0)])
                                (Pay
                                   "alice"
                                   (Party "bob") ada
                                   (Constant 450) Close))] 100 Close)))] 60
                 (When [
                       (Case
                          (Choice
                             (ChoiceId "choice" "carol") [
                             (Bound 1 1)]) Close)
                       ,
                       (Case
                          (Choice
                             (ChoiceId "choice" "carol") [
                             (Bound 0 0)])
                          (Pay
                             "alice"
                             (Party "bob") ada
                             (Constant 450) Close))] 100 Close)))
      ]