blob: c52e304b2e7b70f5bb96d646eb6d5ca831514118 (
plain) (
blame)
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
|
# TS Types lang [WIP]
A runtime for typescript's **type system** that turns it into a **general purpose**, **purely functional** programming language!
Take a look at the [./examples](./examples) directory for examples on how to write a program in typescript types
### Example
```typescript
import { PutString, PutStringLn, Bind, Kind1, ReadLine, Do } from 'ts-types-lang/stdlib'
// :: string -> Effect ()
interface GreetK extends Kind1<string> {
return: PutString<`Hello, ${this['input']}`>,
}
// main :: [Effect ()] | Effect ()
export type main = [
PutString<"Your name? ">,
Bind<ReadLine, GreetK>,
]
```
To run it -
```bash
npx tsr ./examples/guess-number.ts
// OR
yarn exec tsr ./examples/guess-number.ts
```
### Why?
I dunno
|
