For PureScript we would like to have this function return the appropriate type e.g. In JavaScript this is not a problem, because you either assume the correct type or verify the type otherwise e.g. For example, room.find(FIND_CREEPS) finds all creeps in a room, room.find(FIND_FLAGS) finds all flags, and so forth. The Screeps API has a number of functions that take in a constant specifying a type and return an object of that type. How do I parse function return values into the correct types?
#SCREEPS CONSTANTS CODE#
In the end the JS code just passes in objects like it always does, but with strong compile-time guarantees about correct objects being passed within our code. Also, all of these types are defined only at compile-time and disappear at run time. RoomObject (RawStructure RawContainer) = RoomObject a Borrowing an example from the PureScript Wiki: Write a foreign import type declaration for how you want to call the function and a corresponding JavaScript function that actually calls the function (and handles currying). How do I call a JavaScript function from PureScript?
Here is what I ran into and how I ended up solving it. How do I…Īs a relative newcomer to PureScript and strongly typed functional programming languages, I ran into a number of puzzles in wrapping the Screeps API. But I gave a shot at wrapping it and I’m pretty happy with the result. Performance is important, because the game caps the amount of CPU and memory you can use. It makes heavy use of prototypes, a class hierarchy, and implicit effects. PureScript is a small strongly typed language that compiles to JavaScript.Īs a target for PureScript, the Screeps JavaScript API has some challenges. Everyone’s code runs 24/7 across hundreds of rooms in the same world. You play by writing a JavaScript AI to control your minions. Screeps is an MMO strategy game for programmers. How do I wrap a JavaScript API to use from PureScript? I had a chance to think about this while wrapping the Screeps game API so I could play Screeps using PureScript.
0 kommentar(er)
