Re: [Haskell-cafe] Map constructor in a DSL

26 Oct 2010

      Hey Chris!
Values for PlayerNumber are acquired at evaluation time, from the state of
the system.

I have not included the evaluation of AllPlayers.
Here how it looks:

evalObs AllPlayers  = return . pure  =<< gets players

But when you build your Obs, you have yet no idea how much players it will
be.
This is just symbolic at this stage.

To give you a better insight, here is want I want to do with Map:

everybodyVote :: Obs [Bool]
everybodyVote = Map (Vote (Konst "Please vote")) AllPlayers

In memory, everybodyVote is just a tree.
This rule can be executed latter whenever I want to perform this democratic
vote ;)

Hope this answer to your question.
Corentin

On Tue, Oct 26, 2010 at 7:17 PM, Christopher Done
wrote:
...
On 26 October 2010 18:07, Dupont Corentin 
wrote:
...
But how can I write the evaluator for Map?
Where do values for PlayerNumber come from? Unless I'm mistaken, the
only thing that Map can be used with is Obs [PlayerNumber], a list of
values PlayerNumber which we have no means of acquiring in order to
provide to the Map function.