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 <jtherrm...@alaska.edu> 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+unsubscr...@googlegroups.com. > 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.
