Hoy, una charla de Henning Kerstan ("Trace Semantics for Probabilistic Transition Systems") me enfrentó por primera vez a la teoría de categorías. Ha construido un marco teórico para describir los sistemas de transición probablísticos y su comportamiento de manera general, es decir, con conjuntos de estados infinitamente incontables y diferentes nociones de trazas. Con este fin, pasa por varias capas de abstracción para finalmente terminar con la noción de mónadas que combina con la teoría de la medida para construir el modelo que necesita.
Al final, le tomó 45 minutos (aproximadamente) construir un marco para describir un concepto que explicó inicialmente en 5 minutos. Aprecio la belleza del enfoque (que no generalizar Nicely sobre diferentes nociones de trazas), pero me parece extraño, sin embargo, un equilibrio.
Me cuesta ver qué es realmente una mónada y qué tan general un concepto puede ser útil en aplicaciones (tanto en teoría como en práctica). ¿Realmente vale la pena el esfuerzo, en cuanto a resultados?
Por lo tanto esta pregunta:
¿Existen problemas naturales (en el sentido de CS) en los que la noción abstracta de mónadas se puede aplicar y ayuda (o incluso es instrumental) para obtener los resultados deseados (en absoluto o de una manera más agradable que sin ellos)?