<div dir="ltr">Happy New Year,<div><br></div><div>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.<div>
<br></div><div style>Thanks,</div><div style><br></div><div style>Ray</div></div></div>