[racket] Refinement Types

From: Ray Racine (ray.racine at gmail.com)
Date: Sun Dec 30 18:50:53 EST 2012

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20121230/fc9a8fd1/attachment.html>

Posted on the users mailing list.