Tutoriels de Marlowe
Ce document donne un aperçu d’un ensemble de tutoriels de Marlowe.
[Notez que les liens seront mis à jour au fur et à mesure que les traductions seront effectuées]
- Introduction de Marlowe Ce tutoriel donne une vue d’ensemble des idées derrière Marlowe, en tant que langage spécifique au domaine intégré à Haskell. Il présente également les engagements et les timeouts, qui sont essentiels au fonctionnement de Marlowe dans un contexte de blockchain.
- Un premier exemple Ce tutoriel présente un contrat financier simple en pseudocode, avant d’expliquer comment il est modifié pour fonctionner dans Marlowe, en donnant le premier exemple de contrat Marlowe.
- Le modèle Marlowe Dans ce tutoriel, nous examinons notre approche générale de la modélisation des contrats dans Marlowe, ainsi que le contexte dans lequel les contrats Marlowe sont exécutés : la blockchain Cardano. Ce faisant, nous présentons également une partie de la terminologie standard que nous utiliserons pour décrire Marlowe.
- Marlowe étape par étape Ce tutoriel explique les cinq façons de construire des contrats dans Marlowe. Quatre de celles-ci – Pay, Let, If et When – construisent un contrat complexe à partir de contrats plus simples, et la cinquième, Close, est un contrat simple. En expliquant ces contrats, nous expliquerons également les Marlowe values , observations et actions , qui sont utilisés pour fournir des informations et des données externes à un contrat en cours d’exécution afin de contrôler son évolution.
- Marlowe dans Blockly Cette section montre comment les contrats Marlowe sont construits à l’aide de l’environnement de programmation visuelle Blockly…
- Les types de données Marlowe Ce tutoriel présente formellement Marlowe en tant que type de données Haskell, ainsi que les différents types utilisés par le modèle, et discute un certain nombre de suppositions concernant l’infrastructure dans laquelle les contrats seront exécutés.
- Marlowe intégré dans Haskell Ce tutoriel montre comment utiliser certaines fonctionnalités simples de Haskell pour écrire des contrats Marlowe qui sont plus lisibles, maintenables et réutilisables, illustré par la revisite du contrat escrow.
- Marlowe intégré dans JavaScript Marlowe est également intégré dans JavaScript, et nous montrons ici comment les contrats Marlowe peuvent être créés et modifiés en JavaScript.
- Le Marlowe Playground Ce tutoriel présente le Marlowe Playground, un outil en ligne permettant de créer des contrats Marlowe intégrés et de suivre leur exécution de manière interactive.
- Problèmes potentiels avec les contrats Ce tutoriel examine comment ne pas rédiger les contrats Marlowe, et ce qui peut mal se passer lors de l’exécution des contrats, même s’ils ont été rédigés correctement.
- Analyse statique Les contrats Marlowe peuvent être analysés sans les exécuter. Ainsi, par exemple, nous pouvons vérifier qu’un contrat effectuera toujours les paiements qui lui sont demandés, quelles que soient les entrées qu’il reçoit. Ce tutoriel explique cela, et comment exécuter une analyse dans le playground.
- ACTUS et Marlowe Ce tutoriel présente l’idée générale de la taxonomie ACTUS, ainsi que des exemples mis en œuvre dans Marlowe.
- Actus Labs Les Actus Labs permettent de générer différents styles de contrats Actus à partir des paramètres qui décrivent l’instance particulière du contrat.
- Simulation de portefeuilles La simulation de portefeuilles présente une vue d’un contrat en cours du point de vue d’un participant à ce contrat, plutôt que la vue “omnisciente” donnée dans l’onglet de simulation.
- Utiliser Marlowe depuis la ligne de commande ghci Ce tutoriel vous montre comment utiliser Marlowe depuis la ligne de commande dans ghci, et en particulier comment exercer un contrat en utilisant la sémantique donnée plus haut.
- Migration à partir de versions antérieures de Marlowe Nous expliquons ici comment la version actuelle de Marlowe est liée aux versions antérieures.
Ces tutoriels couvrent la version actuelle de Marlowe, qui est implémentée dans le Marlowe Playground, et disponible ici .
La version couverte par l’article d’ISoLA, et prise en charge par la version originale de Playground (appelée Meadow), est étiquetée v1.3 et est disponible ici .
© Copyright 2020, IOHK Revision b8f2855c.
Vous trouverez une copie officielle de ce document ici :
https://alpha.marlowe.iohkdev.io/doc/marlowe/tutorials/index.html
https://docs.cardano.org/projects/plutus/en/latest/marlowe/tutorials/index.html