Happy New Year, Just wanted to register my vote for Refinement Types in 2013, I think they will be crazy useful. Tons of utility in semi-structured data applications in munging strings and numbers from text files. Also in many of the today's Web APIs where are fundamentally string based.
Thanks, Ray
____________________ Racket Users list: http://lists.racket-lang.org/users
