실제로 Git 브랜치는“Hilbert 공간의 하위 매니 폴드를 매핑하는 동종 이형 endofunctors”입니까?

우리 모두 알다시피 :

지점이 Hilbert 공간의 하위 매니 폴드를 매핑하는 동종 이형 endofunctors임을 이해하면 Git이 더 쉬워집니다.

어떤이 보인다 전문 용어처럼, 그러나 다른 한편으로는,

모두 말했듯이 X의 모나드는 X의 endofunctors 범주의 단일체이며 product ×는 endofunctor의 구성 요소로 대체되고 단위 endofunctor로 설정된 단위로 대체됩니다.

이다 는 사실 때문에 재미 .

이 간단한 텍스트 를 읽으면 실수를 피할 수 있습니까 ?

git

— 래리 오브리 엔
소스

git 애호가이자 응용 수학 석사 학위를 소지 한 사람으로서 나는 대답이 "아니오"라고 생각합니다.

— joshin4colours

누군가 수학 책을 읽으려고했지만 실패한 것 같습니다.

— tp1

나는 사람들이 내가 묻는 것이 확실하지 않다는 이유로 투표를 종료 한 이유를 이해하지 못한다. 내가 인용 한 문구가 사실인지 묻고 있습니다. (내가 인용 한 문구는 Google에서 확인할 수 있듯이 널리 퍼져 있습니다.)

— Larry OBrien

권장 독서 : $ {blog} 토론

— gnat

당신이 그 문장의 의미를 얻기 위해 시도하는 시간을 소비하면, 힘내 정말 수 ... 이전보다 이해하기 비교적 쉬운 것

— stakx

답변:

그것은 모나드 농담을 기반으로하지만 실제로 모나드 농담을 얻지 않은 농담입니다.

모나드 농담은 3 단계로 재미 있습니다.

더 많은 수학적 전문 용어로 추상 수학적 전문 용어를 설명하려고 시도합니다.
그러나 설명은 실제로 정확합니다
범주 이론에 대해 더 깊이 알게되면 실제로 모나드가 "endofunctors 범주의 단일체"로 인식되기 시작합니다.

그러나 Git은 임의의 횡설수설이다. 그것은 모나드 농담과 유사하며 darcs 패치 이론에서 b 일 수도 있지만, 기본적으로 농담을 한 사람은 모나드 농담을 이해하지 못했습니다.

출처 :

이 인용문을 포함하는 원래 트윗입니다 :

Wil Shipley (@wilshipley) : 달콤한 신이 싫어.

Isaac Wolkerstorfer (@agnoster) : @wilshipley git 브랜치가 힐버트 공간의 하위 매니 폴드를 매핑하는 동종 이형 endofunctors라는 기본 아이디어를 얻으면 더 쉬워집니다.

그리고 이것은 트윗의 원저자에 의해 Quora에 대한 주석입니다 :

레오가 말한 것을 확인하기 위해 그것은 농담이었습니다. […]

그것은 확실히 혀로 혀로 만들어졌습니다. 나는 실제로 자식을 좋아하고, 그 복잡성이 크게 과장되었다고 생각합니다. 동시에, 나는 git gurus의 초보자부터 초보자까지의 조언이 말로 표현할 수없는 횡설수설처럼 들릴 수 있다는 사실에 공감합니다.

더 깊은 의미를 가지려는 의도는 없습니다. […]

그가 언급 한 레오 는 같은 실에서 수학자 인 또 다른 답변자인데, 기본적으로 그것이 왜 말도 안되는지를 설명합니다. 힐버트 공간은 연속적이며 패치와 분기는 분리되어 있습니다.

또한 그는 이 블로그 게시물 (공간적 유추를 사용하는 GIT 가이드) 에서 영감을 얻었으며 실제로 의미 가 있다고 설명합니다 .

— 요 르그 W 미타 그
소스

실망 스럽습니다.

— Larry OBrien

@amon : 나는 그 농담의 저자에 의한 인용문을 추가했는데, 그는 그 진술이 잠재적으로 우연히 일치한다는 의미는 전적으로 우연이라고 설명합니다. 충분히 노력하면 실제로 손으로 쓸만한 문장을 만들 수 있습니다. "

— Jörg W Mittag

이 진술이 왜 틀린지를 배제하기 위해 이산 대 연속 추론에 +1 :)

— joshin4colours

나는 항상 농담의 저자가 모나드 농담을 받았지만 패러디로 횡설수설하기 위해 의도적으로 내렸다고 가정했습니다. 그럴듯 해지기 시작하고 꾸준히 줄어드는 것들 중 하나가 끝날 때까지 그 횡설수설을 확신 할 수 있습니다. 그가 모나드 농담을하지 않았다는 결론을 내릴 수없는 것 같습니다.

— psr September

당신은 찾을 수 이 설명의 자식이 양분 농담을 설명하는데 유용. 저자를 주목하십시오.

저자가 확인한 농담 이며 Jörg W Mittag의 답변이 자세히 설명되어 있습니다.

그러나 진실은 소설보다 낯선 것이 될 수 있습니다…

버전 제어, 특히 David Roundy의 패치 이론 인 Darcs (가장 인기있는 Bazaar, Git 및 Mercurial보다 몇 년 전의 분산 버전 제어 시스템 )의 기반이되는 패치 이론을 공식화하는 작업이있었습니다 . 이론의 주요 목표는 병합, 특히 충돌 해결을 모델링하는 것입니다. Darcs 위키 이론에 대한 소개와 몇 가지 포인터뿐만 아니라이 참고 문헌 (이 주제에 대한 최근보기를 원하는 경우 너무 오래된 전혀 관리가되지 않고,하지만 그것은 목록 않습니다 페트르 Baudiš에 의해 2009 설문 조사 용지 ) 및 목록 회담 ( 최신 자료를 포함합니다). 도있다 wikibook은 . 하나의 종이는버전 관리에 대한 원칙적인 접근 안드레스 LOH, WOUTER Swierstra 및 Daan Leijen3에 의해 .

패치 이론은 최근에 탐구 된 범주 모델로 이어질 않는 패치의 범주 이론 사무엘 Mimram 및 Cinzia 디 Giusto은로 와 Homotopical 패치 이론 카를로 Angiuli에 의해, 에드 모어 하우스, 다니엘 R. 리카 타와 로버트 하퍼 . Mimram과 Di Giusto의 작품에서이 모델은 파일을 객체로, 패치를 형태로 만듭니다. 단일 리포지토리에서 작업하는 경우 브랜치를 병합하는 기능을 수행합니다. “동종 형 endofunctor”는 이해가되지 않습니다. 그리고 최근 동종 학 이론 (미적분학의 개념-매니 폴드와 힐버트 공간과 같은 것들을 연구하는 수학의 한 분야)-이 최근에 불리는 수학의 기본 모델에 적용되었습니다호모 토피 유형 이론 ), 힐버트 공간의 하위 매니 폴드는 그리 멀지 않을 수 있습니다 ...

— 질 'SO- 악마 그만해'
소스

또한 Darcs는 Haskell로 작성되었으므로 모나드를 기반으로합니다. :-)

— Wyzard