As ramificações do Git são, de fato, “endofuncionais homeomórficos mapeando subvariedades de um espaço de Hilbert”?

49

Como todos sabemos:

Git gets easier once you understand branches are homeomorphic endofunctors mapping submanifolds of a Hilbert space

Qual parece como jargão, mas por outro lado,

All told, a monad in X is just a monoid in the category of endofunctors of X, with product × replaced by composition of endofunctors and unit set by the identity endofunctor.

é engraçado porque é verdade .

Posso evitar erros de mesclagem lendo este texto simples ?

    
por Larry OBrien 16.09.2014 / 22:59
fonte

2 respostas

59

É uma piada, que é baseada na piada do mônade, mas sem realmente ter a piada da mônada.

A piada da mônada é engraçada em três níveis:

  1. tenta explicar o jargão matemático abstrato com ainda mais jargão matemático, que é ainda mais abstrato
  2. no entanto, a explicação está correta
  3. e uma vez que você mergulhe mais fundo na teoria das categorias, você realmente começará a ver as mônadas como "apenas um monóide na categoria de endofonitores"
A coisa do Git, no entanto, é apenas um jargão aleatório. Ele pretende se assemelhar a piada de mônada, e também pode ser um jab na teoria de patch de darcs, mas, fundamentalmente, a pessoa que faz a piada não entendeu a piada de mônada.

Fontes:

Este é o tweet original que contém a citação :

Wil Shipley (‏@wilshipley): Sweet god I hate git.

Isaac Wolkerstorfer (‏@agnoster): @wilshipley git gets easier once you get the basic idea that branches are homeomorphic endofunctors mapping submanifolds of a Hilbert space.

E este é um comentário no Quora pelo autor original do tweet :

To confirm what Leo said, it was intended as a joke. […]

It was intended as firmly tongue-in-cheek. I actually love git, and I think its complexity is greatly overblown. At the same time, I'm sympathetic to the fact that advice from git gurus to novices can end up sounding like inscrutable gibberish.

It's not intended to have any deeper meaning. […]

O Leo a quem ele está se referindo é outro respondente no mesmo segmento, um matemático, que basicamente explica por que isso é um absurdo. (Os espaços de Hilbert são contínuos, os patches e os ramos são discretos).

Ele também explica que foi inspirado por este post do blog (um guia para o GIT usando analogias espaciais) , o que realmente faz faz sentido.

    
por 16.09.2014 / 23:40
fonte
8

É uma piada, pois confirmado pelo autor e a resposta de Jörg W Mittag explica com mais detalhes.

Mas a verdade pode ser mais estranha que a ficção ...

Houve um trabalho de formalização do controle de versão, em particular a teoria de patch, por David Roundy, que é a base de Darcs ( um sistema de controle de versão distribuída que precedeu o Bazaar, o Git e o Mercurial mais populares por um par de anos, mas nunca alcançou sua popularidade). O principal objetivo da teoria é modelar a fusão e, em particular, a resolução de conflitos. O wiki do Darcs tem uma introdução à teoria e algumas dicas, bem como um bibliografia (não atualizada se você quiser uma visão recente sobre o assunto, mas ela lista um 2009 documento de pesquisa de Petr Baudiš e uma lista de palestras (que inclui material mais recente). Há também um wikibook . Um artigo seminal é Uma Abordagem Baseada em Princípios ao Controle de Versão por Andres Löh, Wouter Swierstra e Daan Leijen3 .

A teoria do Patch leva a um modelo categórico, que foi explorado mais recentemente em Uma Teoria Categórica de Patches por Samuel Mimram e Cinzia Di Giusto e Teoria de Patches Homotópicos por Carlo Angiuli, Ed Morehouse, Daniel R. Licata e Robert Harper . No trabalho de Mimram e Di Giusto, o modelo possui arquivos como objetos e patches como morfismos. Eu acho que isso faz da fusão de um branch um functor - um endofunctor se você estiver trabalhando em um único repositório. “Endofuncional homeomórfico” não faz sentido para mim. E com a teoria da homotopia envolvida (um conceito de cálculo - que é o ramo da matemática que estuda coisas como variedades e espaços de Hilbert - que foi recentemente aplicada a um modelo fundamental de matemática chamado teoria do tipo de homotopia ), subvariedades de um espaço de Hilbert pode não estar tão longe fora ...

    
por 18.08.2015 / 20:11
fonte

Tags