«inference» 태그된 질문

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

124 functional-programming  types  inference  hindley-milner 

오늘 내 질문은 매우 간단합니다. 컴파일러가 함수 매개 변수에서 할 수있는 것처럼 클래스 생성자에서 템플릿 매개 변수를 추론 할 수없는 이유는 무엇입니까? 예를 들어, 다음 코드가 유효하지 않은 이유는 무엇입니까? template<typename obj> class Variable { obj data; public: Variable(obj d) { data = d; } }; int main() { int …

102 c++  templates  parameters  inference