Thank you, Jay. I'll try it and make another example of real world Racket.
> On Dec 21, 2014, at 12:37, Jay McCarthy <[email protected]> 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 > >> 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
