C++ templates/traits versus Haskell type classes
No Thumbnail Available
Date
2005-02-16T09:41:40Z
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
This article presents an in-depth study of the close connection between Haskell type classes and C++ template/traits mechanism - two different facilties for implementing generic programming concepts.
Haskell type classes and various extensions can be closely mimicked by C++ templates/traits and related mechanisms. We highlight the subtleties related to type-based computations and the limitations induced by language design on the program behaviour by a number of examples.