Over the past ~1.5 years I've been working on this programming language called Forst with the primary goal of replacing TypeScript on the backend.

I'd seen many times that running JavaScript on the backend often leads to memory spikes, especially when handling larger data structures, and other inefficiencies due over-usage of the heap and being restricted to one core by default. So I wanted more efficient native code to replace it but also figured that it's often simply too risky and time consuming to rewrite entire codebases in Go, Rust, or others.

This idea led the design. By now, Forst is interoperable with Node, so you can call Forst code from Node via ICP or an HTTP sidecar, and even call existing TS code from Go if you're running a Node process as a child process of your Forst host process. These features enable an incremental migration of parts of your codebase rather than having to go all-in immediately.

It started out as a transpiler that emits Go code with support for structural typing in a way closer to TypeScript, i.e. allowing anonymous objects to be passed to functions and just matched on required properties. Overall however both the syntax and the semantics of the language are designed to be as close to Go as possible, both to avoid Go's developing features from interfering with the design and to prevent Forst from becoming an exotic language that no one wants to risk using in production.

Other features include:

  - import any Go code directly, to profit from its massive ecosystem
  - an `ensure` keyword that promotes early returns
  - a first-class `error` keyword that makes errors explicit, nominal structs that are shared between ecosystems
  - a first-class dependency injection feature called *Providers* via `with` and `use` keywords
  - constraints on types (refinement types) you can define yourself using *type guards* that look like Go functions

You can also check the docs and the roadmap for more details.

There is a VSCode extension with a built-in LSP so you get syntax highlighting and IntelliSense on hover.

(Disclaimer: The compiler has pretty much been vibe-coded but I'd say it is quite well tested at this point.)

Let me know what you think, I'm very curious about your feedback! Would love to hear about any new ideas, problems you encounter with it or even fundamental concerns you have that I haven't considered.

I finally did it.Custom 4K screens with analog knobs,beautiful feedbadk fractals

The fun thing about Electron apps

Improving matrix multiplication exponent w. modern optimization and AlphaEvolve

Are we cooked? Algorithms have rewired our language

AI Stock Research Assistant · Streamlit

Show HN: Forst – a back end language that helps you migrate TS back ends to Go

Boeing engineers, tech workers reject contract offer

National Security Science and Technology Strategy [pdf]

Visual Studio Code 1.0 (2016)

Show HN: K8s-audit – 30-second Kubernetes security check (kubectl and jq only)

PDPR – Public Dark Pattern Registry

The Art of the Fugue: Minimizing Interleaving in Collaborative Text Editing

'Darth Vader' makes the case for Flock cameras at city council meeting [video]

Show HN: Knoku – cited AI answers from docs, files, and team knowledge

I made a sweater from scratch (it made me insane) [video]

The 1991 Unnormalized Linear Transformer (ULTRA)

Low-emission zones drive Vietnam's green vehicle transition

Show HN: I built a simple free app that helps control ADHD symptoms

Code Doesn't Speak for Itself

FTC Targets Personalized Pricing, Stops Short of Ban

"I randomly picked 5 universities and looked up sociology department faculty."

Why Social Media's Ad Dominance Is a Billion-Dollar Measurement Illusion

Espressif Releases Linux BSP for ESP32-S31 RISC-V Boards

ADHD diagnoses and prescriptions have increased globally across all age groups

Apple cutting jobs from Siri, Vision Pro teams

Show HN: VinvAI runs and observes your services to find bugs and perf issues

Show HN: hlquery, An open-source C++20 search engine

Does herdr worth it? Harnesses like pi ship most of these features

How do ecommerce businesses handle reconciliation?

Cells are fast and crowded places

How do ecommerce businesses handle reconciliation?

I finally did it.Custom 4K screens with analog knobs,beautiful feedbadk fractals

The fun thing about Electron apps

Improving matrix multiplication exponent w. modern optimization and AlphaEvolve

Are we cooked? Algorithms have rewired our language

AI Stock Research Assistant · Streamlit

Show HN: Forst – a back end language that helps you migrate TS back ends to Go

Boeing engineers, tech workers reject contract offer

National Security Science and Technology Strategy [pdf]

Visual Studio Code 1.0 (2016)

Show HN: K8s-audit – 30-second Kubernetes security check (kubectl and jq only)

PDPR – Public Dark Pattern Registry

The Art of the Fugue: Minimizing Interleaving in Collaborative Text Editing

'Darth Vader' makes the case for Flock cameras at city council meeting [video]

Show HN: Knoku – cited AI answers from docs, files, and team knowledge

I made a sweater from scratch (it made me insane) [video]

The 1991 Unnormalized Linear Transformer (ULTRA)

Low-emission zones drive Vietnam's green vehicle transition

Show HN: I built a simple free app that helps control ADHD symptoms

Code Doesn't Speak for Itself

FTC Targets Personalized Pricing, Stops Short of Ban

"I randomly picked 5 universities and looked up sociology department faculty."

Why Social Media's Ad Dominance Is a Billion-Dollar Measurement Illusion

Espressif Releases Linux BSP for ESP32-S31 RISC-V Boards

ADHD diagnoses and prescriptions have increased globally across all age groups

Apple cutting jobs from Siri, Vision Pro teams

Show HN: VinvAI runs and observes your services to find bugs and perf issues

Show HN: hlquery, An open-source C++20 search engine

Does herdr worth it? Harnesses like pi ship most of these features

How do ecommerce businesses handle reconciliation?

Cells are fast and crowded places