Generic Programming: Advanced LecturesRoland C. Backhouse, Jeremy Gibbons Springer Science & Business Media, 2003年9月29日 - 221 頁 Generic programming attempts to make programming more efficient by making it more general. This book is devoted to a novel form of genericity in programs, based on parameterizing programs by the structure of the data they manipulate. The book presents the following four revised and extended chapters first given as lectures at the Generic Programming Summer School held at the University of Oxford, UK in August 2002: - Generic Haskell: Practice and Theory - Generic Haskell: Applications - Generic Properties of Datatypes - Basic Category Theory for Models of Syntax |
內容
Practice and Theory | 1 |
Generic Haskell Practice | 22 |
Generic Haskell Theory | 35 |
Conclusion | 52 |
Generic Dictionaries | 62 |
A Generic XML Compressor | 77 |
The Zipper | 85 |
Conclusions | 93 |
Conclusion | 131 |
Category Theory | 139 |
Appendix | 170 |
A Mathematical Semantics for Architectural Connectors | 178 |
Architectural Description in CommUnity | 191 |
An ADLIndependent Notion of Connector | 201 |
Towards an Algebra of Connectors | 213 |
Concluding Remarks | 219 |
其他版本 - 查看全部
常見字詞
abstract syntax trees abstraction action allegory argument arity binary products Bool cartesian product category theory Char colimit components composition Computer Science configuration Cons ConsS construct context coproduct datatypes decodes definition denote diagram elements empty encode List equal equation example Exercise Exp db F and G F-structure finite FMap FMap{t Fork formal Functional Programming functor G-structures given Glasgow Haskell Compiler glue GRose Haskell implementation initial algebra instance instantiation interconnections isomorphic Jeuring kind kind-indexed type lambda calculus lecture notes Lemma lookup mapE mapping function models morphism natural transformation Node notion object operation pair parametrically polymorphic presheaf Programming Languages recursive refinement morphism relators requirement role rule induction semantics Sequ signature Software specification Springer-Verlag Sr+1 String structure synchronisation syntax t₁ tion trie type constructors type signature type-indexed data type typed lambda calculus zip.F.G