Abstract
Functional animation encourages a highly modular programming style, by supplying a set of arbitrarily composable functions for building up animations. In contrast, libraries for sprite-based display impose rigid structure, in order to allow acceleration by hardware and low level software. This paper presents a method to bridge the gap between functional specification and stateful, sprite-based presentation of animation. The method’s correctness is proved informally by derivation from a simple non-effective specification, exploiting algebraic properties of the animation data types that are made explicit in the functional approach. We have implemented this method in the Fran system, which is freely available.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Kavi Arya. A functional animation starter-kit. Journal of Functional Programming, 4(1):1–18, January 1994.
Conal Elliott. A brief introduction to Active VRML. Technical Report MSR-TR-96-05, Microsoft Research, 1996. http://research.microsoft.com/scripts/-pubDB/pubsasp.asp?RecordID=38.
Conal Elliott. Modeling interactive 3D and multimedia animation with an embedded language. In The Conference on Domain-Specific Languages, pages 285–296, Santa Barbara, California, October 1997. USENIX. WWW version at http://-research.microsoft.com/~conal/papers/dsl97/dsl97.html.
Conal Elliott. Composing reactive animations. Dr. Dobb’s Journal, July 1998. Extended version with animations at http://research.microsoft.com/conal/-fran/tutorial.htm,tutorialArticle.zip.
Conal Elliott. From functional animation to sprite-based display (extended version). Technical Report MSR-TR-98-28, Microsoft Research, 1998. http://research.microsoft.com/scripts/pubDB/pubsasp.asp?RecordID=190.
Conal Elliott. Functional implementations of continuous modeled animation. In Proceedings of PLILP/ALP’ 98, 1998. http://research.microsoft.com/conal/papers/plilpalp98/short.ps. Extended version, MSR-TR-98-25, http://research.microsoft.com/scripts/pubDB/pubsasp.asp?RecordID=164.
Conal Elliott and Paul Hudak. Functional reactive animation. In Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming, pages 263–273, Amsterdam, The Netherlands, 9–11 June 1997. http://research.microsoft.com/conal/papers/icfp97.ps.
Paul Hudak and Joseph Fasel. A gentle introduction to Haskell. SIGPLAN Notices, 27(5), May 1992. See http://haskell.org/tutorial/index.html for latest version.
Paul Hudak, Simon L. Peyton Jones, and (editors) Philip Wadler. Report on the programming language Haskell, A non-strict purely functional language (Version 1.2). SIGPLAN Notices, Mar, 1992. See http://haskell.org/report/index.html for latest version.
Simon Peyton Jones, Andrew Gordon, and Sigbjorn Finne. Concurrent Haskell. In Conference Record of POPL’ 96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 295–308, St. Petersburg Beach, Florida, 21–24 January 1996.
John Peterson, Conal Elliott, and Gary Shu Ling. Fran user’s manual, Revised February, 1998. http://research.microsoft.com/conal/Fran/UsersMan.htm.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Elliott, C. (1998). From Functional Animation to Sprite-Based Display. In: Gupta, G. (eds) Practical Aspects of Declarative Languages. PADL 1999. Lecture Notes in Computer Science, vol 1551. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49201-1_5
Download citation
DOI: https://doi.org/10.1007/3-540-49201-1_5
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65527-5
Online ISBN: 978-3-540-49201-6
eBook Packages: Springer Book Archive