Development of Functional Reactive Programming Using an Incrementally Modular Abstraction Hierarchy

The incrementally modular abstraction hierarchy, which is a general development method based on modern mathematics, is applied to a computer game implemented by using functional reactive programming within pure functional programming. In this work, this was done by using the Netwire programming library to implement functional reactive programming in the language Haskell, which is based on category theory. We developed the incrementally modular abstraction hierarchy (IMAH) to introduce a modern mathematical method for developing computer games in Netwire and demonstrated that IMAH is capable of facilitating the design and implementation of this challenging but difficult application area.