Higher-kinded bounded polymorphism in OCaml (2021) (okmij.org) | HN Screenshots

YHacker Newsscreenshots

Screenshot of okmij.org: Higher-kinded bounded polymorphism in OCaml (2021)

First screen, captured 2 years ago.

Looks similar

Screenshot of okmij.org: How the OCaml type checker works (2022)

How the OCaml type checker works (2022)(okmij.org)

207 points by mooreds 2 years ago | 37 comments

Screenshot of okmij.org: Principia Mathematica is modern and insightful

Principia Mathematica is modern and insightful (okmij.org)

254 points by matt_d 2 months ago | 135 comments

Screenshot of utcc.utoronto.ca: Polymorphism and other important aspects of inheritance

Polymorphism and other important aspects of inheritance (utcc.utoronto.ca)

35 points by ingve 3 years ago | 22 comments

Screenshot of okmij.org: Compilers: Incrementally and Extensibly (2024)

Compilers: Incrementally and Extensibly (2024)(okmij.org)

133 points by todsacerdoti 1 year ago | 31 comments

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

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

193 points by surprisetalk 2 years ago | 49 comments

Screenshot of franklin.dyer.me: Totality and non-standard recursion in Idris

Totality and non-standard recursion in Idris (franklin.dyer.me)

4 points by franklin_p_dyer 2 years ago | 0 comments