Hyke, a programming language that runs on TypeScript's type system

Hacker News

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 transpiler that would transform equations written in a more terse language into conditional recursive types with the added boilerplate. And that was when hyke was born. If you want, you can try it in your browser at the playground that is linked in the GitHub repo.

Visit product View on Hacker NewsJun 30, 2023

Share card

Actual performance

38points

Made the leaderboard

Launch Intel predictions

Analyze your own launch →

Product HuntOn track for Day 1 leaderboard · Strong signals: using · Missing: mac, agents, macos

77%77% predicted probability of success on Product Hunt, based on ML models trained on real launch data.

best fitHighest predicted score across all platforms for this description.

Indie HackersFits the IH revenue-focused audience · Strong signals: started · Missing: supports, reddit linkedin, podcasting

76%76% predicted probability of success on Indie Hackers, based on ML models trained on real launch data.

Hacker NewsStrong engagement from HN community · Strong signals: io · Missing: https docs, excited, just released

71%71% predicted probability of success on Hacker News, based on ML models trained on real launch data.

nativeThis product was originally launched on this platform.

TrustMRRLess likely to generate early MRR · Strong signals: way · Missing: mobile apps, ios, personal

49%49% predicted probability of success on TrustMRR, based on ML models trained on real launch data.

AppSumoMay struggle as an AppSumo deal · Missing: plus, platform, intuitive

29%29% predicted probability of success on AppSumo, based on ML models trained on real launch data.

Acquire.comPre-revenue stage for this audience · Missing: arr, mrr, revenue

17%17% predicted probability of success on Acquire.com, based on ML models trained on real launch data.

BetaListMay not resonate with beta-testers · Missing: web3, chat, crypto

0%0% predicted probability of success on BetaList, based on ML models trained on real launch data.

Correct prediction on native model

Similar products

Sirius – A type system for array programming57%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Sirius – A type system for array programming

Hacker News2

Visual Programming with TypeScript56%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Visual Programming with TypeScript

Hacker News2

A Basic-Like Programming Language That Runs in the Browser61%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

A Basic-Like Programming Language That Runs in the Browser

Hacker News11

Codessentials, Programming resources by language and type61%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Codessentials, Programming resources by language and type

Hacker News6

An Easy Programming Language That Runs in the Browser63%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

An Easy Programming Language That Runs in the Browser

Hacker News138

An Easy Programming Language That Runs in the Browser via WebAssembly73%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

An Easy Programming Language That Runs in the Browser via WebAssembly

Hacker News32

FizzBuzz in an esoteric programming language.62%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

FizzBuzz in an esoteric programming language.

Hacker News17

Mint Programming Language69%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

Mint Programming Language

Hacker News3

M# Programming Language69%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

M# Programming Language

Hacker News3

J4 – A programming language implemented in C74%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.

J4 – A programming language implemented in C

Hacker News3

Browse all products Analyze your launch