diff options
| -rw-r--r-- | README.md | 7 | ||||
| -rw-r--r-- | examples/file.ts | 2 |
2 files changed, 3 insertions, 6 deletions
@@ -1,5 +1,5 @@ # TS Types lang [WIP] -A runtime for ts types that turns it into a general purpose, purely functional programming language! +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 @@ -11,10 +11,7 @@ import { PutString, PutStringLn, Bind, Kind1, ReadLine, Do } from 'ts-types-lang // :: string -> Effect () interface GreetK extends Kind1<string> { - return: Do<[ - PutString<"Hello, ">, - PutStringLn<this['input']> - ]>, + return: PutString<`Hello, ${this['input']}`>, } // main :: [Effect ()] | Effect () diff --git a/examples/file.ts b/examples/file.ts index b0942de..279a51b 100644 --- a/examples/file.ts +++ b/examples/file.ts @@ -1,4 +1,4 @@ -import { Bind, Kind1, ReadFile, PutStringLn } from '../stdlib' +import { Bind, Kind1, ReadFile, WriteFile, PutStringLn } from '../stdlib' interface PrintK extends Kind1<string> { return: PutStringLn<this['input']> |