06_game.ts

// ====================
// GUESS THE NUMBER
// ====================

import { pipe } from 'fp-ts/function'
import * as N from 'fp-ts/number'
import * as O from 'fp-ts/Option'
import { between } from 'fp-ts/Ord'
import { randomInt } from 'fp-ts/Random'
import * as T from 'fp-ts/Task'
import { getLine, putStrLn } from './Console'

// il numero da indovinare
export const secret: T.Task<number> = T.fromIO(randomInt(1, 100))

// combinatore: stampa un messaggio prima di una azione
const withMessage = (message: string) => <A>(next: T.Task<A>): T.Task<A> =>
  pipe(
    putStrLn(message),
    T.chain(() => next)
  )

// l'input è una stringa perciò dobbiamo validarlo
const isValidGuess = between(N.Ord)(1, 100)
const parseGuess = (s: string): O.Option<number> => {
  const n = parseInt(s, 10)
  return isNaN(n) || !isValidGuess(n) ? O.none : O.some(n)
}

const question: T.Task<string> = pipe(
  getLine,
  withMessage('Indovina il numero')
)

const answer: T.Task<number> = pipe(
  question,
  T.chain((s) =>
    pipe(
      s,
      parseGuess,
      O.match(
        () => pipe(answer, withMessage('Devi inserire un intero da 1 a 100')),
        (n) => T.of(n)
      )
    )
  )
)

const check = <A>(
  secret: number, // il numero segreto da indovinare
  guess: number, // tentativo dell'utente
  ok: T.Task<A>, // cosa fare se l'utente ha indovinato
  ko: T.Task<A> // cosa fare se l'utente NON ha indovinato
): T.Task<A> => {
  if (guess > secret) {
    return pipe(ko, withMessage('Troppo alto'))
  } else if (guess < secret) {
    return pipe(ko, withMessage('Troppo basso'))
  } else {
    return ok
  }
}

const end: T.Task<void> = putStrLn('Hai indovinato!')

// mantengo lo stato (secret) come argomento della funzione (alla Erlang)
const loop = (secret: number): T.Task<void> =>
  pipe(
    answer,
    T.chain((guess) => check(secret, guess, end, loop(secret)))
  )

const program: T.Task<void> = pipe(secret, T.chain(loop))

program()