Alquimista de código

Plutus es un lenguaje de programación diseñado específicamente para escribir contratos inteligentes en la blockchain de Cardano . Características principales de Plutus Base en Haskell : Plutus está basado en Haskell, un lenguaje de programación funcional puro conocido por su robustez y seguridad matemática. Esto significa que utiliza conceptos como funciones puras, inmutabilidad y tipos fuertes, lo que reduce errores y mejora la verificabilidad del código.  Contratos inteligentes en Cardano: Plutus es el núcleo de la infraestructura de contratos inteligentes de Cardano. Permite a los desarrolladores definir lógica personalizada para transacciones en la blockchain, como acuerdos financieros, subastas o sistemas de gobernanza descentralizada.  Ejecución en dos entornos: On-chain: Una parte del código de Plutus se ejecuta directamente en la blockchain de Cardano para validar transacciones. Este código debe ser eficiente y seguro, ya que afecta el consenso de la red....

En entregas pasadas hemos visto cómo crear proyectos en Ada Lang. Para ello, hemos instalado Alire . Sin embargo, para poder compilar nuestros programas en Ada existe un compilador llamado Gnat que nos permitirá probar nuestro código sin tener que crear todo un proyecto. Empezamos con ir a este sitio y descargarlo: https://www.adacore.com/download/more Nosotros elegimos una distribución para Windows. Procedemos a instalarlo y una vez hecho, agregamos el path en nuestro sistema (ir a variables de entorno): C:\GNAT\2021\bin Listamos la version instalada: gprbuild - - version GPRBUILD Community 2021 ( 20210519 ) ( x86_64 - w64 - mingw32 ) Copyright ( C ) 2004 - 2021 , AdaCore This is free software; see the source for copying conditions . There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE . Si queremos instalarlo en Ubuntu: su do apt - get install gnat Ahora creamos un programa sencillo de "Hola, mundo" con extensi...