Miranda의 라이선스와 Haskell의 탄생 배경을 다루는 Hacker News 토론입니다.
Hacker News새 글 | 지난 글 | 댓글 | 질문 | 공개 | 채용 | 제출로그인
9q92020년 2월 29일 | 상위 댓글 | 문맥 | 즐겨찾기 | 주제: Miranda 자유 소프트웨어로 공개 Miranda의 비용은 큰 문제였지만, 유일한 문제는 아니었습니다. Haskell을 만들게 된 또 다른 핵심 문제는 Miranda의 라이선스였습니다. 이 라이선스는 본질적으로 Miranda를 프로그래밍 언어 연구 도구로 사용하는 것을 금지했습니다. Turner(Miranda의 창시자)는 Miranda가 여러 방언으로 분열되는 것을 피하고자 했고, 그럴 만한 이유가 있었습니다. [1]에서:
[T]앞으로 나아가는 가장 쉬운 방법은 기존 언어로 시작해 우리에게 맞는 방향으로 발전시키는 것이었다. 개발 중인 모든 지연 평가 언어 가운데 David Turner의 Miranda가 단연 가장 성숙했다. 이 언어는 순수했고, 잘 설계되었으며, 우리의 목표 중 다수를 충족했다. Turner의 회사인 Research Software Ltd가 제품으로 개발한 견고한 구현체가 있었고, 120개 기관에서 실행 중이었다. Turner는 회의에 참석하지 않았으므로, 위원회의 첫 번째 실행 항목은 새 언어의 출발점으로 Miranda를 채택하도록 허락해 줄 수 있는지 Turner에게 묻는 것이어야 한다고 결론지었다. 짧고 우호적인 대화를 나눈 뒤, Turner는 거절했다. 그의 목표는 우리와 달랐다. 우리는 언어 기능 연구를 비롯한 여러 목적에 사용할 수 있는 언어를 원했다. 특히 누구나 언어를 확장하거나 수정하고, 구현체를 만들고 배포할 자유를 원했다. 반면 Turner는 Miranda 공동체 안에서 프로그램의 완전한 이식성을 갖춘 단일 언어 표준을 유지하는 데 강하게 전념하고 있었다. 그는 여러 Miranda 방언이 유통되는 것을 원하지 않았으며, 두 언어가 혼동되지 않도록 우리의 새 언어를 Miranda와 충분히 다르게 만들 것을 요청했다. Turner는 새 설계 위원회에 참여해 달라는 초대도 거절했다. [...] Haskell은 일반적인 영감과, 새 설계에 맞는 곳에서 자유롭게 채택한 구체적인 언어 요소 모두에서 Miranda에 상당한 빚을 지고 있다.
[1] P. Hudak, J. Hughes, S. Peyton Jones, P. Wadler, A History of Haskell: Being Lazy With Class. https://www.microsoft.com/en-us/research/wp-content/uploads/...
ferzul2020년 3월 1일 | 다음[–] 충분히 긴 시간 범위에서 보면, 그의 관점이 표준인 듯합니다. 오늘날 GHC 외에는 사실상 Haskell 표준이 없습니다. GHC 외의 Haskell도 있습니다(예: ghcjs). 하지만 모두 GHC의 포크입니다. 연구는 추가 기능을 활성화하는 방식으로 이루어집니다. Eta는 GHC를 따라가지 않는 것 같지만, 언어를 포크하려는 특정 의도 때문이라기보다 실행 가능성이 없어서라고 생각합니다.
9q92020년 3월 1일 | 상위 댓글 | 다음[–] 차이는 오늘날에는 누구도 여러분이 GHC를 포크하거나 기능을 추가하는 것을 막지 않는 반면, 1990년대 초반에는 Miranda를 만드는 회사인 Research Software Ltd가 다른 사람들이 Miranda를 포크하는 것을 아마 막았을 것이라는 점이라고 생각합니다. 30년 전에는 오픈 소스의 가치와 프로그래밍 언어에 대한 네트워크 효과가 널리 이해되지 않았습니다. 특히 전통적인 기업에게 회사의 핵심 지식 재산을 무료로, 아무 제한 없이 내놓는다는 것은 상상할 수 없는 일이었습니다!
kick2020년 2월 29일 | 이전[–] 이 발췌문을 공유해 주셔서 감사합니다. 정말 고맙습니다!
