On Apr 18, 2014, at 10:48 AM, Neil Toronto <neil.toro...@gmail.com> wrote:
> Another benefit is that Typed Racket will no longer have to consider > non-function letrec bindings as having the type (U Undefined A) where A is > the "real" type. (Technically, (U Undefined A) *was* the real type.) That was my primary motivation for launching this project, motivated by nearly two decades of coping with such unions or a lack of safety. I knew you'd appreciate it -- Matthias ____________________ Racket Users list: http://lists.racket-lang.org/users
