Hi
Hindley–Milner type inferencing in C
Hacker NewsHindley–Milner type inferencing in C
This is a pretty straightforward port of Robert Smallshire's Python implementation to C. It type checks a factorial program correctly and is pretty fast. Mostly a learning exercise.
Share cardActual performance
7points
Made the leaderboard
Launch Intel predictions
Analyze your own launch →Hacker NewsStrong engagement from HN community · Strong signals: io · Missing: https docs, excited, just released56%56% predicted probability of success on Hacker News, based on ML models trained on real launch data.
nativeThis product was originally launched on this platform.
TrustMRRFits verified-revenue profile · Missing: mobile apps, ios, personal51%51% predicted probability of success on TrustMRR, based on ML models trained on real launch data.
BetaListMay not resonate with beta-testers · Missing: web3, chat, crypto49%49% predicted probability of success on BetaList, based on ML models trained on real launch data.
AppSumoMay struggle as an AppSumo deal · Missing: plus, platform, intuitive31%31% predicted probability of success on AppSumo, based on ML models trained on real launch data.
Product HuntUnlikely to reach the leaderboard · Missing: mac, agents, macos31%31% predicted probability of success on Product Hunt, based on ML models trained on real launch data.
Indie HackersIH features products with proven revenue · Missing: supports, reddit linkedin, podcasting26%26% predicted probability of success on Indie Hackers, based on ML models trained on real launch data.
Acquire.comPre-revenue stage for this audience · Missing: arr, mrr, revenue21%21% predicted probability of success on Acquire.com, based on ML models trained on real launch data.
Correct prediction on native model
Similar products
GM
GMP Deserialization Type Confusion Vulnerability [MyBB43%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.
GMP Deserialization Type Confusion Vulnerability [MyBB
Hacker News1Co
Co-Occurrence of Type in Pokémon45%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.
Co-Occurrence of Type in Pokémon
Hacker News1Ty
Type someone's name and find out how to pronounce it45%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.
Type someone's name and find out how to pronounce it
Hacker News3Ha
Hash any comparable type in Go55%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.
Hash any comparable type in Go
Hacker News1I
I simulated Bigtable in BigQuery as a Type 2 SCD40%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.
I simulated Bigtable in BigQuery as a Type 2 SCD
Hacker News15Ke
KeyVocab – drill vocab while you type45%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.
KeyVocab – drill vocab while you type
Hacker News3Ty
Type45%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.
Type
Hacker News3a
a type-agnostic wrapper of leveldb for Go26%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.
a type-agnostic wrapper of leveldb for Go
Hacker News3Miami Stone Restoration - Select Your Stone Type17%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.
stone, restoration, marble, granit
Indie Hackerscommitment-full-timeType 2 [.] Space34%Launch Intel prediction score: how likely this product is to succeed on its source platform, based on its name, tagline, and description.
Towards type-2 civilization and beyond
Indie Hackers1ai