Loading...
Please wait, while we are loading the content...
Similar Documents
Species and functors and types, oh my (2010)
| Content Provider | CiteSeerX |
|---|---|
| Author | Yorgey, Brent A. |
| Description | In: Haskell’10 |
| Abstract | The theory of combinatorial species, although invented as a purely mathematical formalism to unify much of combinatorics, can also serve as a powerful and expressive language for talking about data types. With potential applications to automatic test generation, generic programming, and language design, the theory deserves to be much better known in the functional programming community. This paper aims to teach the basic theory of combinatorial species using motivation and examples from the world of functional programming. It also introduces the species library, available on Hackage, which is used to illustrate the concepts introduced and can serve as a platform for continued study and research. |
| File Format | |
| Publisher Date | 2010-01-01 |
| Access Restriction | Open |
| Subject Keyword | Automatic Test Generation Data Type Language Design Functional Programming Generic Programming Basic Theory Functional Programming Community Potential Application Expressive Language Combinatorial Specie Mathematical Formalism |
| Content Type | Text |
| Resource Type | Article |
