This has bothered me too, but I've realized that I was on the wrong track.
The string a and symbol 'b are not different types. A struct (Foo a
'b), or (list a 'b), is a homogeneous data structure of type (U String
Symbol) just like Alexander said. This really upsets me -- I like the
On Sun, Jan 18, 2015 at 9:44 AM, Greg Hendershott greghendersh...@gmail.com
Is there a similarly simple/standard way to disable contracts?
I'd love a #lang like that. Never mind Tony Hoare's metaphor about sailing.
For now, I'm attaching a small patch that'll disable contracts (as far
I tried writing a small program, but got stuck pretty early on. When I try
verifying the divides? function below, the tool times out. What's
(module div racket
(provide (contract-out [divides? (- positive? positive? boolean?)]))
(define (positive? x)
(and (integer? x) (= 0
I hear that Racket is having some trouble determining who broke what in
the package ecosystem. I do not know the specifics of this problem, but
there was a recent discussion on the OCaml mailing list about OPAM's method
of tracking package compatibility that may be relevant:
Mail list logo