Skip to content

thunderseethe personal blog

How to choose between Hindley-Milner and bidirectional typing

by THUNDERSEETHE'S DEVLOG thunderseethe.dev published 2026-02-156 min read

A false dichotomy that hides the real request

Read on thunderseethe.dev → Discuss on HN (49) Archived copy

Points: 153
HN comments: 49
Submissions: 1
Cited by: 0 commenters

Software Engineering Programming Languages 2026

On Hacker News

Submitted	Title on HN	Points	Comments
Feb 15, 2026	How to choose between Hindley-Milner and bidirectional typing by thunderseethe	153	49

More from thunderseethe

All 4 posts →

I'm Betting on Call-by-Push-Value

2024174 points64 comments Software Engineering details

Traits are a local maximum

2024121 points101 comments Software Engineering details

Designing a Language Without a Parser

2023114 points127 comments Software Engineering details

Related posts from the same era

Ghostty is leaving GitHub

Mitchell Hashimoto20263,521 points1,051 commentscited by 3 details

Astra can read and write weights to improve Qwen

Rikiya Takehi20262,959 points899 comments details

Git commands I run before reading any code

Principal Software Engineer & Codebase Rescue20262,338 points509 comments details

Uv is the best thing to happen to the Python ecosystem in a decade

Dr. Emily L. Hunt20252,214 points1,324 comments details

Anthropic acquires Bun

Bun Blog20252,192 points1,072 commentscited by 7 details

Zed 1.0

Zed Blog20262,153 points690 comments details