Resources on variable-arity functions in Hindley-Milner type systems?

This page summarizes the projects mentioned and recommended in the original post on

Our great sponsors
  • OPS - Build and Run Open Source Unikernels
  • Scout APM - Less time debugging, more time building
  • SonarQube - Static code analysis for 29 languages.
  • ffmt

    Format string experimentations (by Octachron)

    By the way, the `printf` behaviour can be encoded using GADT. I think this is how it's implemented in OCaml and there's a nice experiment of doing this in user-space. So maybe adding GADT is the first step to allow such functionality?

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts