PPP 040502 - Values
Tóm tắt nội dung
"Video giải thích giá trị Kiểu được xác định trong API sổ cái Plutus trong mô-đun Plutus.v1. Nó giải thích rằng giá trị Kiểu là một trình bao bọc Kiểu mới xung quanh Map từ các ký hiệu tiền tệ đến Map khác từ tên token đến số nguyên. Một token trên Cardano được thể hiện bằng kết hợp ký hiệu tiền tệ và tên token và sự kết hợp này được định nghĩa là một lớp tài sản, đây là một trình bao bọc Kiểu mới xung quanh một cặp ký hiệu tiền tệ và tên token.
Video giải thích rằng ADA là một loại tài sản cụ thể và tất cả các token gốc là các loại tài sản khác nhau. Giá trị Kiểu được sử dụng để kết hợp các token khác nhau thành một túi token với một giá trị của giá trị Kiểu. Để làm việc với các giá trị, giá trị đã cho phải được kiểm tra để xem có bao nhiêu token của một loại đã cho trong đó và giá trị phải được xây dựng.
Video giải thích rằng đối với việc xây dựng, giá trị lớp tài sản hàm được sử dụng, xây dựng giá trị chứa rất nhiều đồng của một loại 'loại' cụ thể, được đưa ra trong lớp tài sản và một số nguyên. Video cũng giải thích cách lấy một lớp tài sản bằng cách sử dụng lớp tài sản Hàm, lấy ký hiệu tiền tệ và tên token làm đầu vào và trả về lớp tài sản.
Video trình bày cách tạo các giá trị với một lớp tài sản cụ thể, chẳng hạn như ADA, sử dụng hàm giá trị lớp tài sản. Video cũng cho thấy cách tạo các giá trị cho token gốc bằng cách sử dụng hàm giá trị lớp tài sản, được đưa ra ký hiệu tiền tệ và tên token.
Video giải thích cách kết hợp các giá trị bằng cách sử dụng lớp Kiểu monoid, trong đó xác định toán tử để kết hợp hai giá trị của cùng một Kiểu với giá trị thứ ba của cùng một loại Kiểu. Video giải thích rằng giá trị Kiểu thực hiện monoid và đặc biệt là thực hiện lớp semigroup Kiểu, xác định toán tử để kết hợp hai giá trị của cùng một loại với giá trị thứ ba của cùng một loại loại. Video cung cấp một ví dụ về một monoid trong danh sách và giải thích rằng, trong trường hợp danh sách, nhà điều hành để kết hợp hai danh sách là sự kết hợp danh sách.
Tóm lại, bài viết cung cấp tổng quan về giá trị Kiểu trong API sổ cái Plutus và trình bày cách làm việc với các giá trị, tạo các giá trị với các loại tài sản cụ thể, kết hợp các giá trị bằng cách sử dụng lớp monoid Kiểu và cung cấp một ví dụ của một monoid trong danh sách."
