«hindley-milner» 태그된 질문

나는 불멸의 말을 특징으로하는 판매용 티셔츠 가 있다고 맹세합니다 . 어떤 부분 당신은 이해 하지 못 합니까? 제 경우에는 대답은 ... 전부일 것입니다! 특히 Haskell 논문에서 이와 같은 표기법을 자주 볼 수 있지만 그 의미가 무엇인지 전혀 알 수 없습니다. 나는 수학의 어느 지점이 될지 모른다. 나는 물론 그리스 알파벳의 …

850 haskell  functional-programming  lambda-calculus  hindley-milner  denotational-semantics 

나는이 용어 Hindley-Milner를 만났고 그것이 무엇을 의미하는지 잘 모르겠습니다. 다음 게시물을 읽었습니다. Steve Yegge- 동적 언어의 역습 Steve Yegge- 피노키오 문제 Daniel Spiewak -Hindley-Milner는 무엇입니까? (그리고 왜 시원합니까?) 그러나 일반적으로 간결한 설명을 제공하는 위키피디아에는이 용어에 대한 단일 항목이 없습니다. 참고 - 이제 하나가 추가되었습니다. 뭐야? 어떤 언어와 도구가이를 구현하거나 사용합니까? …

124 functional-programming  types  inference  hindley-milner