Adding row polymorphism to Damas-Hindley-Milner (bernsteinbear.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of bernsteinbear.com: Adding row polymorphism to Damas-Hindley-Milner

First screen, captured 2 years ago.

Looks similar

Screenshot of bernsteinbear.com: Damas-Hindley-Milner inference two ways

Damas-Hindley-Milner inference two ways (bernsteinbear.com)

109 points by todsacerdoti 2 years ago | 8 comments

Screenshot of bernsteinbear.com: scrapscript.py

scrapscript.py (bernsteinbear.com)

285 points by surprisetalk 2 years ago | 74 comments

Screenshot of bernsteinbear.com: Compiling Typed Python

Compiling Typed Python (bernsteinbear.com)

94 points by tekknolagi 3 years ago | 46 comments

Screenshot of bernsteinbear.com: Value Numbering

Value Numbering (bernsteinbear.com)

27 points by surprisetalk 4 months ago | 0 comments

Screenshot of bernsteinbear.com: Some Tricks from the Scrapscript Compiler

Some Tricks from the Scrapscript Compiler (bernsteinbear.com)

18 points by surprisetalk 2 years ago | 6 comments

Screenshot of bernsteinbear.com: The GDB JIT Interface

The GDB JIT Interface (bernsteinbear.com)

60 points by surprisetalk 9 months ago | 8 comments