PPP 041005 - Developing smart contracts with Plutarch (Haskell)
Tóm tắt nội dung
"Video thảo luận về Plutarch, một ngôn ngữ dành riêng cho miền nhúng được sử dụng chủ yếu để viết các hợp đồng thông minh có thể được biên dịch để tạo ra ngôn ngữ hợp đồng thông minh được sử dụng cho Kerano, được gọi là lõi Plutus. Core Plutus được thiết kế để cung cấp hiệu quả và tính đúng đắn cao để đáp ứng các tiêu chuẩn bảo mật cao theo yêu cầu của ngôn ngữ hợp đồng thông minh.
Plutarch khác với Plutus tx trong đó, plutus` tx compiles haskell thành lõi ghc và sau đó là lõi JC thành điểm Plutus, yêu cầu một số chiến thuật lập trình meta nhất định như Mẫu Haskell và một plugin trình biên dịch tùy chỉnh. Plutarch, mặt khác, mã hóa tất cả các phần nguyên thủy của lõi Plutus trực tiếp, làm cho quá trình biên dịch xảy ra trong thời gian chạy Haskell.
Viết Plutarch trông tương tự như viết Tính toán Lambda và lõi của Plutus do Plutus tạo ra có xu hướng nhỏ hơn nhiều và hiệu suất hơn, điều này rất quan trọng đối với các hợp đồng thông minh on-chain.
Video bao gồm một ví dụ về cách tính các số fibonacci trong Haskell và sau đó làm thế nào để dịch chương trình sang plutarch. Mã Plutarch tương tự như mã Haskell, ngoại trừ các hàm Plutarch lấy số nguyên plutarch và có một mũi tên Plutarch lớn hơn cho thấy mã đang xảy ra trong vùng đất lõi Plutus.
Nhìn chung, Plutarch cung cấp một sự kiểm soát chi tiết hơn đối với các tối ưu hóa và mã được viết bằng Haskell trông rất giống với tính toán Lambda mà lõi plutus` dựa trên. Sự đơn giản của Plutarch được nhân đôi trong lõi Plutus được tạo, rất quan trọng để đáp ứng các ràng buộc nghiêm ngặt đối với các giao dịch và Trình xác thực tập lệnh liên quan trong blockchain."
