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 On Fri, Dec 19, 2014 at 11:23 PM, WarGrey <[email protected]> wrote: > Hello, ignoring the state of not supporting unit in typed racket. If I will > (require/typed) all I need, are there any problems to develop a real world > (personal but modern) web system with stateless servlets in typed racket? > ____________________ > Racket Users list: > http://lists.racket-lang.org/users -- Jay McCarthy http://jeapostrophe.github.io "Wherefore, be not weary in well-doing, for ye are laying the foundation of a great work. And out of small things proceedeth that which is great." - D&C 64:33 ____________________ Racket Users list: http://lists.racket-lang.org/users

