[racket-users] Re: [racket] Unsafe version of require/typed?

2015-04-30 Thread michael.ballantyne
I've started using Typed Racket several times recently only to flip the switch to #lang typed/racket/no-check or remove types entirely. Something like Vincent suggests with an option to write with types and have them checked but turn off the type-driven optimizer and skip contract checking at ty

[racket-users] Watch and auto-reload .rkt files in XREPL?

2015-04-30 Thread Prithvi Prabhu
Hello, I'm a newcomer to Racket, so sorry if what I'm asking is obvious. I work with Racket in macvim, and I've got vim-racket, paredit, etc. working without a hitch (thanks to your excellent documentation). I'm loving xrepl as well. I'd like to edit my .rkt files in macvim, and use xrepl for

Re: [racket-users] scribble confusion ...

2015-04-30 Thread Vincent St-Amour
At Tue, 21 Apr 2015 04:06:19 -0700 (PDT), thomas.lynch wrote: > > Manual says: > > " > remember that the Scribble is just an alternate for S-expressions > " > > Please pardon the question .. ah then what good is it? We already > have S-expressions. Perhaps it looks a lot nicer? .. but i