5
“증거는 프로그램입니다. 그것이 증명하는 공식은 프로그램의 유형입니다”
이것은 철학적 인 종류의 질문 일지 모르지만 이에 대한 객관적인 답변이 있다고 생각합니다. Haskell에 대한 Wikipedia 기사를 읽으면 다음을 찾을 수 있습니다. 이 언어는 Haskell Curry와 그의 지적 후손들의 관찰에 근거하고있다. "증명은 프로그램이다. 증명하는 공식은 프로그램의 유형이다" 자, 내가 묻는 것은 이것이 거의 모든 프로그래밍 언어에 적용되지 않습니까? Haskell의 어떤 …
37
haskell