Como todos sabemos:
Git se vuelve más fácil una vez que comprendes que las ramas son endofunctores homeomórficos que mapean submanifolds de un espacio de Hilbert
Lo que parece una jerga, pero por otro lado,
En total, una mónada en X es solo un monoide en la categoría de endofunctores de X, con el producto × reemplazado por la composición de endofunctores y la unidad establecida por el endofunctor de identidad.
Es gracioso porque es verdad .
¿Puedo evitar unir errores al leer este texto simple ?
Respuestas:
Es un chiste, que se basa en el chiste de la mónada, pero sin obtener realmente el chiste de la mónada.
El chiste de la mónada es divertido en tres niveles:
Lo de Git, sin embargo, es un galimatías aleatorio. Está destinado a parecerse al chiste de la mónada, y también podría ser un golpe para la teoría del parche de Darcs, pero fundamentalmente, la persona que hizo el chiste no entendió el chiste de la mónada.
Fuentes:
Este es el tweet original que contiene la cita :
Y este es un comentario sobre Quora del autor original del tweet :
El Leo al que se refiere es otro que responde en el mismo hilo, un matemático, que básicamente explica por qué eso no tiene sentido. (Los espacios de Hilbert son continuos, los parches y las ramas son discretos).
También explica que se inspiró en esta publicación de blog (Una guía para GIT usando analogías espaciales) , que en realidad tiene sentido.
fuente
Es una broma, como lo confirma el autor y la respuesta de Jörg W Mittag lo explica con más detalle.
Pero la verdad puede ser más extraña que la ficción ...
Ha habido un trabajo de formalización del control de versiones, en particular la teoría de parches de David Roundy, que es la base de Darcs (un sistema de control de versiones distribuido que precedió al Bazar, Git y Mercurial más populares por un par de años, pero nunca alcanzó su popularidad). El objetivo principal de la teoría es modelar la fusión y, en particular, la resolución de conflictos. El wiki de Darcs tiene una introducción a la teoría y algunos consejos, así como una bibliografía (sin mantenimiento, así que está desactualizado si desea una visión reciente sobre el tema, pero contiene una encuesta de 2009 de Petr Baudiš ) y una lista de charlas ( que incluye material más reciente). También hay un wikibook . Un artículo seminal esUn enfoque basado en principios para el control de versiones por Andres Löh, Wouter Swierstra y Daan Leijen3 .
La teoría del parche conduce a un modelo categórico, que ha sido explorado más recientemente en A Categorical Theory of Patches por Samuel Mimram y Cinzia Di Giusto y Homotopical Patch Theory por Carlo Angiuli, Ed Morehouse, Daniel R. Licata y Robert Harper . En el trabajo de Mimram y Di Giusto, el modelo tiene archivos como objetos y parches como morfismos. Creo que eso hace que la fusión de una rama sea un functor, un endofunctor si está trabajando en un único repositorio. "Endofunctor homeomórfico" no tiene sentido para mí. Y con la teoría de la homotopía involucrada (un concepto de cálculo, esa es la rama de las matemáticas que estudia cosas como múltiples y espacios de Hilbert) que recientemente se ha aplicado a un modelo fundamental de matemáticas llamadoteoría del tipo de homotopía ), los submanifolds de un espacio de Hilbert podrían no estar tan lejos ...
fuente