EduardoRFS

module Syntax = struct
  type var = string

  type term =
    | T_var of var
    | T_let of var * term * term
    | T_annot of term * term
    | T_with_self of term * term
    (* pi *)
    | T_forall of var * term * term

jozefg

This is my short-ish tutorial on how to implement closures in
a simple functional language: Foo.

First, some boilerplate.

> {-# LANGUAGE DeriveFunctor, TypeFamilies #-}
> import Control.Applicative
> import Control.Monad.Gen
> import Control.Monad.Writer
> import Data.Functor.Foldable