Estructuras elásticas: una introducción formal
Year: 2026
Type: article
Abstract: Este artículo presenta una formalización revisada de las estructuras elásticas, propuestas originalmente en “Introducción a las estructuras elásticas” (Casadevall, 2020). La idea de partida es que un objeto con propiedades y métodos, como un objeto JSON con funciones, puede producir más valores de los que almacena. El trabajo modela un objeto como un álgebra tipada finita y distingue dos semánticas: la ligada, donde cada método es una propiedad calculada, y la abierta, donde cada método puede recibir cualquier propiedad de tipo compatible. A partir de ahí define la capacidad de evaluación, el número de valores distintos y un coeficiente elástico k que los compara con el tamaño declarado del objeto. El resultado principal caracteriza exactamente cuándo un objeto se expande: con n propiedades y métodos de aridades a₁, …, a_l, ocurre si y solo si Σ(n^aⱼ − 1) > n. Se demuestran además monotonía, una cota para métodos simétricos, superaditividad bajo composición y la relación entre k y el crecimiento del estado al materializar valores. El artículo corrige varios problemas de la versión de 2020, discute aplicaciones en pruebas combinatorias, memoización y composición de módulos, y plantea problemas abiertos teóricos y empíricos.
Author: Casadevall, Alex
Language: Spanish
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7224999741