馃嚜馃嚫 Tutoriales de Marlowe: 0. 脥ndice

Tutoriales de Marlowe

Este documento ofrece una visi贸n general de un conjunto de tutoriales de Marlowe.

[Ten en cuenta que los enlaces se actualizar谩n a medida que se realicen las traducciones]

  1. Introducci贸n de Marlowe Este tutorial ofrece una visi贸n general de las ideas que hay detr谩s de Marlowe, como un lenguaje espec铆fico de dominio integrado en Haskell. Tambi茅n introduce los compromisos y los timeouts, que son fundamentales para el funcionamiento de Marlowe en un contexto de blockchain.
  2. Un primer ejemplo Este tutorial presenta un contrato financiero sencillo en pseudoc贸digo, antes de explicar c贸mo se modifica para que funcione en Marlowe, dando el primer ejemplo de un contrato Marlowe.
  3. El modelo de Marlowe En este tutorial se examina nuestro enfoque general para modelar los contratos en Marlowe, y el contexto en el que se ejecutan los contratos de Marlowe: la blockchain de Cardano. Al hacerlo, tambi茅n introducimos parte de la terminolog铆a est谩ndar que utilizaremos para describir a Marlowe.
  4. Marlowe paso a paso En este tutorial se explican las cinco formas de construir contratos en Marlowe. Cuatro de ellas 鈥 Pay, Let, If y When 鈥 construyen un contrato complejo a partir de contratos m谩s sencillos, y la quinta, Close, es un contrato simple. Al explicar estos contratos tambi茅n explicaremos los Marlowe values , observations and actions , que se utilizan para suministrar informaci贸n externa e insumos a un contrato en curso para controlar su evoluci贸n.
  5. Marlowe en Blockly Esta secci贸n muestra c贸mo se construyen los contratos de Marlowe utilizando el entorno de programaci贸n visual Blockly.
  6. Los tipos de datos de Marlowe Este tutorial introduce formalmente Marlowe como tipo de datos de Haskell, adem谩s de presentar los diferentes tipos utilizados por el modelo, y discutir una serie de suposiciones sobre la infraestructura en la que se ejecutar谩n los contratos.
  7. Marlowe integrado en Haskell Este tutorial muestra c贸mo utilizar algunas caracter铆sticas sencillas de Haskell para escribir contratos de Marlowe que sean m谩s legibles, mantenibles y reutilizables, ilustrado por la revisi贸n del contrato de escrow.
  8. Marlowe integrado en JavaScript Marlowe tambi茅n est谩 integrado en JavaScript, y aqu铆 mostramos c贸mo se pueden crear y editar los contratos de Marlowe en JavaScript.
  9. El Marlowe Playground Este tutorial presenta el Marlowe Playground, una herramienta en l铆nea para crear contratos Marlowe integrados y recorrer interactivamente su ejecuci贸n.
  10. Posibles problemas con los contratos Este tutorial revisa c贸mo no se deben redactar los contratos de Marlowe, y qu茅 puede salir mal al ejecutar los contratos aunque se hayan redactado correctamente.
  11. An谩lisis est谩tico Los contratos de Marlowe pueden analizarse sin necesidad de ejecutarlos, y as铆, por ejemplo, podemos comprobar que un contrato siempre realizar谩 los pagos que se le exigen, independientemente de las entradas que reciba. Este tutorial explica esto, y c贸mo ejecutar un an谩lisis en el playground.
  12. ACTUS y Marlowe Este tutorial ofrece una introducci贸n a la idea general de la taxonom铆a ACTUS, adem谩s de ejemplos implementados en Marlowe.
  13. Actus Labs Los Actus Labs permiten generar diferentes estilos de contrato Actus a partir de los par谩metros que describen la instancia del contrato en particular.
  14. Simulaci贸n de billeteras La simulaci贸n de billeteras presenta una vista de un contrato en ejecuci贸n desde la perspectiva de un participante en ese contrato, en lugar de la vista 鈥渙mnisciente鈥 que se da en la pesta帽a de simulaci贸n.
  15. Uso de Marlowe desde la l铆nea de comandos de ghci Este tutorial muestra c贸mo utilizar Marlowe desde la l铆nea de comandos de ghci, y en particular muestra c贸mo ejercer un contrato utilizando la sem谩ntica dada anteriormente.
  16. Migraci贸n desde versiones anteriores de Marlowe Aqu铆 explicamos c贸mo se relaciona la versi贸n actual de Marlowe con las versiones anteriores.

Estos tutoriales se refieren a la versi贸n actual de Marlowe, que se implementa en el Marlowe Playground, y est谩 disponible aqu铆 .

La versi贸n que se menciona en el documento de ISoLA, y que es compatible con la versi贸n original de Playground (llamada Meadow), est谩 etiquetada como v1.3 y est谩 disponible aqu铆 .

漏 Copyright 2020, IOHK Revision b8f2855c.

Encuentra una copia oficial de este documento aqu铆:

https://alpha.marlowe.iohkdev.io/doc/marlowe/tutorials/index.html

https://docs.cardano.org/projects/plutus/en/latest/marlowe/tutorials/index.html

M谩s traducciones de Cardano en: Cardano For The World

2 Likes