Hacker News 의견

• 컴퓨터 과학 논문에서의 타입 시스템 표기법에 대한 논의, BNF 표기법, 추론 규칙 등에 대한 기초 설명
• 표기법의 기원은 Frege로 추적되며, 회전문 심볼과 수평선이 핵심 요소
• 컴퓨터 과학 전공자임에도 불구하고, 일부 독자들은 |-와 |=, 그리고 사용된 변수의 메타-구문 수준의 의미를 혼란스럽게 느낌
• 설명은 감사하지만, 일부 독자들은 왜 Stack Exchange에서 작성되었는지, 다른 플랫폼인 lexi-lambda.github.io에서는 왜 작성되지 않았는지 의문
• Benjamin C. Pierce의 "Types and Programming Languages"는 이러한 내용을 다루는 좋은 교재로 추천
• 일부 독자들은 수년 동안 이 주제에 대해 궁금해하였지만, 어떻게 접근해야 할지 몰랐음
• Ada Reference Manual이 이러한 종류의 구문의 실용적인 사용 예로 언급됨
• 기본적인 것부터 시작하여 발전시키는 답변에 대한 칭찬
• "𝗍𝗋𝗎𝖾+2:𝖨𝗇𝗍"는 대부분의 언어에서는 nonsensical하지만, Python에서는 True + 2가 실제로 정수이며 3과 같음이 예로 들어짐