🇪🇸 Marlowe Playground 1: visión general

:es: Traducción al español de “Marlowe Playground 1: overview”

Publicado en el canal de Youtube de Simon Thompson el 17 de Abril de 2020

Enlace a la versión doblada al español


Hola, soy Simon Thompson, soy líder del equipo Marlowe en IOHK, lo que quiero hacer aquí es hablarte del Playground Marlowe, que es una herramienta basada en navegador para construir e interactuar con los contratos Marlowe. Cuando abres el Playground verás uno de tres paneles, se abrirá en el panel de simulación y ese es el lugar, una vez que has escrito un contrato, donde puedes interactuar con él, puedes intentar caminar a través de él interactivamente, tomar pasos, deshacer esos pasos, tomando otras decisiones, para que puedas explorar la forma en que el contrato se comporta. También podemos, dentro de este panel, hacer algunos análisis para que simbólicamente podamos recorrer cada posible entrada para el contrato y ver que tiene ciertas propiedades. Queremos asegurarnos, por ejemplo, de que no nunca falle en hacer un pago que debería hacer. La simulación es un lugar donde podemos explorar los contratos una vez que los hemos escrito, pero hay dos maneras en que te damos, en realidad tres maneras, pero dos maneras extra que te damos para escribir un contrato. En el panel de simulación en sí mismo puedes escribir un contrato Marlowe aquí y ese es el contrato que será simulado. Pero si haces clic en el panel de editor de Haskell, lo que podemos hacer es construir un contrato usando instalaciones de Haskell, lo que tenemos aquí es una selección de contratos de ejemplo que pueden ver aquí arriba y lo que hemos hecho aquí es construir un contrato, hay algo llamado contrato, de contrato tipo y eso es una descripción más legible de un contrato más grande. Así que para que podamos hacer eso en Haskell, podemos entonces presionar el botón de compilación que lo convertirá en Marlowe y luego podemos enviar el resultado al simulador, para que podamos componer cosas en Haskell y luego simularlas.

Hablaré de los detalles del simulador cuando construyamos algunos ejemplos, pero sólo para pasarte a través de algunos de las otras cosas que puedes ver en este panel, de nuevo, tenemos ejemplos que podemos cargar aquí, podemos convertir un contrato aquí en su formato visual, en Blockly para que podamos hacer eso, podemos ver que hay un formato visual, volveremos a eso en un segundo, podemos guardar los contratos en Github, esto es parte del simulador en el lado derecho, estas son las cosas que crean entradas y transacciones para la simulación y ahí ves los resultados de los pasos de la simulación y los veremos en acción un poco más tarde. Pero la otra cosa que yo debería señalar es que abajo, en la esquina izquierda, puedes ver que hay, y esto es cierto en todas las pestañas, hay un enlace a un tutorial y esto nos da una visión general de Marlowe en detalle, así que volvamos a donde estábamos. Así que hemos dicho que una forma de crear contratos es en el editor de Haskell y entonces podemos poner el interés en la simulación. De la otra forma en que podemos crear contratos es crearlos en el Playground, ahora lo que estás viendo aquí es un ejemplo de un contrato que ya fue escrito, que lo hemos convertido en un formato visual, pero lo que te mostraré en los videos subsiguientes es cómo podemos construir contratos de esta manera desde cero sin tener que pensar en programar nada, así que eso es lo que haremos a continuación.