6 hours ago, Neil Toronto wrote: > Eli Barzilay wrote: > > *snipped a bunch of interesting ideas* > > I finally have a solution: fake Typed Racket into allowing > redefinitions by alpha-renaming everything defined at the top level. > [...]
So you didn't really solve the problem. Specifically, Sam mentioned some things that can't be used in the repl (typed structs, IIRC). > I would like to have something like this in the TR REPL itself. (Sounds to me like a bad idea...) -- ((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay: http://barzilay.org/ Maze is Life! _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users