Sam Tobin-Hochstadt wrote:
On Tue, Jul 6, 2010 at 7:00 PM, Neil Toronto wrote:
#lang typed/racket
(define-type Env (HashTable Symbol Any))
(define: empty-env : Env (make-immutable-hash empty))
; type of environment idiom/monad computations:
(define-type (I a) (Env -> a))
(: id (All (a) (Symb
On Tue, Jul 6, 2010 at 7:00 PM, Neil Toronto wrote:
> I'd like to use Typed Racket to create an interpreter for a typed lambda
> calculus, which *inherits* Typed Racket's type system. (In other words, I'm
> lazy and I don't want to make my own type system. But who does? Except maybe
> Sam? :p) I w
I'd like to use Typed Racket to create an interpreter for a typed lambda
calculus, which *inherits* Typed Racket's type system. (In other words,
I'm lazy and I don't want to make my own type system. But who does?
Except maybe Sam? :p) I was counting on occurrence typing to allow me to
do it whi
3 matches
Mail list logo
