Alquimista de código

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

  Ada language posee paquetes para poder introducir datos de tipo Character (String o Text), Flotante (Float) e Entero (Integer). Crearemos un programa que nos permita introducir datos. Ejemplo 1. Calcular el valor futuro teniendo un monto original (valor presente), tasa de interés y un plazo de pago. Algoritmo: presente = 0.00 ; tasa = 0.0 ; perio do = 0 ; futuro = 0.0 ; extra = 0.0 print ( "Monto original: " , presente ) ; input presente; print ( "Tasa de interes: " , tasa ) ; input tasa; tasa = tasa / 100 ; print ( "Plazo en meses: " , plazo ) ; input plazo; for i = 1 to perio do futuro = presente * pow ( 1 + tasa , perio do ); print ( "Monto a pagar: " , futuro , " en el periodo: " , i ) ; end extra = futuro - presente; print ( "Monto a pagar: " , futuro ) ; print ( "Extra a pagar: " , extra ) ; Creamos el proyecto Ada y nos ubicamos en el directorio creado: alr init - - bin

  En entregas pasadas vimos como crear y ejecutar un programa en Ada. En está ocasión veremos cómo crear paquetes e invocarlos desde otro programa. El programa es sobre el cálculo del valor futuro o interés compuesto. Donde tendremos un valor presente o monto inicial, una tasa de interés y un plazo. Cálculo del valor futuro en Ada Lang Creamos el proyecto: alr init Invoca_Calculo - - bin Nos ubicamos en la carpeta creada: cd invoca_calculo Dentro de la carpeta del proyecto, creamos los archivos necesarios para el paquete `` Interes_Pkg `` y el programa principal. src/interes_pkg.ads src/interes_pkg.adb src/invoca_calculo.adb interes_pkg.ads -- Archivo: src/interes_pkg.ads package Interes_Pkg is procedure Calcula_Interes; end Interes_Pkg; Este será la especificación del paquete. interes_pkg.adb -- Archivo: src/interes_pkg.adb with Ada.Text_IO; with Ada.Float_Text_IO; with Ada.Numerics.Elementary_Functions; package body Interes_Pkg is procedu

En un anterior post vimos como instalar GraalVM : https://alquimistadecodigo.blogspot.com/2023/11/graalvm-en-windows-instalacion-y.html Ahora vamos a ver cómo crear una imagen nativa usando GraalVM . Primero que nada, debemos contar con: Visual Studio instalado (el Community nos servirá). Tener GraalVM instalado y configurado. Pasos: Crearemos un programa Java con el clásico "Hola, mundo". Compilaremos el programa con el JDK de GraalVM. Una vez compilado el programa, procedemos a crear la Imagen Nativa. Ejecutar el programa resultante. HolaMundo.java public class HolaMundo { public static void main ( String [ ] args ) { String mundo = new String ( "mundo!!" ) ; System . out . printf ( "Hola, %s \n " , mundo ) ; } } Verificamos la instalación del JDK de GraalVM: C:\Users\HP\Documents\pruebasGraalvm>%GRAALVM_HOME%\bin\java --version java 21.0.1 2023-10-17 Java(TM) SE Runtime Environment Oracle GraalVM 21.0.1+

Ada es un lenguaje con un sistema de tipos muy robusto y flexible, diseñado para garantizar la seguridad y fiabilidad del software. Es conocido por su riguroso control de tipos y su capacidad para definir tipos personalizados . A continuación veremos los tipos de datos que maneja Ada. Tipos de datos que maneja Ada Tipos escalares. Tipos de Datos Compuestos. Tipos de Datos de Acceso. Tipos Enumerados. Tipos de Datos de Tiempo. Tipos de Datos de Subtipo. Tipos de Datos Protegidos. Tipos Derivados. Tipos de Datos Discriminados. Tipos de Datos de Tareas (Tasks). Tipos escalares Integers (enteros), Reales, Booleanos y de tipo caracter (Character). subtype Small_Int is Integer range 1 . . 100 ; type Real_Type is digits 10 ; type Fixed_Type is delta 0.01 range - 100.0 . . 100.0 ; Bool_Value : Boolean : = True ; Char_Value : Character : = ' A ' ; Tipos de Datos Compuestos Arrays, String y registros (Record).

Ada Lovelace es considerada como "la primera programadora del mundo" y de su nombre fue nombrado un lenguaje de programación: Ada Lang . Un lenguaje de programación cuyas características son: Permite la programación modular. Es fuertemente tipado. Originalmente para sistemas embebidos. Programación orientada a objetos. Etc. Se puede obtener más información desde este sitio: ¿Why Ada? Ada tiene la fama de ser usado en: Aeronáutica. Fuerzas armadas. NASA. Etc. Se dice que un programa hecho con Ada no puede tener opción a las fallas, ya que de este dependen operaciones que ponen en riesgo la vida de muchas personas(sic). ¿Será esto verdad? Instalando Ada Debemos descargarlo de: Alire Si tienes problemas al instalar, puedes checar esto: https://www.softzone.es/windows/como-se-hace/desactivar-smartscreen/ Tendrás que agregar la variable de entorno: C:\Program Files\Alire\bin Una vez instalado ya gregada la variable de entorno, debemos abrir una terminal