A typescript implementation of real-time-based animation example from functional reactive programming