Re: [racket] Units and serializable-struct

2015-02-04 Thread Matthew Flatt
The `struct` form in a signature describes a structure type that will be implemented by some unit. It can't work to have a similar `serializable-struct` form in a signature, because different units can implement a signature with different structure types, and a deserializer can't know which one to

Re: [racket] Problem with structs and #lang racket/signature

2015-02-04 Thread Justin Zamora
Yes, I had a copy/paste error in my previous message. The struct definition in the unit matches the one in the signature. I think that Daniel identified the core problem that the constructor is defined differently in #lang racket/signature. Justin On Feb 4, 2015 9:31 PM, "Matthias Felleisen" wrot

Re: [racket] Racket on Centos?

2015-02-04 Thread Neil Van Dyke
George Neuner wrote on 02/04/2015 10:28 PM: Do you just 'make install' and tar the /usr/... directory or do you use DESTDIR= and tar that? I don't suppose it really makes a difference. Just the `--prefix`; no `DESTDIR`. Racket Users list: http://lists.racket-lang

Re: [racket] Racket on Centos?

2015-02-04 Thread George Neuner
Hi Neil, On 2/4/2015 7:34 PM, Neil Van Dyke wrote: I always build it to put all of Racket into a single directory tree, by adding an argument like `--prefix=/usr/local/racket-6.1.1` when I do the "./configure" part of the build. One of my clients simply copies one of these install trees aroun

Re: [racket] Problem with structs and #lang racket/signature

2015-02-04 Thread Daniel Feltey
Looking at the expansion in the macro stepper of 1. ;; --- #lang racket/signature (struct foo (bar)) 2. ;; --- #lang racket (define-signature foo^ ((struct foo (bar It looks like in the first case a un

Re: [racket] Problem with structs and #lang racket/signature

2015-02-04 Thread Matthias Felleisen
This works: ;; - #lang racket/signature ;; b-sig.rkt (struct spelling-word (word sentence word-number lesson word-list)) b-value ;; - #lang racket/unit ;; b-unit.rkt (require "b-s

[racket] Problem with structs and #lang racket/signature

2015-02-04 Thread Justin Zamora
There seems to be a problem exporting struct constructors when using #lang racket/signature. This works: - b-sig.rkt- #lang racket (define-signature b^ ((struct my-struct (a b c)) b-value)) (provide b^) - b-unit.rkt - #lang racket/unit (require "b-sig.rkt") (import) (expo

Re: [racket] Racket on Centos?

2015-02-04 Thread Neil Van Dyke
I always build it to put all of Racket into a single directory tree, by adding an argument like `--prefix=/usr/local/racket-6.1.1` when I do the "./configure" part of the build. One of my clients simply copies one of these install trees around to many servers (running the same GNU/Linux distro

Re: [racket] Racket on Centos?

2015-02-04 Thread George Neuner
Hi all, Maybe not the right place for this, but I'm not in the developer list. I've built racket for CentOS 6.6 from the latest snapshot. It's working fine, but now I need to transport it to a different machine. I can't find any installation scripts or templates to follow. Are there scripts

Re: [racket] racket and lisp/scheme

2015-02-04 Thread Catonano
2015-02-03 22:27 GMT+01:00 Benjamin Greenman : > Here's a quick overview of the name change (PLT Scheme -> Racket) from the > Racket website: > http://racket-lang.org/new-name.html > thank you ! Racket Users list: http://lists.racket-lang.org/users

[racket] Units and serializable-struct

2015-02-04 Thread Justin Zamora
I am writing a program using units and got this message: define-signature: unknown signature form in: serializable-struct Sure enough, the docs show that serializable-struct is not allowed in a signature. Is this something that can be fixed or do I have to work around it (maybe by using regular st

Re: [racket] Package conflicts for docs with the same names in different collections?

2015-02-04 Thread Alexis King
Good to know. I’ve fixed my packages that were causing conflicts. > On Feb 4, 2015, at 11:41, Matthew Flatt wrote: > > All document names need to be unique. When the corresponding packages > are installed in installation scope, the documentation for all packages > goes to the same place (in the

Re: [racket] Package conflicts for docs with the same names in different collections?

2015-02-04 Thread Matthew Flatt
All document names need to be unique. When the corresponding packages are installed in installation scope, the documentation for all packages goes to the same place (in the "doc" subdirectory of the installation). At Wed, 4 Feb 2015 11:28:33 -0800, Alexis King wrote: > I was looking at the package

[racket] Package conflicts for docs with the same names in different collections?

2015-02-04 Thread Alexis King
I was looking at the package conflicts listed by pkg-build here: http://pkg-build.racket-lang.org/conflicts.txt I noticed that pkg-build notes conflicts for “main” docs, even though all three of those documentation files are in separate collection

Re: [racket] TR: too-narrow type in / ?

2015-02-04 Thread Vincent St-Amour
I can't think of any way in which this change could cause problems, and neither can the random tester. I've pushed a fix. Thanks for the report! Vincent At Tue, 03 Feb 2015 20:51:55 -0500, Vincent St-Amour wrote: > > That kind of pattern in the type usually happens due to underflow. In > this

Re: [racket] Simple Chat system in Racket

2015-02-04 Thread Matthias Felleisen
First, you figure out the sections on designing programs and functions. Second, you move on to the editor sections: http://www.ccs.neu.edu/home/matthias/HtDP2e/part_one.html#%28part._sec~3aedit1%29 http://www.ccs.neu.edu/home/matthias/HtDP2e/part_two.html#%28part._list-edit._sec~3alis%29

Re: [racket] learning recursion

2015-02-04 Thread Geoffrey S. Knauth
On Wed, Feb 4, 2015, at 13:01, Roelof Wobben wrote: > Is racket a good language to learn recursion the right way ? Sure! But it's really the educational material of How to Design Programs (HtDP) [1] that comes with DrRacket that makes the experience of learning the "right" patterns an easier expe

[racket] learning recursion

2015-02-04 Thread Roelof Wobben
Hello, I try to learn functional programming by self-study. SO i tried to learn erlang but I have difficulties to understand recursion. Expecially things like reverse a list. Is racket a good language a good language to learn recursion the right way ? Roelof Racket Users

[racket] Simple Chat system in Racket

2015-02-04 Thread Guilherme Pacheco
Hello, I'm a Computer Science student and I'm learning Racket this semester and I am really enjoying it, so I wanted to do a simple chat system with it. I have a basis that I learned Realm of Racket (a simple chat is a Challenge in the Chapter 13) - and it says there to see HtDP2 for hints, but I

Re: [racket] Hello and a few questions

2015-02-04 Thread Neil Toronto
Awesome! It's great to have you with us. On 02/04/2015 05:28 AM, Marmaduke Woodman wrote: [...] 1) The plotting library doesn't seem to have the equivalent of MATLAB/MatPlotLib's imagesc/imshow, which simply plots a rectangular colormap of the matrix. [1] You can use Plot and `images/flomap`

Re: [racket] Typed Racket: can this recursive typing become polymorphic?

2015-02-04 Thread Neil Toronto
You can do it if you have `flatten` also accept a predicate for A; i.e. an (-> Any Boolean : A). Be aware that such functions can't be exported to untyped Racket, though. Neil ⊥ On 02/03/2015 08:31 PM, J. Ian Johnson wrote: What if A is (Listof Integer)? Generally a type variable naked in a u

Re: [racket] Hello and a few questions

2015-02-04 Thread Matthias Felleisen
On Feb 4, 2015, at 5:28 AM, Marmaduke Woodman wrote: > > 1) The plotting library doesn't seem to have the equivalent of > MATLAB/MatPlotLib's imagesc/imshow, which simply plots a rectangular colormap > of the matrix. [1] > > Should this be done with the 2htdp/image library? The bitmap functi

[racket] Fwd: [pldesign] Survey on visualizations in source code

2015-02-04 Thread Robby Findler
For those interested in live coding & music you might find the survey below interesting. It's got some nice demos embedded in it. -- Begin forwarded message: From: Charlie Roberts Subject: [livecode] Survey on visualizations in source code Date: 29 January 2015 12:17:27 pm NZDT To: livec...

[racket] Hello and a few questions

2015-02-04 Thread Marmaduke Woodman
Hello, First, I want to say hello to the community as this is my first email. I'm a scientific programmer coming from a Python/MATLAB background, and I started shopping around for a replacement for various reasons. After some exploration, I am consistently impressed by the breadth and depth of Rac