Skip to main content

Ngôn ngữ Marlowe

Bắt đầu với Haskell#

Marlowe là ngôn ngữ "dành riêng cho miền -(DSL)" cho phép người dùng xây dựng các ứng dụng blockchain phù hợp với các hợp đồng tài chính.

Hãy xem Hướng dẫn Marlowe {/ a0} nếu bạn muốn tìm hiểu Marlowe ngay từ đầu hoặc đi thẳng vào Sân chơi Marlowe {/ a1}:

Trao đổi với về Marlowe Plutus trên Diễn đàn Cardano hoặc nếu bạn thích Discord, hãy đến với Discord kỹ thuật IOG .

Nền tảng ngôn ngữ Marlowe#

Với Marlowe DSL, bạn đạt được hiệu quả rất lớn vì bạn có thể có được bảo mật tốt hơn, độ chắc chắn tốt hơn nhiều, đảm bảo chấm dứt {/ a0} tốt hơn nhiều và tính đúng đắn của hành vi so với Turing-complete {/ a1 } ngôn ngữ.

Thiết kế đảm bảo các yếu tố sau:

  • Hợp đồng là hữu hạn, Không có đệ quy hoặc vòng lặp.
  • Hợp đồng sẽ chấm dứt. Hết thời gian cho tất cả các hành động
  • Hợp đồng phải có thời hạn xác định.
  • Không có tài sản nào được giữ lại khi đóng.
  • Bảo tồn giá trị.

Sân chơi Marlowe.#

Marlowe Playground là một trình mô phỏng và xây dựng hợp đồng thông minh plug-and-play dễ sử dụng, trực quan và mô-đun. Xem chuyến tham quan Sân chơi Marlowe dài 4 phút này: xây dựng, mô phỏng và phân tích các hợp đồng của Marlowe.

Các bài trình bày.#

Các hướng dẫn làm rõ.#