▲
GN⁺ 2024-12-11 | parent | ★ favorite | on: 트리 계산법(treecalcul.us)
Hacker News 의견

  • Tree Calculus는 매우 흥미롭고 이 웹사이트 외에도 많은 함의가 있음. 그러나 웹사이트가 창작자이자 저자인 Prof. Barry Jay를 언급하지 않는 점이 아쉬움. 그의 책은 GitHub에서 확인 가능함

  • Tree Calculus는 매우 멋진 개념으로 보임. 하지만 더 쉽게 이해할 수 있는 설명이 필요함. 초보자를 위한 버전이 있는지 궁금함

  • 홈페이지에서 "Democratizing Functions"와 "Democratizing Metatheory"라는 문구를 사용하고 있음. 이 단어의 사용이 적절한지 의문이 듦

  • Tree Calculus의 논리적 축소 규칙을 이해하기 위해 시각적으로 표현한 그림을 만들어 봄. 시각적 사고를 하는 사람들에게 유용할 수 있음

  • 이 내용을 이해하는 척하며 투표하는 사람들이 있는지 궁금함

  • Tree Calculus가 Lisp나 Forth와 다른 점을 설명해 줄 수 있는지 궁금함. 비판이 아닌 이해를 위한 질문임

  • Python 코드 예시를 통해 Tree Calculus의 기본 개념을 설명함

    • Leaf, Stem, Fork와 같은 기본 구조를 정의하고, apply 함수로 논리를 구현함
    • show 함수를 통해 결과를 출력함

  • Z 조합자를 SKI에서 Tree Calculus로 변환해 보려는 시도를 함. 람다 계산법 예제를 사용하여 트리를 출력함

  • Tree Calculus 규칙을 이진 트리의 패턴 매칭으로 시각화한 결과를 공유함

  • Johannes가 Tree Calculus를 실험하고, GitHub에 있는 자신의 책에서 암시적으로만 언급된 가능성을 명시적으로 보여주는 것이 매우 좋음. 이제 타입이 있는 Tree Calculus가 생겨 블로그를 시작함