Here is the problem with serialization, without my attempts to mitigate it:
#lang racket
(module server racket
(require racket/serialize)
(provide (contract-out
[adder (-> natural-number/c (-> natural-number/c
natural-number/c))]))
(serializable-struct adder (base)
#:property prop:procedure
(λ (this x)
(+ (adder-base this) x))))
(require 'server racket/serialize)
;; would report a contract violation in terms of adder
;; and blame this module
;((adder 5) 'not-a-number)
;; reports a contract violation in terms of +
((deserialize (serialize (adder 5))) 'not-a-number)
-Philip
On Sun, Jul 23, 2017 at 9:02 PM, Matthias Felleisen <matth...@ccs.neu.edu>
wrote:
> [replying to myself]
>
>
> > On Jul 23, 2017, at 9:58 PM, Matthias Felleisen <matth...@ccs.neu.edu>
> wrote:
> >
> >
> > At some point I wrote all this up for the contract doc (as the opening
> paragraphs). I can’t see it right now.
>
>
> Still there:
>
> http://docs.racket-lang.org/guide/contract-boundaries.html
>
>
>
>
--
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.
