Hive: paquetes y lenguajes, firmados dos veces
Cómo se construyen, firman, publican y verifican los paquetes de Hive, y por qué un paquete de lenguaje del registro de lenguajes lleva dos firmas, la de su autor y la del registro.
Cómo se construyen, firman, publican y verifican los paquetes de Hive, y por qué un paquete de lenguaje del registro de lenguajes lleva dos firmas, la de su autor y la del registro.
Un recorrido por el camino que sigue un programa dentro de Larva, desde el frontend de un paquete de lenguaje, pasando por HIR, la reducción, Larva IR y el verificador de préstamos, hasta los back ends, el runtime y sus recolectores de basura, con enlaces al libro de internos.
Antril es un lenguaje de tipado estático en el que cada proyecto elige cómo gestionar su memoria. Larva es la cadena de herramientas que lo compila. La versión 0.8 trae instaladores para Windows, Linux y macOS, una biblioteca estándar compilada, paquetes de lenguaje y el gestor de paquetes Hive.