Re: [racket-users] [ANN] Introducing "social" contracts

The changes look good, i like the idea of this. > On Aug 25, 2021, at 10:59 AM, Siddhartha Kasivajhula > wrote: > > Hello again folks, > I recently migrated one of my repos to use social-contract, and thought I'd > share the before/after as an example to illustrate what the package does: > >

Re: [racket-users] [ANN] Introducing "social" contracts

Hello again folks, I recently migrated one of my repos to use social-contract, and thought I'd share the before/after as an example to illustrate what the package does:

Re: [racket-users] [ANN] Introducing "social" contracts

Hi David, Yes, both ->* and ->i are supported. The forms in social-contract expand to flat or arrow contracts, which, since these work within ->* and ->i there shouldn't be any issues there. The only built-in form it doesn't support yet is case->, and that's because at the moment case->

Re: [racket-users] [ANN] Introducing "social" contracts

Hi Siddhartha, Will this package handle ->* and ->i, either now or in the future? On Sat, Aug 14, 2021 at 1:40 PM Siddhartha Kasivajhula wrote: > Fellow Scheming Racketeers, > When you've written a function that takes an integer and returns another > one, you may write a contract for it as (->

[racket-users] [ANN] Introducing "social" contracts

Fellow Scheming Racketeers, When you've written a function that takes an integer and returns another one, you may write a contract for it as (-> integer? integer?). I want to tell you about the social-contract package which allows you to