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
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
2 matches
Mail list logo