Thanks for providing a definitive answer to my question, Sam. I'm glad to see integrating the two is an active goal. Best of luck!
On Monday, December 17, 2018 at 6:45:03 AM UTC-9, Sam Tobin-Hochstadt wrote: > > Hi Jake, > > Unfortunately, Typed Racket doesn't currently support the contract > library. We've made a bunch of progress on integrating them, but that > work is still (slowly) ongoing here: > https://github.com/racket/typed-racket/pull/420. > > Depending on what you're looking for, refinement types may be able to > support some of the use cases you have. > > Sam > On Sat, Dec 15, 2018 at 5:24 PM <jther...@alaska.edu <javascript:>> > wrote: > > > > I recently started learning Racket and quickly switched to Typed Racket. > For the most part I've been very happy with it, but I'm unclear on whether > it's possible to create contracts in Typed Racket (for expressing > constraints other than type requirements). I've been unable to find an > explicit answer to my question in the docs for either contracts or Typed > Racket, but I've run several experiments and it seems that contracts are > incompatible with Typed Racket. This discussion seems to support my > conclusion. > > > > If you can't create your own contracts in Typed Racket, are you meant to > limit all of your contract-related needs to type requirements? Or just use > vanilla Racket if you need a full-fledged contract system? Additionally, > could someone point me to the documentation that would have answered by > question (if it exists)? > > > > Thanks! > > > > -- > > You received this message because you are subscribed to the Google > Groups "Racket Users" group. > > To unsubscribe from this group and stop receiving emails from it, send > an email to racket-users...@googlegroups.com <javascript:>. > > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
