Skip to content

A runtime for typescript's type system that turns it into a general purpose, purely functional programming language with effects!

License

Notifications You must be signed in to change notification settings

phenax/ts-types-runtime

Repository files navigation

TS Types lang

A runtime for typescript's type system that turns it into a general purpose, purely functional programming language with effects!

Documentation

Implemented effects

  • read/write file
  • simple stdio interactions
  • error handling
  • test runner
  • mutable references
  • js ffi
  • get cli args, env vars

Example

Take a look at the ./examples directory for more examples on how to write a program in typescript types

import { Bind, Do, Kind1 } from 'ts-types-lang/stdlib/effect'
import { WriteFile } from 'ts-types-lang/stdlib/fs'
import { PutString, ReadLine, PutStringLn } from 'ts-types-lang/stdlib/stdio'

export type main = [
  PutStringLn<'Greetotron 6000 initializing...'>,
  PutStringLn<''>,

  PutString<'Your name? '>,
  Bind<ReadLine, <name extends string>() =>
    PutStringLn<`Hello, ${name}`>>,

  PutString<'Your purpose in life? '>,
  Bind<ReadLine, HandleResponseK>,

  PutStringLn<'Bye bye'>,
]

// :: string -> Effect ()
interface HandleResponseK extends Kind1<string, Effect> {
  return: Do<[
    PutStringLn<`Interesting that you believe "${this['input']}" is your purpose. Hmmmm...`>,
    PutStringLn<'Judging harshly...'>,
    PutStringLn<'Saving response...'>,
    WriteFile<'./response.txt', this['input']>,
  ]>
}

Run a types-lang module

Install it -

npm i --save ts-types-lang
# OR
yarn add ts-types-lang

Or just run it -

npx tsr run ./examples/guess-number.ts
# OR
yarn exec tsr run ./examples/guess-number.ts

FAQ

Why?

Why not?

How?

Why?

What?

What?

Should I use this?

No

About

A runtime for typescript's type system that turns it into a general purpose, purely functional programming language with effects!

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Languages