liboleg-2009.8.1: A collection of Oleg Kiselyov's Haskell modules (2009-2008)

Language.TEval.TEvalNR

Description

Simply-typed Church-style (nominal) lambda-calculus with integers and zero-comparison Type reconstruction, for all subterms

http://okmij.org/ftp/Computation/Computation.html#teval

Synopsis

Documentation

data Typ Source

Constructors

TInt 
!Typ :> !Typ 

Instances

type TEnv = [(VarName, Typ)]Source

Type Environment: associating types with free variables

type TermIndex = [Int]Source

A virtual typed AST: associating a type to each subterm

teval :: TEnv -> Term -> TypsSource

Type reconstruction: abstract evaluation