An overview of the ciao multiparadigm language and program development environment and its design philosophy

We describe some of the novel aspects and motivations behind the design and implementation of the Ciao multiparadigm programming system. An important aspect of Ciao is that it provides the programmer with a large number of useful features from different programming paradigms and styles, and that the use of each of these features can be turned on and off at will for each program module. Thus, a given module may be using e.g. higher order functions and constraints, while another module may be using objects, predicates, and concurrency. Furthermore, the language is designed to be extensible in a simple and modular way. Another important aspect of Ciao is its programming environment, which provides a powerful preprocessor (with an associated assertion language) capable of statically finding non-trivial bugs, verifying that programs comply with specifications, and performing many types of program optimizations. Such optimizations produce code that is highly competitive with other dynamic languages or, when the highest levéis of optimization are used, even that of static languages, all while retaining the interactive development environment of a dynamic language. The environment also includes a powerful auto-documenter. The paper provides an informal overview of the language and program development environment. It aims at illustrating the design philosophy rather than at being exhaustive, which would be impossible in the format of a paper, pointing instead to the existing literature on the system.

Towards an Active Design. An Approach on the Body Interaction with the Built Environment.

El impacto de la tecnología en el ambiente construido y en las actividades en él desarrolladas, es una de las causas de la progresiva sedentarización de la especie humana. Desde un enfoque que analiza la interacción del cuerpo con la arquitectura, a través de distintas referencias en escalas diversas, esta investigación intenta establecer la relación entre la evolución del ambiente pasivo y la sedentarización, proponiendo frente a un espacio mecanizado y digitalizado que disminuye la actividad física humana, la búsqueda de nuevos tipos de espacios arquitectónicos que promuevan el movimiento repercutiendo en el bienestar y la salud. Esta tesis estudia por tanto el impacto de la tecnología en el espacio, intentando aproximarse a estrategias que disminuyan el efecto pasivo y estimulen la actividad motora. Estas propuestas abarcan tanto la ciudad, como la edificación y el propio espacio doméstico afectando a los sistemas de circulación, a la configuración espacial y sobre todo a la incorporación de ”espacios activos”, en donde se contempla la posibilidad de un uso alternativo de la tecnología como un elemento positivo.