Sam, hello. On 2013 Feb 21, at 22:56, Sam Tobin-Hochstadt <[email protected]> wrote:
> Thinking about it further, it's possible to enforce this invariant > statically. Unfortunately TR isn't smart enough to let you express > this in the nicest way possible, but if you look at the above gist > now, it shows an example of the type system rejecting the errors that > you're catching dynamically. Many thanks for this -- I shall meditate on this tomorrow. I suspect that I'm confusing myself by trying to solve two problems simultaneously, namely enforcing the invariant and trying to work out how to type a closure. I've gone round in so many circles today that I'm dizzy and that probably shows in the examples. Best wishes, Norman -- Norman Gray : http://nxg.me.uk SUPA School of Physics and Astronomy, University of Glasgow, UK ____________________ Racket Users list: http://lists.racket-lang.org/users
