A reckless introduction to Hindley-Milner type inference (2019)

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com
hardware-buttons scrape-images linkedin-bot

InfluxDB - Purpose built for real-time analytics at any scale.
InfluxDB Platform is powered by columnar analytics, optimized for cost-efficient storage, and built with open data standards.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

  • types-and-programming-languages

    Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!

    I don't know if it will be useful to you, but I worked up dependency-free parsers/type checkers in Rust for the "languages" defined in most of the chapters (at least the ones I cared about) https://github.com/lazear/types-and-programming-languages

  • InfluxDB

    Purpose built for real-time analytics at any scale. InfluxDB Platform is powered by columnar analytics, optimized for cost-efficient storage, and built with open data standards.

    InfluxDB logo

  • re-web

    Experimental web framework for ReasonML & OCaml

    What's an example use case where heterogeneous lists turn out to be fine but can't be modelled with eg the OCaml difflist technique, eg https://github.com/yawaramin/re-web/blob/0d6c62fb432f85cc437... ?

  • ocaml-graphql-server

    GraphQL servers in OCaml

    In the technique I showed, I am using a difflist to enumerate a set of HTTP POST form fields and their expected types. This difflist type is defined in such a way that one of its type parameters gets inferred as a function type which takes the decoded values in the correct order and returns a record containing the decoded form. Eg from Field.[int "id"; string "name"] we get a type parameter int -> string -> 'a, where 'a is the type of the final decoded form.

    This is the kind of real-world usage where difflists or heterogeneous lists shine. The same technique is used by this library to define type-safe GraphQL resolvers: https://github.com/andreas/ocaml-graphql-server

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

  • IWNET — Pure C Asynchronous HTTP/IO library providing websockets, SSL, routing and reverse proxy. (MIT)

    1 project | /r/coding | 10 Feb 2023

  • IWNET — Asynchronous HTTP/IO library providing websockets, SSL, routing and reverse proxy. (MIT)

    1 project | /r/Clibs | 10 Feb 2023

  • Pure C Asynchronous HTTP library with websockets, SSL, routing.

    1 project | /r/C_Programming | 15 Apr 2022

  • Dream – Tidy Web Framework for OCaml and ReasonML

    10 projects | news.ycombinator.com | 9 Apr 2021

  • Recommendation for a lightweight FP language for dockerized REST APIs?

    3 projects | /r/functionalprogramming | 18 Jan 2021