Saturday, February 24, 2018

Detecting use-cases for GADTs in OCaml



Before we dive into the GADT implementation lets do a quick review of how to define GADTs in OCaml. Remember that we previously defined the value type like this To define a GADT we need to use a slightly different syntax. The following syntax definition is taken from the OCaml Users Guide.

No comments:

Fun With Haxl (Part 1)

This is a blog-post version of a talk I recently gave at the Haskell eXchange 2015. The video of the talk is here, but there were a lot of...