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
33
34
35
36
37
38
|
import { Program, Print, PutString, Bind, Debug, Kind1, GetEnv, JsExpr, ReadFile, GetArgs, ReadLine, Seq } from './stdlib'
interface PrintK<Label extends string = ""> extends Kind1<unknown> {
return: Debug<Label, this['input']>
}
interface AskForGuess<N extends number> extends Kind1<string> {
return: this['input'] extends `${N}` ? Print<"Yaya"> : Print<"naaah">
}
interface StartGuessing extends Kind1<number> {
return: Bind<Seq<[PutString<"Your guess? ">, ReadLine]>, AskForGuess<this['input']>>
}
export type main = Program<[
Bind<GetArgs, PrintK>,
PutString<"1,2,3? ">,
[1, 2, 3] extends infer Res ? Print<Res> : never,
Bind<GetEnv<"NODE_ENV">, PrintK>,
Bind<JsExpr<"{ boobaa: [5 * 3, 5 * 2] }">, PrintK>,
Bind<ReadFile<"./default.nix">, PrintK>,
PutString<"Your name? ">,
Bind<ReadLine, PrintK<"Hello,">>,
Bind<
JsExpr<"Math.floor(Math.random() * 10)">,
StartGuessing
>,
Print<"Before times">,
Seq<[
Print<"Hey">,
Print<"Wow">,
Bind<JsExpr<"200 * 2">, PrintK<"200 * 2 =">>,
]>,
]>
|
