Bynk

A statically typed language for backend services in which the architecture — contexts, services, agents, and the capabilities that flow between them — is part of the language and checked by the compiler. It compiles to typed TypeScript and runs on Cloudflare Workers.

context greeter

service api from http {
  on GET("/hello/:name") (name: String) -> Effect[HttpResult[String]] by Visitor {
    Ok("Hello, \(name)!")
  }
}

Architecture in the language

Contexts, services, and agents are first-class constructs — your architecture is written down and checked by the compiler.

Illegal states, unrepresentable

Refined types, sum types, opaque types, and exhaustiveness let you rule out the states you never meant to allow.

No bespoke runtime

Bynk compiles to typed TypeScript and deploys to Cloudflare Workers — nothing new to trust underneath.

Honest and spec-first

Bynk grows in small, specified increments; features that are not yet here are deferred, not forgotten.

Bynk is pre-1.0 and evolving in small, spec-first increments — some features are deferred by design.