Spin is both an abstraction of a feedback loop and an implementation with various reactive frameworks