From Functional Animation to Sprite-Based Display

Authors:
Conal Elliott
Affiliations:
-
Venue:
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
Year:
1999

Citing 6
Cited 2

A gentle introduction to Haskell

ACM SIGPLAN Notices - Haskell special issue
Report on the programming language Haskell: a non-strict, purely functional language version 1.2

ACM SIGPLAN Notices - Haskell special issue
Concurrent Haskell

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Functional reactive animation

ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
Functional Implementations of Continuous Modeled Animation

PLILP '98/ALP '98 Proceedings of the 10th International Symposium on Principles of Declarative Programming
Modeling interactive 3D and multimedia animation with an embedded language

DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997

ChalkBoard: mapping functions to polygons

IFL'09 Proceedings of the 21st international conference on Implementation and application of functional languages
Every animation should have a beginning, a middle, and an end: a case study of using a functor-based animation language

TFP'10 Proceedings of the 11th international conference on Trends in functional programming

Quantified Score

Hi-index	0.00

Visualization

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.