What is this?

Example

// NuGet package is available.#r"nuget: TypeInferencer"openTypeInferencer// `let id = fun x -> x in id id`letexpr=    ELet("id",        EAbs("x", EVar"x"),        EApp(EVar"id", EVar"id"))// Type environment (is empty)letenv= TypeEnv[]// Do inferring with `Algorithm W` (top-down)letactual= infer TopDown env expr// Pretty printingprintfn"Expression:%s"(show expr)printfn"Actual:%s"(show actual)

Expression: let id = fun x -> x in id idActual: a3 -> a3

How to play it

Basic interface

Well-defined types

typepublicLit=| LIntofvalue:int32| LBoolofvalue:booltypepublicExp=| EVarofname:string| ELitofliteral:Lit| EAppoffunc:Exp*arg:Exp| EAbsofname:string*expr:Exp| ELetofname:string*expr:Exp*body:Exp| EFixoffunc:string*name:string*expr:Exp

typepublicType=| TVarofname:string| TInt| TBool| TFunofparameterType:Type*resultType:Type

typepublicInferAlgorithm=| TopDown| BottomUp[<AutoOpen>]modulepublicInferencer=letinfer:InferAlgorithm->TypeEnv->Exp->Type

Requirements

License