Re: [racket] Inductive and coinductive reasoning? (was "shared and immutable structures")

2011-02-02 Thread Shriram Krishnamurthi
> because the last time I looked seriously through their web > sites, they seemed to be interminably stuck in planning more. They are co-inductive. Shriram _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users

Re: [racket] Inductive and coinductive reasoning? (was "shared and immutable structures")

2011-02-02 Thread Hendrik Boom
On Wed, Feb 02, 2011 at 04:39:07PM -0800, m...@goblin.punk.net wrote: > On Wed, Feb 02, 2011 at 11:30:45AM -0500, Shriram Krishnamurthi wrote: > > Yes you do. Far less useful at our level. But shared + immutable > > gives you coinductive. That's why the distinction helps. > > I'm not familiar w

Re: [racket] Inductive and coinductive reasoning? (was "shared and immutable structures")

2011-02-02 Thread Hendrik Boom
On Wed, Feb 02, 2011 at 04:39:07PM -0800, m...@goblin.punk.net wrote: > On Wed, Feb 02, 2011 at 11:30:45AM -0500, Shriram Krishnamurthi wrote: > > Yes you do. Far less useful at our level. But shared + immutable > > gives you coinductive. That's why the distinction helps. > > I'm not familiar w

[racket] Inductive and coinductive reasoning? (was "shared and immutable structures")

2011-02-02 Thread mike
On Wed, Feb 02, 2011 at 11:30:45AM -0500, Shriram Krishnamurthi wrote: > Yes you do. Far less useful at our level. But shared + immutable > gives you coinductive. That's why the distinction helps. I'm not familiar with these terms and had trouble follwiong that thread. Would someone explain or

[racket] Racket v5.0.99.900 is available for testing

2011-02-02 Thread Eli Barzilay
Version 5.0.99.900 is now available for testing from http://pre.racket-lang.org/release/installers/ (Note that this is not available from the usual download site.) If all goes well, we will turn this version into a v5.1 release within a few days. This release is significant in that the gui la

Re: [racket] Setting background color in slideshow

2011-02-02 Thread Neil Toronto
I had some code lying around that'll do you two better: background images and sane slide numbers. I think you can pass in any pict to `background-image', so if you want a solid color, pass a solid rectangle. (Of any size, I think.) For you, I suggest a nice mauve instead of black. :D It uses

Re: [racket] Setting background color in slideshow

2011-02-02 Thread Stephen Chang
Check out current-slide-assembler http://docs.racket-lang.org/slideshow/Configuration.html?q=current-slide-assembler&q=slide#%28def._%28%28lib._slideshow/base..rkt%29._current-slide-assembler%29%29 On Wed, Feb 2, 2011 at 11:30 AM, Laurent wrote: > Why not create an rectangle the size of the v

Re: [racket] Setting background color in slideshow

2011-02-02 Thread Sam Tobin-Hochstadt
On Wed, Feb 2, 2011 at 11:25 AM, Evan Farrer wrote: > I'm attempting to use slideshow for a presentation and I really want to use > white text on a black background. I can see how to change the color of the > text, but I don't see how to manipulate the color of the blackground. I'm > currently

Re: [racket] shared and immutable structures

2011-02-02 Thread Shriram Krishnamurthi
Yes you do. Far less useful at our level. But shared + immutable gives you coinductive. That's why the distinction helps. On Wed, Feb 2, 2011 at 11:27 AM, Neil Toronto wrote: > Matthias Felleisen wrote: >> >> I am with Matthew. Immutable structs -- other than historically 'blessed' >> ones --

Re: [racket] Setting background color in slideshow

2011-02-02 Thread Laurent
Why not create an rectangle the size of the viewport and colorize it? There are also some functions to modify the slide template (can't remember their names right now). Laurent On Wed, Feb 2, 2011 at 17:25, Evan Farrer wrote: > I'm attempting to use slideshow for a presentation and I really wan

Re: [racket] shared and immutable structures

2011-02-02 Thread Neil Toronto
Matthias Felleisen wrote: I am with Matthew. Immutable structs -- other than historically 'blessed' ones -- > give you inductive reasoning. If you allow cycles anyway, that's out the window. Do you lose inductive reasoning but gain a kind of coinductive reasoning? Lazy FPLs can encode cycles

[racket] Setting background color in slideshow

2011-02-02 Thread Evan Farrer
I'm attempting to use slideshow for a presentation and I really want to use white text on a black background. I can see how to change the color of the text, but I don't see how to manipulate the color of the blackground. I'm currently using v5.1.0.2 from git. Evan __

Re: [racket] Making animations in racket (or, why racket is hard to transition to from scratch)

2011-02-02 Thread Matthias Felleisen
On Feb 1, 2011, at 9:27 PM, Yaron Minsky wrote: > I'm finding it to be rather tough going, mostly because a lot of things that > are really easy in scratch seem surprisingly hard in racket. [I thought we had discussed this before.] Scratch/Alice/Kodu are "low floor, low ceiling" languages. I

Re: [racket] HTDP 5.1.5

2011-02-02 Thread Stephen Chang
Nice! Also, it's been pointed out that I made a typo in my previous email. I meant symbols where I said strings, as you figured out. On Mon, Jan 31, 2011 at 12:20 PM, Jeremy Duenas wrote: > Thank you so much. I was able to figure it out. I don't know why I didn't > think of utilizing the symbol

Re: [racket] Making animations in racket (or, why racket is hard to transition to from scratch)

2011-02-02 Thread Stephen Bloch
On Feb 2, 2011, at 7:20 AM, I wrote: There are a number of other things that would simplify the code, some of which would also make things (slightly) more efficient. Your sprite switches between its two images every 10 clock-ticks, where a clock-tick defaults to 1/28 second. Instead, just

Re: [racket] Making animations in racket (or, why racket is hard to transition to from scratch)

2011-02-02 Thread Stephen Bloch
On Feb 1, 2011, at 9:27 PM, Yaron Minsky wrote: > I am trying to teach my scratch-addicted son a bit about racket, and I'm > finding it to be rather tough going, mostly because a lot of things that are > really easy in scratch seem surprisingly hard in racket. Also, even when I > can get thin

Re: [racket] Possible to install both plt-scheme from repo and racket from racket-lang.org?

2011-02-02 Thread Laurent
Just for the record, EPM now has an %arch itecture directive (armv6, ... i386, i486, ... powerpc, etc.). To answer the question about whether this project is still alive, it seems that a version 5 is on its way, but with no release date. Laurent On Wed, Aug 25, 2010 at 08:23, Laurent wrote: > >

Re: [racket] Examples of tables in Scribble

2011-02-02 Thread Jens Axel Søgaard
> On Tue, Feb 1, 2011 at 8:33 AM, Jens Axel Søgaard >> Are there any examples of how to use tables in Scribble? 2011/2/2 Doug Williams : > I use them is some of my scribble documentation. For example, the Packed > Binary package > (http://planet.racket-lang.org/display.ss?package=packed-binary.pl