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

132 points by tinyspacewizard 2 years ago | 9 comments

Two types of C programmers(utcc.utoronto.ca)

77 points by susam 3 years ago | 124 comments

Boehm-Demers-Weiser conservative C/C++ Garbage Collector(hboehm.info)

121 points by swatson741 2 years ago | 114 comments

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

35 points by ingve 3 years ago | 22 comments

Why I love OCaml (2023)(mccd.space)

379 points by art-w 11 months ago | 270 comments

Personal blog post by Marc Coquand explaining why he loves OCaml, comparing it with Haskell and other languages he has used.

A peculiarity of the GNU Coreutils version of 'test' and '['(utcc.utoronto.ca)

71 points by ingve 2 years ago | 42 comments