- 著者
- Niketas Siniossoglou
- 出版者
- Cambridge University Press
- 巻号頁・発行日
- 2008
- 著者
- Mark Walker
- 出版者
- Cambridge University Press
- 巻号頁・発行日
- 1989
- 著者
- C.R. Dodwell prepared for publication by Timothy Graham
- 出版者
- Cambridge University Press
- 巻号頁・発行日
- 2000
- 著者
- edited by Michael Loewe and Edward L. Shaughnessy
- 出版者
- Cambridge University Press
- 巻号頁・発行日
- 1999
- 著者
- Woodruff T. Sullivan
- 出版者
- Cambridge University Press
- 巻号頁・発行日
- 2009
- 著者
- Bernhard Bischoff translated and edited by Michael Gorman
- 出版者
- Cambridge University Press
- 巻号頁・発行日
- 1994
1 0 0 0 Oeuvres complètes
- 著者
- Augustin Louis Cauchy
- 出版者
- Cambridge University Press
- 巻号頁・発行日
- 2009
- 著者
- Myrto Hatzimichali
- 出版者
- Cambridge University Press
- 巻号頁・発行日
- 2011
- 著者
- Huw Bennett
- 出版者
- Cambridge University Press
- 巻号頁・発行日
- 2013
- 著者
- Ivan Nourdin Giovanni Peccati
- 出版者
- Cambridge University Press
- 巻号頁・発行日
- 2012
- 著者
- Helena Rosenblatt
- 出版者
- Cambridge University Press
- 巻号頁・発行日
- 1997
1 0 0 0 Eighteenth-century science
- 著者
- edited by Roy Porter
- 出版者
- Cambridge University Press
- 巻号頁・発行日
- 2003
- 著者
- KAMEYAMA YUKIYOSHI KISELYOV OLEG SHAN CHUNG-CHIEH
- 出版者
- Cambridge University Press
- 雑誌
- Journal of functional programming (ISSN:09567968)
- 巻号頁・発行日
- vol.21, no.6, pp.617-662, 2011-11
- 被引用文献数
- 12
It is often hard to write programs that are efficient yet reusable. For example, an efficient implementation of Gaussian elimination should be specialized to the structure and known static properties of the input matrix. The most profitable optimizations, such as choosing the best pivoting or memoization, cannot be expected of even an advanced compiler because they are specific to the domain, but expressing these optimizations directly makes for ungainly source code. Instead, a promising and popular way to reconcile efficiency with reusability is for a domain expert to write code generators.Two pillars of this approach are types and effects. Typed multilevel languages such as MetaOCaml ensure safety and early error reporting: a well-typed code generator neither goes wrong nor generates code that goes wrong. Side effects such as state and control ease correctness and expressivity: An effectful generator can resemble the textbook presentation of an algorithm, as is familiar to domain experts, yet insert let for memoization and if for bounds checking, as is necessary for efficiency. Together, types and effects enable structuring code generators as compositions of modules with well-defined interfaces, and hence scaling to large programs. However, blindly adding effects renders multilevel types unsound.We introduce the first multilevel calculus with control effects and a sound type system. We give small-step operational semantics as well as a one-pass continuation-passing-style translation. For soundness, our calculus restricts the code generator's effects to the scope of generated binders. Even with this restriction, we can finally write efficient code generators for dynamic programming and numerical methods in direct style, like in algorithm textbooks, rather than in continuation-passing or monadic style.
- 著者
- edited by Claire Holleran and April Pudsey
- 出版者
- Cambridge University Press
- 巻号頁・発行日
- 2011
- 著者
- Ian Maclean
- 出版者
- Cambridge University Press
- 巻号頁・発行日
- 2007
- 著者
- George Anton Kiraz
- 出版者
- Cambridge University Press
- 巻号頁・発行日
- 2001
1 0 0 0 Women readers in the Middle Ages
- 著者
- D.H. Green
- 出版者
- Cambridge University Press
- 巻号頁・発行日
- 2007
- 著者
- Lyle Jenkins
- 出版者
- Cambridge University Press
- 巻号頁・発行日
- 2000