2010-06-27 16 views
7

Czy możliwe jest zaimplementowanie typografii Haskell w C++? Jeśli tak, to w jaki sposób?Modelowanie typów w C++

+3

Co to są typowe czcionki Haskella? –

+0

Noah, Przepraszam, ale nie wiem, jak inaczej to wyrazić. –

Odpowiedz

7

Istnieje kilka dokumentów na ten temat, które mogą być użyteczne jako tło czytaniu:

+0

Doskonałe dokumenty. Dzięki. –

+8

Czy tylko ja zauważam, że nazwa OP jest podobna do nazwy pierwszego autora "szablonów C++/cech w porównaniu do klas typu Haskell"? –

+0

+1 dla drugiego linku, kategoryzacja wymaganych funkcji jest bardzo interesująca. –

3

Podobny mechanizm w C++ nazywa się "koncepcjami". Chodzi o to, aby zdefiniować typeclass, definiując wymagania każdego rodzaju należącego do tej klasy. Iteratory C++ szeroko wykorzystują pojęcia, a C++ 0x zamierzało wspierać dla nich bezpośrednią składnię (zamiast pośrednich szablonowych sztuczek do sprawdzania koncepcji, które C++ aktualnie stosuje), ale wygląda na to, że ta obsługa została usunięta ze standardu.