C++에서 Typeclasses 모델링

하스켈 typeclasses를 C++로 구현할 수 있습니까? 그렇다면 어떻게?C++에서 Typeclasses 모델링

출처

2010-06-27 Sunil Kothari

하스켈 형 안경이란 무엇입니까? –

노아, 미안하지만 표현 방법을 모르겠습니다. –

배경 독서로 유용 할 수 있습니다이에 대한 몇 가지 서류,있다 :

C++ templates/traits versus Haskell type classes, 수닐 코타 리, 마틴 Sulzmann
A Comparative Study of Language Support for Generic Programming, 로널드 가르시아, 자코 자비스, 앤드류 Lumsdaine, 제레미 Siek에, 예레미야 Willcock

출처

2010-06-27 18:23:24

우수한 서류. 감사. –

OP의 이름이 "C++ templates/traits versus Haskell type classes"의 첫 번째 저자 이름과 비슷하다는 것을 아는 유일한 사람은 누구입니까? –

+1 두 번째 링크는 필수 기능의 분류가 실제로 매우 흥미 롭습니다. –

C++의 비슷한 메커니즘을 "개념"이라고합니다. 아이디어는 해당 클래스에 속하는 모든 유형의 요구 사항을 정의하여 유형 클래스를 정의하는 것입니다. C++ 반복자는 개념을 광범위하게 사용하며 C++ 0x는 직접 구문을 지원하기위한 의도 였지만 (C++은 현재 개념 검사를 수행하기위한 간접 템플릿 트릭이 아니라)이 지원이 표준에서 삭제 된 것 같습니다.

출처

2010-06-27 19:07:21 John

C++에서 Typeclasses 모델링

답변

관련 문제