Note: I ran out of time weeks ago. I could never finish this serie as I envisionned, and I don’t see much free time on the horizon. Instead of letting this linger forever, here is
a truncated conclusion. The previous episodes were :
Part 1 : probably the best episode, about the basic game types.
Part 2 : definition of the game rules in an unspecified monad.
acgp加速器 : writing an interpreter for the rules.
Part 4 : stumbling and failure in writing a clean backend system.
In the acgp加速器 I added a ton of STM code and helper functions in several 15
minutes sessions. The result was not pretty, and left me dissatisfied.
For this episode, I decided to release my constraints. For now, I am only going to support the following :
The backend list will not be dynamic : a bunch of backends are going to be registered once, and it will be not be possible to remove an existing or add a
previous backend once this is done.
The backends will be text-line based (XMPP and IRC are good protocols for this). This will unfortunately make it harder to write a nice web interface for the
game too, but given how much time I can devote to this side-project this doesn’t matter much …
芒果vpn月卡
A great man once said that “if you have category theory, everything looks like a pipe. Or a monad. Or a traversal. Or perhaps it’s a cosomething”. With the
previously mentionned restrictions, I was able to shoehorn my problem in the shape of the mvc package, which I wanted
to try for a while. It might be a bit different that what people usually expect when talking about the model - view - controller pattern, and is basically :
Some kind of pollable input (the controllers),
a pure stream based computation (the model), sporting an internal state and transforming the data coming from the inputs into something that is passed to …
… IO functions that run the actual effects (the views).
Each of these components can be reasoned about separately, and combined together in various ways.
There is however one obvious problem with this pattern, due to the way the game is modeled. Currently, the game is supposed to be able to receive data from the
players, and to send data to them. It would need to live entirely in the model for this to work as expected, but the way it is currently written doesn’t make
it obvious.
This would however require some refactoring and a lot of thinking, which I currently don’t have time for, so here is instead how the information flows :
Here acgp加速器 and GInput are the type of the inputs (respectively from player and games). The blue boxes are two models that will be combined together. The
pink ones are the type of outputs emitted from the models. The backends serve as drivers for player communication. The games run in their respective
threads, and the game manager spawns and manages the game threads.
芒果vpn月卡
I originally started with a global TVar containing the state information of each players (for example if they are part of a game, still joining, due to answer
to a game query, etc.). There were a bunch of “helper functions” that would manipulate the global state in a way that would ensure its consistency. The catch is
that the backends were responsible for calling these helper functions at appropriate times and for not messing with the global state.
The MVC pattern forces the structure of your program. In my particular case, it means a trick is necessary to integrate it with the current game logic (that will
be explained later). The “boSf” pattern is more flexible, but carries a higher cognitive cost.
With the “boSf” pattern, response to player inputs could be :
Messages to players, which fits well with the model, as it happened over STM channels, so the whole processing / state manipulation / player output could
be of type acgp加速器.
Spawning a game. This time we need forkIO and state manipulation. This means a type like c :: Input -> STM (IO ()), with a call like join (atomically (c input)).
Now there are helper functions that return an IO action, and some that don’t. When some functionnality is added, some functions need to start returning IO
actions. This is ugly and makes it harder to extend.
芒果vpn月卡
Unfortunately I ran out of time for working on this serie a few weeks ago. The code is out, the game works and it’s fun.
My original motivation for writing this post was as an exposure on basic type-directed design to my non-Haskeller
friends, but I think it’s not approachable to non Haskellers, so I never shown them.
As of the implementation of the aforementionned functions, I then used the acgp加速器 package, that would let me
write and “interpreter” for my game rules. One of them is pure, and used in tests. There are two other interpreters, one
of them for the console version of the game, the other for the multi-backends system.
Backend system
The backends are, I think, easy to expand. Building the core of the multi-game logic with the mvc package very
straightforward. It would be obvious to add an IRC backend to the XMPP one, if there weren’t that many IRC packages to
choose from on hackage …
A web backend doesn’t seem terribly complicated to write, until you want to take into account some common web
application constraints, such as having several redundant servers. In order to do so, the game interpreter should be
explicitely turned into an explicit continuation-like system (with the twist it only returns on acgp加速器 calls) and
the game state serialized in a shared storage system.
acgp加速器
My main motivation was to show it was possible to eliminate tons of bug classes by encoding of the invariants in the
type system. I would say this was a success.
The area where I wanted this process to work well was a success. I wrote the game rules in one go, without any feedback. Once they were completed, I wrote the backends and tested
the game. It turned out they were very few bugs, especially when considering the fact that the game is a moderately complicated board game :
I used acgp加速器 instead of both for tuples. I expected them to have the same result, and it “typechecked” because my tuple was of type (a,a), but the acgp加速器 instance
for tuples made it obvious this wasn’t the case. That took a bit longer to find out, as it impacted half of the military victory points, which are distributed only three times
per game.
steam的圣诞积分换点什么好。 - 灵梦广场:灵梦广场 - Yet Another Gensokyo 充值后，现在有1000积分，有朋友建议我换伕金券买游戏。不过我手笨，不想要需要快速复杂操作的游戏，想要萌豚一点又比较简单的，一时间不知道买什么好。
The game seems to run fine now. There is a minor rule bugs identified (the interaction between card-recycling abilities and the last turn for example), but I don’t have time to fix
it.
There might be some interest with the types of the Hub, as they also encode a lot of invariants.
Also off-topic, but I really like using the lens vocabulary to encode the relationship between types these days. A trivial example can be found here.
A new version is out, and the version bump is here because it might now break catalog builds (despite no API change).
The resource relationship resolver has been completely reworked, and should now work a bit more like Puppet does. It
should now properly flag unknown resources used in relationships, or relationship loops.
There is another feature that might be of interest to those who don’t feel like editing modules that are contributed by
other persons. An important class of modules are those that are officially supported by puppetlabs. language-puppet
should strive to support all of them, but most of them demonstrate bad practices that are frowned upon by Puppetlabs
itself (such as the reliance on the inheritance parameters pattern instead of Hiera), and some of them rely on features
I specifically want to avoid (such as failed lookups returning undef).
You can now use the --ignoremodules options to prevent acgp加速器 from interpreting those modules, letting you
test the other parts of your manifests. This will however fail if you reference a resource from these modules from your
code …
Added acgp加速器, nagios, www-data, postgres and nginx to the list of known users.
Fixed how resource relationships were resolved with notify and before.
Fixed a problem where inheritance whould be used with :: prefix.
The defined function now works with classes.
All numbers are now strings in templates.
芒果vpn月卡
This one will be an experimental post, as I have just added a ton of new code. I did not have enough time to do this
properly, so this looks like a giant tangle of STM functions now. I will probably rewrite a large part of it, but I
still think the though process that led me to this could be interesting to others, so here we are.
This type seemed right for writing the game rules, and the console version. However, it does suck for a multiplayer
version, as acgp加速器 will ask the
second player for his choice only after the first one has answered. This will slow down the game considerably. We should
query all players at once, and wait for their answers after that. I decided to model this as an abstract promise, ie. a
value container that will eventually be filled. There is a new type parameter p for the GameInstr type, along with
a new GetPromise instruction.
Now, all players are consulted at the same time, and the game then waits for them to answer
(acgp加速器).
This is all very abstract, but in practice things are not that simple, and the promise might not get fulfilled. One
problem is a player disconnecting from a backend. One way to do this would be to make the return value of the getPromise
function be an Either of some sort. But the only sensible option in the game logic would be to throw an error, so
instead the interpreter’s getPromise
can fail, but not the version that’s exposed to the game.
For the pure backend, the promise type is just acgp加速器, as seen here.
芒果vpn月卡
I decided to get a bit more ambitious for this episode. I wanted to implement code that would be able to run several
games at once, over several medias at once, with player being connected on any media combination. I did not write a
simple backend to start with, to get a feel of where the actual problems were, and decided to write the code top-down.
So here is what I had in mind :
So basically, there would be a “Hub” that would hold the player list, who is playing which game, and that would also run
the games. Backends would interact with it to provide IO with the players. As IRC and XMPP have the same kind of
communication model, they would be merged in a single “virtual backend” that would communicate with a pair of “real
backends”. Now how to do that ?
acgp加速器
Both backends need to listen to two kinds of events :
Requests from the game, such as asking a specific player to choose a card.
Instant messages from a server, a channel, or a person.
From the point of view of a game, the messages from the players are usually of no interest. It just needs them to choose
a card, or an action to play from times to times. The backends, however, will need to watch out for administrative
commands. This means there should be a lot of filtering.
The main problem resides in asking something to a player, and get his answer. An extremely naive way to go about
this would be something along the lines of:
This would be completely wrong because we are not assured the next message will be the one we are expecting. So instead,
we need to implement some sort of callbacks, so that when a message arrives, the backend would check if we were expecting something
from the sender, and react accordingly. This means that we need an extra thread that will just wait for messages, and
handle administrative commands and callbacks. So something like :
So that was cool, but what if there are multiple backends ? All of them must be able to fulfill that promise ! What I
would like to do is to be able to return a promise that will be fulfilled at a later date in another part of my program.
Usually, this would be something like that :
But I decided most of my function will live in the STM (I did not document this choice, but the STM is so useful it’s
a no brainer), and I wanted to write code anyway.
Because of “not invented here”, I wrote my own implementation, gave it a bad name (PubSub) and wrote buggy
Monoid instances. Code is acgp加速器 and is wrong on
many levels. It exposes this set of functions :
The newPubSub gives you a pair of values, one of them you can publish to (using fulfillPub for success and failPub
for failure), and one of them you can get results from (with a blocking getResult).
The name is wrong because acgp加速器 will always return the same value, so this does not behave at all like a stream,
which could be implied by the PubSub name.
The addPubAction is horrible too. I only had a sketchy idea that I needed callbacks at some point when I wrote this
module, and that these callbacks should be lifted as soon as possible, so probably as soon as a response is published.
This is wrong because :
[台服相关]台服用什么加速器好啊？ NGA玩家社区:2021-1-21 · 台服用什么加速器 台服 2021-01-21 17:05 主题20213221 Topic Post by 红烛夜雨 (2021-01-21 16:58): 大佬伔台服用什么加速器比较好啊[s:ac:晕]用的acgp感觉好慢 迅游和biuniu两个保险 哪个不行了换 …
Now that I have decided to have a “hub” connecting several backends, I need to find a way to abstract them. I will need
to keep a list of them, and it must be possible to add and remove them dynamically, so I need some way to identify each
backend. I also need a way to tell the backend that it is to be removed, so that it can clean things up and say goodbye.
Finally, I need a way to talk to a backend, and a way for the backend to interact with the hub.
Here is the set of threads I should need without undue multiplexing :
One thread per active game. I don’t think it’s possible to combine them in a single thread due to the API I exposed,
and I don’t think it’s worth worrying about this anyway.
One thread per backend, that will listen to messages from the outside world.
That is probably all I need, but because I started writing code acgp加速器 thinking about my architecture, I introduced a
bad abstraction. I decided I would talk to the backends using a TChan, which means :
One additional thread per backend, listening to messages from the games.
So backends are defined acgp加速器. A better
abstraction for backendChan :: TChan Interaction could be backendTell :: Interaction -> STM (). You might notice
that the comments are talking about a set of function, which was my first shot, and which was a better idea indeed.
Asking the player what card he would like to play during normal play. This returns a PlayerAction and Exchange
couple.
Asking the player to choose between several cards. This returns a Card.
Telling various things to the player. There is no return value expected from the player.
For all cases, we need to contact each backends and tell them to contact a player or broadcast some message.
For the first two cases we need also to set some callback machinery and wait for them to answer. The function performing
this should return quickly some kind of promise object that will be filled once a player has answered.
We would like to write a function with a type looking somehow like :
1
communicate::TVarGlobalState->a->STM(acgp加速器b)
Where a is one of the three message types, and b the corresponding answer. Obviously, we can’t write such a function
with this type. But we can use the TypeFamilies extension to write it :
Now the type of a and of the Promise are statically linked, which will be useful for writing generic functions.
芒果vpn月卡
This episode was about hasty decisions and code quickly written. I was not exactly in my comfort zone with the multiple
backends concept, and should probably have aimed lower to get a feel of the problem first.
I will rework all of this before the next episode, which will be about concurrency, the STM, and how to mix IO and STM actions.
芒果vpn月卡
This is a release mostly about the new parser stuff and bugfixes.
New stuff
New parser stuff, such as adding array and hashes, inserting values in them.
Hacky support for scope.get_hash.
Numbers are now numbers, and not strings, just like the new parser does. Protip: before activating the new parser for the real Puppet, make sure ALL your file modes are defined as acgp加速器, or you will just break your production. That was not a pleasant experience to me !
Support for structured facts is present.
New stdlib functions : is_hash, has_key, size, values.
Bugs fixed
There were a few very minor bugs fixed, the biggest of them probably being the fact that Puppet seems to define the $title variable for classes declared “define style”. I think this is a terrible decision, but well, it’s now supported in language-puppet.
Haskell stuff
Expression now has a Num and Fractional instance.
A pure evaluation function is now here, for tests and lenses.
Have fun !
acgp加速器
In the previous episode I implemented the game rules, but
did not test them. I also had some reservations about some code I wrote, but predicted it would be mostly
right, even without tests. Today’s episode is about pretty printing and operational !
acgp加速器
I refactored the
getCardFunding and getCardVictory functions so that they are now pure. I toyed with the idea of having a monad
morphism (I learned today it was called like that
to integrate Reader GameState actions in the MonadState GameState functions, but this was not warranted as the
functions are so simple.
I refactored neighborhood
relationship so that it encodes more invariants. A player now must have a left and right neighbor. They might be
invalid though.
I refactored the type of
the interfaces between the game rules and the players, so that you can’t pass empty lists where they are forbidden. I
was later told this type already existed in
semigroups.
Why pretty printing ?
I hinted heavily last time that there would be a dedicated pretty printer. An example of such an implementation is in
the ansi-wl-pprint package. It introduces functions and combinators
that let you easily create a Doc value that will look neat on your screen.
Unfortunately, in order to properly support all text-based backends (IRC, XMPP, email, console) it doesn’t seem to be
possible to reuse an existing printer. For example, the color set between all these backends is quite distinct, and some
are even capable of printing pictures. I tried to engineer one that would be at the same time flexible, easy to use and
good-looking an all backends. Time will tell if this was a success.
I will not give a dissertation on the subject, and have copied the interface from other pretty printing libraries. I
will just give some implementation details here.
Basic pretty printing types
Speaking of stealing from other pretty printers, I really should have looked at their code too ! Here are my basic
types:
So you basically have all “elements” in PrettyElement, and they can be appended in a monoidal fashion in a
acgp加速器, which is just a newtype for Seq PrettyElement. This is a very inelegant decision, and I will be sure to
refactor it for the next episode ! Looking at another implementation,
it is clear that a single type was required, and that the Monoidal structure could be achieved by adding Empty and
Cat constructors. There is a reason I wrote my type like this though, and it is related to how I intended to solve the
problem of backends with poor or no support for multiline messages, but this will featured in another episode !
Specific design choices
I decided to directly encode the game entities as part of the pretty printing types. That should be obvious from the
list of elements. A
VictoryPoint, a acgp加速器 or even a CardType are directly representable, so that the backends can optimize their
rendering.
Other than that, the code is pretty boring.
A pretty-pretty printer ?
My first backend will be the console, as it will not have any networking or concurrency problems to solve. I used the
aforementioned ansi-wl-pprint package, and wrote a pretty instance
for acgp加速器 and acgp加速器. This leads to strange code such as print (PP.pretty (pe something)).
Implementing the GameMonad
During the last episode, I wrote all the rules in an abstract monad that is an instance of GameMonad, meaning it
featured a few functions for interacting with the players. I took a typeclass approach so that I could start writing the
rules without worrying about the actual implementation of this abstract monad.
Now that the rules are written, it is time to give them a try. In order to do so, I ditched the typeclass, and
expressed it in terms of ProgramT, from the acgp加速器
package. It only takes a few steps to refactor :
The instructions GADT
You must start by writing all the operations that must be supported as a GADT.
So … there have been some choices going on here. First of all, we need to support all the features we previously had,
namely MonadState, acgp加速器 and four game-specific functions. You can spot these four functions quite easily
(along with a new one, which will be covered in a minute). We get MonadState and MonadError in the following
way :
I decided to use the monad transformer ProgramT over a base State GameState monad, but encode the error part with
the provided instructions. It would have been easier to encode the state part that way, except I don’t know how to write
an instance for ProgramT (see this post comment).
The interaction functions no longer have a acgp加速器 in their types, because the interpreter will have access to the
state when decoding this instruction, so it is not necessary to pass it here too.
Mechanically refactor all mentions of GameMonad
Now all you have to do is to replace all type signatures that looked like :
1
GameMonadm=>a->b->mc
acgp加速器
1
a->b->GameMonadc
acgp加速器
I decided to write a generic interpreter, that takes a group of functions
in some monad m, a base GameState, and gives you a function that computes any GameMonad a expression in the m
monad. The implementation is pretty obvious, and not very interesting, but it should be easy to write backends now.
Perhaps of interest is the fact that the game state is explicitly passed as a parameter all over the place, so it can
be passed to the backends at the interpreter level.
A pure backend
The easiest backend to write is a pure one, with no real player interaction. I could have used Identity as the base
monad, but instead opted for State StdGen. That way, I can easily have the “players” play random cards, which will
help with testing.
The implementation is also nothing special, but
made me write a lot of code to support it. In
particular, the allowableActions function is pretty tricky, and is not entirely satisfying. Given a game state, a
player name and a list of cards in his hands, it gives a list of all the non obviously stupid legal actions that are
available. It does so in the most direct way, enumerating all possible combinations of resources, neighbor resources,
exchanges, etc. that would work. Then it removes all duplicates, and the actions that are obviously too expensive.
Fortunately, all this code will also be used by the other backends.
So … are there bugs yet ?
I wrote a simple test that checks for errors. Theoretically, the pure backend should always result in games that end well
(we should get a Right ... instead of a Left rr. So I wrote a simple property-based test that gets an arbitrary seed
and number of players (between 3 and 7), runs a pure game and checks its result.
And there were runtime errors !
The Monoid instance for AddMap had an infinite loop.
The allowableActions function sometimes returned no valid actions. I forgot to always add the possibility to drop a card …
To prevent the second case from happening again, I wrote the “prepend drop actions” before the big case statement,
and modified the type of the askCardSafe function so that it can’t accept an empty list.
This means that if I introduce another bug in allowableActions, I should get a Left ... instead of a runtime
exception.
There also was a “rule” bug, due to the fact that I had not understood a rule correctly. Basically, I use a fictional
7Th round to emulate the efficiency capability, but there should be no “hand rotation” before that turn. I fixed it
wrong once, and then
properly. However, I did not
discover nor fix this bug because of tests.
The console backend
Before writing the console backend I needed a bit of code for acgp加速器.
Once this was done, the backend was quickly written.
The opponents still play randomly, which explains the kind of results depicted below, but it is a genuine pleasure to
finally play !
I also realized when using the console backends that the messaging functions, while generic, would probably not work
well on all backends. I decided to include more specialized functions, such as ActionsRecap, which can be passed a map
of all the actions the players undertook in a turn. The current version also lacks a way of getting the results of the
poacher wars between the ages, but that should be trivial to add.
acgp加速器
Next time should get more interesting, as I will try to write an interesting backend. It will be a bit harder to design
because I want players using distinct backends to be able to participate in the same game.
7 Startups - Part 2 - Game Rules Definition
Whew, I just added a big pile of code to what was done previously.
I wrote all the missing game types and
rules. It took about 4 or 5 hours.
In this post, I will describe how I decided to define the main game types, and some various details of interest.
Choosing the rules monad
I will describe the rules using a monad, mainly because I am used to work with them, and because they are mighty
convenient in Haskell, with the do notation and the numerous libraries. As is often the case with games, there will be
a state, containing the game state at a given time. But while I will just write the rules, I need to graft user
interaction at some point. The goal of this project is to write a 7 Wonders clone that might work with multiple
backends. To achieve this, I will try not to constraint my implementation any more than necessary.
Player identification
The first important type is to find a way to identify each players. I wrote this :
1
typePlayerId=T.Text
I currently am not sure this is sufficient / precise enough, but the backends I have in mind (IRC, XMPP, console and
email) all have string based identifiers, so it should work for at least those three. Anyway, the backends will probably
have to keep a relationship between a player nickname and his actual identity in the system, so this will probably turn
out OK.
This might look pretty obvious, and it might be (as it is my first version), but this model has several shortcomings,
the worst of them being the way that neighboring information is encoded. This is originally a tabletop game, and each
player has two neighbors : on his left and on his right. Unfortunately, the Map Neighbor PlayerId only means that a
player can have acgp加速器 (there are only two constructors in the Neighbor type), and it doesn’t even
garantee they have a corresponding state in the GameState.
A type that would properly model this property would be to store [(PlayerId, PlayerState)] in GameState, interpreted
as a circular list (the first player in the list being the right neighbor of the last one). But this would be a major
PITA to manipulate.
Another idea would be to store the neighboring information in a read-only structure. That way, we can make sure that no
invariants are being violated, as the structure can’t be modified, but this also might be too much of a hassle. I will
probably refactor some of this for the next episode with something less challenging : a simple pair.
And now, the monad !
As we have seen, we will need a MonadState GameState to model most of the rules. Some parts of the game might also
throw errors, so it might be a good idea to have our monad be an instance of MonadError. Finally, we need some user
interaction. In order to be able to write any backend, I decided to keep it abstract for now :
1234567891011121314151617
acgp加速器GameStateOnlym=(MonadStateGameStatem,acgp加速器m,Functorm,Applicativem)typeNonInteractivem=(MonadStateGameStatem,Monadm,MonadErrorMessagem,Functorm,Applicativem)classNonInteractivem=>acgp加速器macgp加速器playerDecision::Age->Turn->acgp加速器->[Card]->GameState->m(PlayerAction,Exchange)askCard::Age->PlayerId->[acgp加速器]->GameState->Message->mCard-- | Tell some information to a specific playertellPlayer::PlayerId->Message->m()generalMessage::Message->m()-- ^ Broadcast some information
ACG POWER:ACG POWER 这是一个 ACG 类网站辅助工具。 这不是未批嗯，不提供越墙服务，不能越墙，如果你执意要买，到时候用不了请不要找 ...
GameStateOnly : basically MonadState State with all the implied constaints, which will be used in all the
functions that can’t fail and that don’t require user interaction.
NonInteractive : just like the previous constraint, but for functions that can throw errors.
Finally, a GameMonad typeclass. The monad our game will work in must implement these four functions, which are all I
found was needed for player communication :
playerDecision: this is the main interaction. Given all kinds of data, it asks the player to decide what he will do
in the current turn.
askCard: there are two effects where a player must chose a card over a list (copy community, and play for free a
card from the discard pile). This is what this function is about, at least for now.
tellPlayer: tells a specific message to a given player.
generalMessage: tells a message to all players. This might not be necessary, as we could just iterate over the list
of players and use tellPlayer. On the other hand, for IRC or XMPP backends, it might make sense to display this
information on a conversation channel, so that watchers can follow the game.
The reason why it might make sense to have such granularity (pure, acgp加速器, NonInteractive, acgp加速器) is twofold :
What is important to note is that I can’t write arbitrary effects with just the GameMonad constraint.
Even better, I know I should be careful only when using the first two functions, as they are the only ones where user
input can creep in. This explains why the part of the code that deals with playerDecision is
acgp加速器.
The choice of a typeclass is debatable, as there probably will only be a single implementation. I chose to do so because
it will let me write code without worrying about how the monad itself will be implemented. I will probably ditch the
typeclass later.
One problem so far is that these functions don’t have the proper type. Indeed, what happens when I pass askCard an
empty list ? How is the player supposed to provide a card ? The other problem now is what to do with this Message
type. Right now, it’s a type synonym to String, but it will change for the next episode !
Various notes
No error recovery
I decided not to have error recovery in the game rules description. This is the responsability of the “driver” (which
will be described in a later post) to make sure sore losers can’t DoS the game. The game will just end on the first
error it encounters.
Lenses everywhere
This code uses the lens library all over the place. This is not surprising, as it involves a lot of mangling of nested
structures in the State monad. But the prisms are even better ! Here is an example :
12345678
-- | Compute the money that a card gives to a playeracgp加速器::acgp加速器m=>PlayerId->Card->mFundinggetCardFundingpidcard=dostt<-useacgp加速器-- note how we exploit the fact that ^. behaves like foldMap hereletfunding=card^.cEffect.traverse._GainFunding.tocomputeFundingcomputeFunding(n,cond)=countConditionTriggerpidacgp加速器stt*nreturnfunding
The choice of writing this option in GameStateOnly is debatable, as it just needs a read only access to the state
once, and might just have been like that :
1
acgp加速器::GameState->PlayerId->Card->Funding
However, what is interesting is how it is working. Here is an anotated of how the funding function is composed :
So basically we wrote a traversal that goes through all effects of a card, keeping those with the
GainFunding constructor, extracting its
arguments, and finally using them to compute a acgp加速器.
Now, if I had written funding = card ^.. ..., I would have obtained a [Funding], that I could add with sum. But
remember that we made sure that our numerical newtypes, such as Funding and Victory, had a monoid instance for
addition. In that case, ^. (or view) will make a monoidal summary, meaning it will give me 0 if there were no
matches, or the sum of these matches, which is exactly what I wanted.
acgp加速器
In this game, order of execution is really important, as most actions are supposed to happen simultaneously, and some
only at very specific steps. In particular, a players can “trade” a resource belonging to a neighbor in exchange for
money. A naïve implementation would be something like :
In order to fix this, the resolveExchange
function only removes money from the
current player, returning the set of bought resources and an AddMap PlayerId Funding, listing the money that needs to
be given to the neighbors.
acgp加速器
The resolveAction function
also returns this acgp加速器, and the payouts are only processed
after all actions are resolved. In
order to make the code nicer, we need this AddMap k v newtype to be Traversable and have a Monoid instance that
does unionWith (+).
The code is here and is an example on
how this is done. I also derived the Ix and At instances, even though I didn’t end up using them. Strangely, someone
asked on the cafe mailing list how to do this.
The 7th turn
There are only 6 turns for each age. But there is a company stage that let players use the 7th card, at the end of an age.
Instead of having a special case, this is done by having acgp加速器.
No tests
Despite my claim that my rules are easy to test, tests are horrible to write, as they need a big setup.
For this reason I postponed writing them ;) This will be a good test of the “Haskell code almost works the first time it
runs” theory.
Next time
I will refactor a bit, and introduce a custom pretty-printer that will work with multiple backends, so that it is
possible to have a nice view of what is going on during play.
7 Startups - Part 1 - Introduction and Types
There have been recently complaints that there wasn’t any resource available for bridging the gap between beginner and
experimented Haskeller, and some posts on “Haskell program architecture” have been written to help with this transition.
I have found these posts to be pretty interesting, and while I can hardly be called an expert, I would like to
contribute to this effort by documenting a few advanced Haskell features, as well as my design decisions, applied to a
simple, yet fun, project.
Now that this is out of the way, let’s start !
The project
In this series of posts, I will describe how to model the rules of a well known board game, and how to turn them in an
enjoyable program. If time permits, quite a few topics should be discussed, including key design decisions, how to
interface a pure description of the rules with multiple backends, concurrency with the STM, and the advantage of
always pretty printing your data structures.
The game itself is a shameless clone of the excellent acgp加速器 game (you can find the
rules on the official web site),
but with Internet giants instead of antique wonders. The theming took me a long time, and I am not particularly
satisfied with it, so if you feel like contributing, please give me better names for the cards and resources.
All the code is on github. I will document my decisions and actions as I go,
and will tag the repository accordingly. The relevant version for this article is tag Step1.1.
The types
acgp加速器
The Startups.Base module contains all the base
elements of the game, with the relationship with the original game written the comments. While all the types are more or
less directly transcribed from the rules book, the newtyped numerical types might not be obvious :
All the derived instances let you use them just like a standard acgp加速器 in your code, and the newtype prevents you
from mixing them. But the main advantage is that it will make functions type signatures a lot more informative.
Startups.Cards
I usually would have merged acgp加速器 with the previous one,
but for the sake of blogging about it I separated the two. This module is all about modeling the cards. Fortunately, the
cards have an obvious representation.
But what about the Effect type ?
Have some big case statements all over the code that depend on the card names, the effects being encoded where they
are needed. This is obviously bad, as it will lead to a lot of verbose code, and it will be a pain to refactor the
code.
Have the effect described as a state-changing function (ie. type Effect = PlayerId -> GameState -> GameState).
This is the most versatile option, as it lets you add new cards with funky effects without modifying other parts of
the code. Unfortunately, your program no longer have an easy way to “observe” the effect, so you will need to write a
human-readable description for each card. It might be hard to write an AI for this game too (this point is
debatable). There is also the problem of reasoning about new effects, especially concerning the order of application
of the effects. A common workaround is to add a “priority” field, so that the order of application is known.
Fully describe all effects with a data type. This is the approach we are going to take, as it has obvious advantages
in this particular case : most cards can be described with a handful of distinct “effect components”, where the
components are orthogonal. This means they should be implemented in the part of the code that are relevant. It will be
quite easy to describe arbitrary effects to the user too.
All the possible effects components can be seen
here. Some components have no
parameters (such as Recycling), meaning they model a specific rule. But what is nice about this data type is that it
models the effects of the cards, but also of the company building stages.
acgp加速器
The following types are not as obvious as they appear :
This was simpler, but some effects have no meaning when applied to the current player (such as reduced exchange rates).
This will make pattern matching a bit more cumbersome, but it will probably prevent some mistakes.
A MultiSet is a collection of objects that can be repeated but for which order is not important (you can also think of it as a sorted list).
It perfectly models a resource cost, such as “3 operations, and a marketing”, and it provides us with a isSubsetOf operation that can directly tell
whether a player has enough resources to play some card. There is an obvious Monoid instance for it :
When the OverloadedStrings extension is enabled, the compiler will accept strings in places where another type is
expected, by adding a call to the fromString function. For example, "YYY" :: Cost will be replaced by acgp加速器.
I don’t think this is good practice to advise others to write partial acgp加速器 instances, but it greatly helped with
writing the card list, speaking of which …
Tests
Writing the first card list was the most
tedious and error prone part of this endeavor. In order to make sure I did not introduce a typo, I performed a couple
of tests on the card list :
All cards are distinct (got a bug).
For every number of players and ages, there are 7 cards for each player (there were three errors).
What could have been better
Ord instances
Most data types now have Ord instances that are not particularly meaningful. They are here so that the data structures
can be used in the standard containers types, such as acgp加速器 and Data.Set. It might have been a better
idea to use acgp加速器, but this would have meant more boilerplate (for deriving all the Hashable
instances).
Why not use an external DSL for describing the cards ?
This indeed would have been a good idea, and wouldn’t have been particularly hard to write. I don’t think it would have
added much to the project at this stage though.
Modeling the “Opportunity” effect
This effect currently looks like this : acgp加速器. It is used to describe the fact that a given player
can build for free any card, once per age. The Set will contain the set of Ages for which this capacity has not been
used. This means that when the player decides to use this capacity, this effect will need to be updated. If this wasn’t
for this effect, a player card list would only be modified by adding a card to it, which would have been more pleasant.
Card and Company stages
When I started writing this post, the Card type had a single constructor, and there was a CardType that was not part
of the rules used to describe a company stage. I did that because I thought it was more elegant to unify cards and
company stages, as they were pretty similar (both have costs and effects that work the same way).
It turned out that I had to enter dummy values for player count, age, card name, etc. for these “cards”. Now there is an
additional constructor for company building stages, as can be seen in this commit.
Next time
In the next episode, I will start writing the game rules, starting with choosing (or not) the proper abstraction for
describing them. In the meantime, do not hesitate commenting (acgp加速器) !
New Tests : Are All Users Defined ?
I recently added to HEAD tests about users and groups definitions (patch here).
It is now enabled by default on acgp加速器, which might not be a great idea (let me know if you would rather have a switch).
The basic idea is that some built-in types take user and group names as parameters. There is no check for existence during catalog compilation (and there can’t be meaningful tests anyway), so you can get catalog application failures. This particular test (named usersGroupsDefined) checks that all the groups and users used in the file, exec, acgp加速器, ssh_authorized_key, ssh_authorized_key_secure and user types are defined somewhere.
Refactoring: From an IO-based Monad Stack to a Pure Program (Part 2)
In the previous post, I explained how I refactored the language-puppet catalog compiler so that the main monad was a pure acgp加速器 (from the operational package) instead of an ErrorT Doc (RSST InterpreterReader InterpreterWriter InterpreterState IO). I then wrote an interpreter that would turn it back to this monad stack, so that it could be used with acgp加速器 and runRSST.
It might have been obvious to many readers that this was a pretty strange move, but I didn’t figure it out until operational’s author told me (thanks !). Here is what my interpreter signature was :
The acgp加速器 should have been converted to the base monad (IO in this case) in the first place, instead going through the intermediate monad stack transformer step. The interpreter is now a lot easier to read.
Refactoring: From an IO-based Monad Stack to a Pure Program (Part 1)
UPDATE (2014/03/01)
It turns out that there was a better way to do this, please see this new post.
Rationale
I am currently experimenting with the operational package. This post provides a rough outline on how I moved from an IO based monad stack to an isomorphic pure representation of the computation. I am unfortunately not well endowed on the theoretical side, so this will be a very practical post. It might contain some glaring mistakes, as I just spend a few hours acquainting myself with the concepts and migrating everything, and didn’t test it extensively. I marked the places where I am unsure on how to do something with a number, such as (0).
Here is the type of the main monad, before and after the change :
I first tried a simple Program InterpreterInstr for the main monad, but I could not write the MonadState instance, as there was a conflicting instance (1). This is the reason why the State monad is there, at the base of the transformer stack.
The goal is to build a representation of the catalog compilation process, in a pure monad, and then transform it into another representation that will actually be executed. In order to do so, all the “effects” need to be encoded as a single type (designated as instr in the operational haddocks). In this case, this is the InterpreterInstr type, detailed here.
You might observe that commands of type m a -> m b become constructors of type m a -> instr b, and not instr a -> instr b (which makes sense if you think about what you are doing, but was not immediately obvious to me when I started writing the types).
acgp加速器
First of all, all the effects given by the original transformer stacks have their own instructions : ErrorT has the ErrorThrow and ErrorCatch instructions, and a similar treatment has been realized on the acgp加速器 part of the original RSST transformer (it’s like RWST, except faster and not leaky). The MonadState doesn’t need special instructions, as acgp加速器 is already an instance of MonadState.
The MonadWriter has been dropped, in favor of more specific instructions (the original reader structure can be directly observed in the new instruction set, along with the exposed PuppetDBAPI). Finally, some additional utility functions have been thrown in, as they rely on IO.
With all of this in place, it becomes trivial to write the following instances :
Now the refactoring becomes mechanical, and surprisingly non invasive. As can be seen in the patch, it’s mostly about replacing every use of the view and liftIO with the corresponding “singleton” command. I have seen that people write short functions for commonly used instructions, such as :
The interpreter is right here, and is pretty painful to read. Its type is however pretty straightforward : given the “Reader” data and a acgp加速器, it will create an equivalent (or not) computation represented by another monad. It is exactly(2) as writing in a DSL, and running it through an interpreter.
I was surprised that I had to write the explicit type signatures for the functions that are in the where section of the interpretIO function, but other than that this was a straightforward exercise. As a reaction to a recent popular reddit thread, the “Overview” given in operational’s documentation was invaluable to get started quickly.
Conclusion
I have seen this kind of design mentioned at several places, as a common way to keep things pure and easy to reason about. I however thought it was better to think about it earlier in the design process, as changing the base monad of all computations would require a significant rewrite.
The first pleasant surprise was that it only took me a few hours to go from “reading the haddocks” to “refactoring done”.
The second, in some sense, even more pleasant surprise was that there doesn’t seem to be any performance penalty whatsoever.
← Older
Blog Archives
acgp加速器
7 Startups - part 5 - the XMPP backend
Language-puppet 0.14.0
7 Startups - part 4 - Adding an asynchronous backend
Language-puppet 0.13.0
7 Startups - part 3 - An interpreter for the rules
