Devinez mon numéro, un mal de tête monadique

Pour tester mes compétences à Haskell, j'ai décidé que je voulais mettre en œuvre le tout premier jeu que vous trouverez dans terres de Lisp em> / royaume de raquette em>. Le "devine mon numéro" em> jeu. Le jeu s'appuie sur l'état mutable à exécuter, car il doit constamment mettre à jour les limites supérieure et inférieure du programme à domicile sur la valeur de la valeur de l'utilisateur.

Cela va un peu comme ceci: P> XXX PRE>

Maintenant, ce type de chose (à ma connaissance) n'est pas entièrement possible dans HASKELLL, appelant une fonction de la part de la réplique qui modifie l'état mutable global, puis imprime le résultat immédiatement après, comme il enfreint le principe de l'immutabilité. Par conséquent, toute l'interaction doit vivre à l'intérieur d'un io code> et / ou état code> monad. Et c'est là que je suis coincé. p>

Je n'arrive pas à pouvoir envelopper mon esprit autour de la combinaison du io code> monad et de l'état code> monade, donc je peux obtenir une entrée, imprimer Résultats et modifier l'état, tous dans la même fonction. P>

Voici ce que j'ai jusqu'à présent: p>

type Bound = (Int, Int) -- left is the lower bound, right is the upper

initial :: Bound
initial = (1, 100)

guess :: Bound -> Int
guess (l, u) = (l + u) `div` 2

smaller :: State Bound ()
smaller = do
  bd@(l, _) <- get
  let newUpper = max l $ pred $ guess bd
  put $ (l, newUpper)

bigger :: State Bound ()
bigger = do
  bd@(_, u) <- get
  let newLower = min u $ succ $ guess bd
  put $ (newLower, u)

• Imprimer Initial Guess Li>
• Commande de réception vouloir un nombre plus petit / plus grand li>
• Modifier l'état en conséquence li>
• appelez la fonction de manière récursive afin qu'elle devine encore li> ul>

  Comment puis-je combiner io code> et état code> d'une manière élégante pour y parvenir? p>

  Remarque: je suis conscient que Cela peut probablement être atteint sans l'utilisation de l'état du tout; Mais je veux que cela reste fidèle à l'original p> p>