Functional Reactive Programming (Score 1)

For animation check out the research on reactive programming at yale and microsoft research. This is the modern version of ActiveVRML that was out around 1995. Haskells AFRP is the most recent version, that uses arrows (a concept derived from category theory), at http://www.haskell.org/afrp. There is more information at http://www.haskell.org/frp, http://research.microsoft.com/~conal/fran/, and http://research.microsoft.com/~conal/newfran/