typed-racket

Typed Racket

Go to file

Asumu Takikawa ef78c1fa66 Use pairs for objects on arrow types Previously, function types looked something like U_n\|V_n S ---------> T where n is a natural number representing ∅ a function argument by its index They now look like U_(n,m)\|V_(n,m) S -----------------> T where the pair indicates the mth argument ∅ bound by a function n lambdas away This allows the use of curried predicates in occurrence typing original commit: 4c17c2091cfbf25a90b82256f43d4b46cbe868de	2013-09-12 11:18:11 -04:00
pkgs/typed-racket-pkgs	Use pairs for objects on arrow types	2013-09-12 11:18:11 -04:00

Asumu Takikawa ef78c1fa66 Use pairs for objects on arrow types

Previously, function types looked something like
    U_n|V_n
 S ---------> T   where n is a natural number representing
       ∅          a function argument by its index

They now look like
    U_(n,m)|V_(n,m)
 S -----------------> T   where the pair indicates the mth argument
           ∅              bound by a function n lambdas away

This allows the use of curried predicates in occurrence typing

original commit: 4c17c2091cfbf25a90b82256f43d4b46cbe868de

2013-09-12 11:18:11 -04:00

pkgs/typed-racket-pkgs

Use pairs for objects on arrow types

2013-09-12 11:18:11 -04:00