PPP 040701 - Introduction
Tóm tắt nội dung
Bài giảng thứ bảy của chương trình tiên phong Plutus được tập trung vào Marlow, một ngôn ngữ cụ thể về miền được thiết kế cho các hợp đồng tài chính được xây dựng trên đỉnh của Plutus. Các bài giảng trước đây bao gồm các thành phần thiết yếu để viết một ứng dụng Plutus, bao gồm mô hình UTXO mở rộng, xác thực chuỗi, chính sách mint và triển khai và kiểm tra mã chuỗi. Plutus là một ngôn ngữ mạnh mẽ có khả năng thực hiện các ngôn ngữ khác như Marlow. Tuy nhiên, sự đánh đổi cho sức mạnh như vậy là thách thức hoặc không thể tự động phân tích các chương trình được viết bằng ngôn ngữ hoàn chỉnh. Mặt khác, Marlow không hoàn thành, nhưng nó cho phép phân tích tĩnh các chương trình, đảm bảo rằng tất cả các chương trình Marlow đều có tuổi thọ hữu hạn. Thiết kế của Marlow dựa trên một video từ năm 2000 chính thức hóa các hợp đồng tài chính truyền thống với rất ít cấu trúc. Marlow tính đến các hạn chế của cài đặt blockchain, trong đó các hợp đồng không thể được thực thi bởi hệ thống pháp lý, và thay vào đó chờ đợi các hành động xảy ra với các dự phòng và thời gian chờ. Marlow sử dụng cách tiếp cận dựa trên tài khoản, trong đó mỗi bên có một tài khoản nội bộ dưới sự kiểm soát của hợp đồng. Sân chơi Marlow là một môi trường dựa trên web đồ họa, nơi người ta có thể mô phỏng và tạo các hợp đồng Marlow bằng Haskell, JavaScript hoặc chặn. Trong bài giảng, một ví dụ đơn giản về hợp đồng Marlow sẽ được chứng minh, theo sau là lý do tại sao người ta có thể thích sử dụng Haskell hoặc JavaScript thay vì bị chặn. Bài giảng sẽ kết thúc với một bài thuyết trình của bộ khởi động Marlow bởi một thành viên của nhóm Marlow.
