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 HaskellPractice | 22 |
Generic HaskellTheory | 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 |
其他版本 - 查看全部
常見字詞
abstraction action algebra application architectural argument binary binding Bool called channels colimit components composition Computer condition configuration connection connector Cons consider construct constructor context corresponding data type datatypes define defined definition denote dependent diagram elements empty encode equality equation example Exercise exists expressions fact Fork formal function functor give given glue Haskell identity implementation induction instance instantiation interconnections introduced kind language lecture List mapping mathematical means models morphism natural transformation node Note notion object obtained operation pair parametric polymorphic programming prove recursive refinement relators represent requirement role rule Science semantics signature simple specification String structure syntax takes theory tion tree trie true type-indexed Unit University variables write