Teoría de categorías aplicada a la programación funcional con Agda.

Teoría de categorías aplicada a la programación funcional con Agda es una implementación de algunos conceptos de la programación funcional que están basados o han sido tomados de la teoría de categorías (categorías, functores, functores aplicativos, mónadas...). En este artículo se analizan las diferencias entre la definición formal de un functor y su definición en el lenguaje de programación Haskell, y se implementa un functor en el asistente de pruebas Agda que soluciona dichas diferencias

Category theory applied to functional programming

We study some of the applications of category theory to functional programming, particularly in the context of the Haskell functional programming language, and the Agda dependently typed functional programming language and proof assistant -- More specifically, we describe and explain the concepts of category theory needed for conceptualizing and better understanding algebraic data types and folds, functors, monads, and parametrically polymorphic functions -- With this purpose, we give a detailed account of categories, functors and endofunctors, natural transformations, monads and Kleisli triples, algebras and initial algebras over endofunctors, among others -- In addition, we explore all of these concepts from the standpoints of categories and programming in Haskell, and, in some cases, Agda -- In other words, we examine functional programming through category theor

ENGIU: Encuentro Nacional de Grupos de Investigación de UNIMINUTO.

El desarrollo del prototipo para el sistema de detección de Mina Antipersona (MAP), inicia desde el semillero ADSSOF perteneciente al programa de Administración en Seguridad y Salud en el trabajo de la UNIMINUTO, se realiza a partir de un detector de metales que emite una señal audible, que el usuario puede interpretar como aviso de presencia de un objeto metálico, en este caso una MAP. La señal audible se interpreta como un dato, como ese dato no es perceptible a 5 metros de distancia, se implementa el transmisor de Frecuencia Modulada FM por la facilidad de modulación y la escogencia de frecuencia de transmisión de acuerdo con las normas y resolución del Ministerio de Comunicaciones; de manera que esta sea la plataforma base para enviar los datos obtenidos a una frecuencia establecida. La idea es que el ser humano no explore zonas peligrosas y buscar la forma de crear un sistema que permita eliminar ese riesgo, por otro lado, buscar la facilidad de uso de elementos ya disponibles en el mercado