On Sat, Dec 20, 2014 at 11:37:56PM -0500, Jay McCarthy wrote: > Typed Racket is very production ready. > > However, using it well requires writing down the types for the > libraries you use when they have not already been done. It would be > great for someone to start doing that for Web server libraries. > > There are a small number of places where types couldn't be used inside > of the Web server implementation, but I don't believe that would > affect the users of those libraries, so wrappers would definitely be > possible. > > Jay
In fact, given the security requirements for web software I wouldn't seriously consider doing it without static typing. -- hendrik ____________________ Racket Users list: http://lists.racket-lang.org/users
