Skip to content

Max Bernstein personal blog

Adding row polymorphism to Damas-Hindley-Milner

bernsteinbear.com published 2024-10-2210 min read

Intro to HM

Read on bernsteinbear.com → Discuss on HN (56) Archived copy

Points: 211
HN comments: 56
Submissions: 1
Cited by: 0 commenters

Programming Languages Math & Algorithms 2024

On Hacker News

Submitted	Title on HN	Points	Comments
Oct 23, 2024	Adding row polymorphism to Damas-Hindley-Milner by surprisetalk	211	56

More from Max Bernstein

All 25 posts →

You can use C-Reduce for any language

2024472 points113 comments Software Engineering details

Writing that changed how I think about programming languages

2025463 points60 comments Software Engineering details

Bytecode compilers and interpreters

2019349 points71 comments Software Engineering details

scrapscript.py

2024316 points75 comments Programming Languages details

A simple search engine from scratch

2025296 points59 comments Software Engineering details

Microui+fenster=Small GUI

2024231 points36 comments Software Engineering details

Related posts from the same era

A 10x Faster TypeScript

Microsoft Developer Blogs20251,827 points907 commentscited by 14 details

JavaScript Temporal is coming

MDN20251,405 points399 comments details

Python 3.13 Gets a JIT

Anthony Shaw20241,081 points521 commentscited by 3 details

Pkl, a Programming Language for Configuration

Pkl Blog2024930 points564 comments details

The Rust I wanted had no future

Graydon Hoare2023868 points508 commentscited by 15 details

Why I Left Rust

Jonathan Turner2023861 points783 commentscited by 4 details