Re: [racket] more slideshow examples

2014-01-09 Thread Matthew Flatt
At Thu, 9 Jan 2014 16:36:42 +0800, "大笨狗" wrote: > I just want more slideshow examples. But I can find just tow. Can > somebody show me more example anywhere? Here's a very old page with a few examples: http://www.plt-scheme.org/software/slideshow/examples.html Those still generally work,

Re: [racket] at-exp with module language

2014-01-09 Thread Matthew Flatt
You're right that `at-exp` isn't like `s-exp`, but you can use #lang at-exp s-exp "my-lang.rkt" At Thu, 9 Jan 2014 18:00:44 -0800, Scott Klarenbach wrote: > I have a file that starts with: > > #lang at-exp racket/base > > I then have a bunch of require and init boilerplate that I'd like to mo

Re: [racket] define-type sensitivity in plai + handin-server

2014-01-09 Thread Matthew Flatt
I sometimes have tests of the form (!test ... (eval! )) which can work with structures and types defined in the students' programs. I prefer to have students supply a `parse` function, which takes an S-expression and produces an expression to pass to `interp`, so that we only have t

[racket] at-exp with module language

2014-01-09 Thread Scott Klarenbach
I have a file that starts with: #lang at-exp racket/base I then have a bunch of require and init boilerplate that I'd like to move out into a module language. Using http://docs.racket-lang.org/guide/module-languages.html as a rough guide, I created a file and exported my own module begin to incl

Re: [racket] Client-side cookies

2014-01-09 Thread Roman Klochkov
I'm making fully RFC6265 compliant cookie support for net/url and http. https://github.com/Kalimehtar/client-cookies It is still pre-alpha, but, I hope, will be ready in 2-3 weeks. Среда, 8 января 2014, 10:33 -07:00 от Matthew Flatt : >In case no one offers a better library, enclosed is a sm

[racket] define-type sensitivity in plai + handin-server

2014-01-09 Thread John Clements
I’m firing up my handin server again, and I thought I’d ask whether I’m missing an obvious solution to a problem. Here’s the problem: In order to test student functions, you need to supply inputs. Generally, these inputs are of types defined in the student program. One obvious problem is that y

[racket] more slideshow examples

2014-01-09 Thread ??????
Hi, I just want more slideshow examples. But I can find just tow. Can somebody show me more example anywhere? Racket Users list: http://lists.racket-lang.org/users

Re: [racket] type assertions in plai-typed?

2014-01-09 Thread John Clements
Thanks! John Racket Users list: http://lists.racket-lang.org/users

Re: [racket] What does it mean by "algorithmic language"?

2014-01-09 Thread Hendrik Boom
On Thu, Jan 09, 2014 at 02:55:12PM +0800, Ben Duan wrote: > Dear all, > > The scheme standard is called "Revised Report on the Algorithmic Language > Scheme", and ALGOL is short for "ALGOrithmic Language". Then what does it > mean by "algorithmic language"? ALGOL, way back in the late 50's, was d

Re: [racket] Another Canonical Use of Macros?

2014-01-09 Thread Matthias Felleisen
The Indiana school of macrology in the early 1980s. Eugene, Bruce, and I used this to teach macros to undergrads but Dan Friedman may have implicitly formulated them before Eugene sketched them out and Bruce and I wrote them down. On Jan 9, 2014, at 1:45 AM, Ben Duan wrote: > What is the so

Re: [racket] What does it mean by "algorithmic language"?

2014-01-09 Thread Lee Duhem
Hi, Here is the definition from http://www.thefreedictionary.com/algorithmic+language algorithmic language - an artificial language designed to express algorithms lee On Thu, Jan 9, 2014 at 2:55 PM, Ben Duan wrote: > Dear all, > > The scheme standard is called "Revised Report on the Algorithmi