liboleg-2010.1.10.0: An evolving collection of Oleg Kiselyov's Haskell modules

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

data Term Source

Constructors

V VarName 
L VarName Typ Term 
A Term Term 
I Int 
Term :+ Term 
IFZ Term Term Term 
Fix Term 

Instances

type VarName = StringSource

type TEnv = [(VarName, Typ)]Source

Type Environment: associating types with free variables

env0 :: TEnvSource

lkup :: TEnv -> VarName -> TypSource

ext :: TEnv -> (VarName, Typ) -> TEnvSource

type TermIndex = [Int]Source

A virtual typed AST: associating a type to each subterm

type Typs = Map TermIndex TypSource

topterm :: Typ -> TypsSource

toptyp :: Typs -> TypSource

shift :: Int -> Typs -> TypsSource

teval :: TEnv -> Term -> TypsSource

Type reconstruction: abstract evaluation