[racket-users] Re: Combining contract checking with normalization?

I have certainly have thought that developing a library along these lines is a good idea for many years! Robby On Sun, Mar 6, 2022 at 9:47 AM Alexis King wrote: > Hello, > > As a user of the Racket contract system, I sometimes find myself thinking > about the potential utility of “coercing” or

[racket-users] Combining contract checking with normalization?

Hello, As a user of the Racket contract system, I sometimes find myself thinking about the potential utility of “coercing” or “canonicalizing” contracts. In Racket programs, we often idiomatically allow values to be provided to a function in a non-canonical form for the sake of convenience. One