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
2 matches
Mail list logo
