I&#39;ve been thinking about how I could use Haskell for programming just the &quot;business logic&quot; for games.<br><br>So for a mobile game I might use an existing library such as libgdx or cocos2d for input handling and sprite batching. Where I&#39;d like to use Haskell is for writing the big function to process the inputs and output a sprite list and audio triggers.<br>

<br>Why Haskell? In even a simple 2d platformer there&#39;s a lot of polish needed to get the game to feel good to a player. For instance, if I was using box2d physics to take care of movement and collisions, I might still need to detect that inputs indicate applying a force vector opposite to the player&#39;s current velocity and the player is &quot;on the floor&quot;. A naive game would show the player moon walking. A more sophisticated game would show a skidding player sprite or animation until the player&#39;s velocity reaches 0.<br>
<br>I was hoping to use Haskell to capture a lot of little details like that more elegantly than I can in C or Java.<br><br>However, my program needs to be compiled for a mobile device.<br><br>I&#39;m wary of trying to use GHC to generate arm machine code. I&#39;ve had bad luck with cross compilers.<br>
<br>It seemed to me that I could design a GADT to model my game actors and their relationships. I would then (misused term I&#39;m sure) &quot;lift&quot; my behavior functions into some context where they can produce Java or C code for use in Xcode or Eclipse. That&#39;s my favored approach.<br>
<br>Is there some background I could look at to save myself some dead ends pursuing this?<br><br>-- <br>Darrin<br><br>