Re: [racket] Little Schemer, lat?

2015-01-07 Thread Frank Weytjens
2015-01-03 21:26 GMT+01:00 Matthew Butterick : > > The empty list is also a list of cheeses. > > Further down that road, I was a tiny bit surprised recently to discover > that `andmap` returns true for any predicate when the input list is empty > [1], but then I saw how it's a natural consequence

Re: [racket] Documentation not building on the pkg.racket-lang.org

2015-01-07 Thread J Arcane
Wheyhey! Heresy has pretty Scribble docs online now: http://pkg-build.racket-lang.org/doc/heresy/index.html Thanks! On Wed, Jan 7, 2015 at 6:32 AM, Jack Firth wrote: > So *that's* why none of my docs were updating > > On Tue, Jan 6, 2015 at 8:25 PM, Matthew Flatt wrote: > >> A power failure to

Re: [racket] Void expression found

2015-01-07 Thread Matthew Flatt
At Tue, 6 Jan 2015 19:05:24 -0500, Benjamin Greenman wrote: > > > > From a practical point of view, at the low level the implementation is > > heavily optimized for functions that return exactly one value. > > Functions that return a different number of values are slower. > > > > Does this mean I'

Re: [racket] Writing checkers for handin-server

2015-01-07 Thread Matthew Flatt
At Tue, 6 Jan 2015 16:33:04 -0500, Suzanne Menzel wrote: > I’m trying to set up the handin-server to use in my class this semester and > I’ve run into a few problems that I hope someone can help with. > > I’ve got the server up and running and the Handin button appears in DrRacket. > I > curren

Re: [racket] Little Schemer, lat?

2015-01-07 Thread Daniel Prager
Fun topic! In pure mathematics there is the evocative expression vacuuous truth to describe statements about the empty set, e.g. "I have eaten all the vegetables on my plate" when there were no vegetables there to begin with. Personally, I find an atti

Re: [racket] Understanding local-expand with definition contexts

2015-01-07 Thread Matthew Flatt
At Mon, 5 Jan 2015 18:53:57 -0500, Ryan Culpepper wrote: > Here’s an alternative solution as a trampolining* macro. Thanks! That's definitely a better and more general approach. > The key is to cooperates with the unit macro’s definition-context > handling rather than trying to duplicate that ef

Re: [racket] Writing checkers for handin-server

2015-01-07 Thread Suzanne Menzel
Thank you, Matthew. You’ve been very helpful. Do you use the embedded web server? If so, could you explain how to activate the Solution link for an assignment? In particular, I tried putting a solution-a1.rkt file in the a1 directory for assignment a1, as described in http://pkg-build.racket-la

Re: [racket] Writing checkers for handin-server

2015-01-07 Thread Matthew Flatt
I do use the web server. I have always used a subdirectiry named "solution" within the assignment directory. Is the relevant assignment directory in the `inactive-dirs` list? At Wed, 7 Jan 2015 21:45:20 -0500, Suzanne Menzel wrote: > Do you use the embedded web server? If so, could you explain how