Hyke, a programming language that runs on TypeScript's type system
This absurd project started when I read a couple of blog posts that got very popular around here about solving the N queens puzzle using only Haskell's type system and TypeScript's type system. I figured I could implement Peano arithmetic using only TypeScript's type system. Turns out this have been done several times before, but I did it anyway. While working on it, I realized that you could emulate functions with conditional recursive types, writing them in a way that strongly resembles the equations that can be found in some functional programming languages. So I thought I could write a…
Hyke, a programming language that runs on TypeScript's type system launched on June 30, 2023 with 38 votes, #1,499 of 4,655 launches that month and more than 90% of that year's launches. The site was still online in September 2026, 3 years on.
In plain words
Hyke is a programming language that compiles to TypeScript's type system, enabling computation through type-level operations. It allows developers to write functional programming-style equations that transpile into conditional recursive types, supporting operations like Peano arithmetic. Designed as an experimental project, Hyke demonstrates how TypeScript's type system can execute logic at compile time, with a browser-based playground available for testing.
written from the facts on this page · September 2026
From the sources
A programming language that runs on TypeScript's type system - davidaf3/hyke
In the maker’s words, at launch
This absurd project started when I read a couple of blog posts that got very popular around here about solving the N queens puzzle using only Haskell's type system and TypeScript's type system. I figured I could implement Peano arithmetic using only TypeScript's type system. Turns out this have been done several…
Does a similar job
all alternatives →
A SQL database implemented purely in TypeScript type annotations2020 · github.com · ▲426A SQL database implemented purely in TypeScript type annotations. - codemix/ts-sql
Conway's Game of Life in TypeScript's type system2023 · github.com · ▲186TypeScript playground: https://www.typescriptlang.org/play?#code/KYDwDg9gTgLgBDAnmY...
Cannoli – A compiler for a subset of Python written in Rust2018 · github.com · ▲292Cannoli Programming Language. Contribute to joncatanio/cannoli development by creating an account on GitHub.
Bolt – A super-fast, statically-typed scripting language written in C2025 · github.com · ▲261I've built many interpreters over the years, and Bolt represents my attempt at building the scripting language I always wanted. This is the first public release, 0.1.0! I've felt like most embedded languages have been moving towards safety and typing over years, with things like Python type hints, the explosive popularity of typescript, and even typing in Luau, which powers one of the largest scripted evironments in the world. Bolt attempts to harness this directly in the lagnauge rather than as a preprocessing step, and reap benefits in terms of both safety and performance. I intend to be…
TypeScript 6.0Mar 2026 · typescriptlang.org · ▲156The Playground lets you write TypeScript or JavaScript online in a safe and sharable way.
Peridot – A functional language based on two-level type theory2022 · github.com · ▲151A fast functional language based on two level type theory - ehatti/peridot
More work this month
the category →
Endless lofi beats composed live in your browser, over pixel-art nights in Paris, Tokyo, New York, Hong Kong, Sydney, San Francisco and more. Free, no sign-up.
Work · 25d ago · loficities.com
Smooth Recorder▲257Mac screen recordings that look edited when you hit stop
Work · 19d ago · smoothrecorder.com
Work · 13d ago · readrare.com
Source: Show HN post ↗ · launch text quoted in part
Launched alongside, June 2023
the whole month →
Heya HN, I've been working on a reddit-like platform as my primary side project for the last few years. Doing a (very) soft launch today, mainly because I want to use it to encourage discussion of alternatives. How non.io works: 1. Free to browse, paid to interact. 2. Minimum subscription is $2 (though you can choose more). I take $1 to run the servers, everything left gets split evenly between everything you upvote that month. It's a simple model, but I hope it's a better one than the freemium model we've been relying on for the last few years. Fundamentally I feel like any ad-supported…
Commerce · 2023 · non.io
Typefully 2.0▲931Effortlessly publish on Twitter and LinkedIn, now with AI
Growth · 2023 · typefully.com
SlashPage▲755Create websites in seconds to build your first 1K community
Growth · 2023 · slashpage.com
Easy to use AI-powered, drag-and-drop website, SAAS landing, directory, and blog builder for startups, mobile apps, and SaaS. 100% no code, no design skills needed.
AI · 2023 · unicornplatform.com