1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
import { Bind, Kind1, Do } from '../stdlib/effect'
import { PutString, ReadLine, PutStringLn } from '../stdlib/stdio'
import { JsExpr } from '../stdlib/sys'
export type main = [
PutStringLn<'Guess a number between 0 & 9. You have 5 guesses'>,
Bind<JsExpr<'Math.floor(Math.random() * 10)'>, StartGuessing>
]
type Len<Ls extends any[]> = Ls['length'] extends number ? Ls['length'] : 0
interface AskForGuess<N extends number, Attempts extends 0[]>
extends Kind1<string> {
return: `${this['input']}` extends `${N}`
? PutStringLn<'Yay! You got it right!'>
: Do<
[
PutString<'Wrong guess. Total attempts'>,
PutStringLn<` ${Len<[...Attempts, 0]>}/5`>,
(StartGuessing<[...Attempts, 0]> & { input: N })['return']
]
>
}
interface StartGuessing<Attempts extends 0[] = []> extends Kind1<number> {
return: Attempts['length'] extends 5
? PutStringLn<'Max attempts exceeded. Game over!'>
: Bind<
Do<[PutString<'Your guess? '>, ReadLine]>,
AskForGuess<this['input'], Attempts>
>
}
|
