[racket] Get a list of provided definitions as list of symbols?

Hi all, Is it possible to, after requiring a particular module, get a list of all the definitions provided by that module? For instance, can I do something like this? > (module m racket (provide (all-defined-out)) (define CONSTANT 42) (define function (lambda (x) 'foo)) (struct b

Re: [racket] What part of the Reader reads procedures?

adable`, though, and that may be confusing you. > > There are various ways to change the printing of procedures, each with > some trade-offs. One option is to use `pretty-print` and set the > `pretty-print-size-hook` and `pretty-print-print-hook` parameters to > recognize > >

[racket] What part of the Reader reads procedures?

In the documentation on the the Reader, I see all of the data types in Racket that I knew about (and more) have sections devoted to reading them, except for procedures. What part of the reader handles procedures? In my Reader experiments I wanted to see if I could change the output of reading a pr

[racket] Efficient way of providing all but functions that deal with numbers?

In a previous thread, some of you helped me develop a few macros that disallowed number literals in my module language. Now I want to take the next step. Since I am disallowing numbers, I would not like to carry around all the built-in functions that work with them. My naive approach was to create

Re: [racket] Creating my own series of teaching languages

orking through them > with you, on the list. ]] > > > > > > > > > On Jun 4, 2014, at 9:47 PM, Daniel Brady wrote: > > After re-reading that section more closely, I realize that I understand > what it's saying; the part that I'm unsure about is how to actually go > about

Re: [racket] Creating my own series of teaching languages

orking through them > with you, on the list. ]] > > > > > > > > > On Jun 4, 2014, at 9:47 PM, Daniel Brady wrote: > > After re-reading that section more closely, I realize that I understand > what it's saying; the part that I'm unsure about is how to actually go > about

Re: [racket] Creating my own series of teaching languages

ture. On Wed, Jun 4, 2014 at 9:47 PM, Daniel Brady wrote: > After re-reading that section more closely, I realize that I understand > what it's saying; the part that I'm unsure about is how to actually go > about implementing the drracket:language:language<%> inter

Re: [racket] Creating my own series of teaching languages

of the interface, drracket:language:simple-module-based-language%, and I think that is what I am looking for, but again there is the question of where I should be using this in my language implementation. On Wed, Jun 4, 2014 at 9:37 PM, Matthias Felleisen wrote: > > On Jun 4, 2014, at 9:26 PM, Daniel B

[racket] Creating my own series of teaching languages

Hi all, I've decided to undertake the project of creating a small language, and then model the HtDP teaching languages by creating a hierarchical series of versions of that language. My current approach is to just make each of them a #lang language, but grouped together in a collection, and that's

Re: [racket] How to extend the syntax-checker?

Thanks very much for the nudge! syntax-parse is exactly what I needed. On Fri, May 30, 2014 at 5:16 PM, Matthias Felleisen wrote: > > On May 30, 2014, at 4:50 PM, Daniel Brady wrote: > > > Oh, nice! I didn't realize that, thanks. > > > > After playing around w

[racket] Adding a language to the Choose Language... menu

How can I add a new language or group of languages (similar to how the teaching languages are presented) to the Choose Language... menu of DrRacket? I read through Adding Languages

Re: [racket] Completely disallow numbers, quoted and all

Ahhh, so simple! Thanks, Matthew. I'll give it a shot. On Wed, Jun 4, 2014 at 1:11 AM, Matthew Flatt wrote: > At Wed, 4 Jun 2014 00:38:11 -0400, Daniel Brady wrote: > > So I'm playing around with the DrRacket reader, and I'm decided to see > if I > > could

[racket] Completely disallow numbers, quoted and all

So I'm playing around with the DrRacket reader, and I'm decided to see if I could disallow certain types of literal data. I figured I'd start with numbers, and maybe see if I can come up with a tiny numberless language like pure lambda calculus. This is a simple module that I came up with: (modul

Re: [racket] How to extend the syntax-checker?

ngs Racket? On Fri, May 30, 2014 at 11:39 AM, Matthias Felleisen wrote: > > On May 29, 2014, at 11:49 PM, Daniel Brady wrote: > > > Hi everyone, > > > > I just finished creating a small #lang language, and now I would like to > start creating some static debug

[racket] How to extend the syntax-checker?

Hi everyone, I just finished creating a small #lang language, and now I would like to start creating some static debugging tools for it. The first thing on my list is a basic syntax checker. I consulted the DrRacket documentation on creating tools and plugins, but honestly it went a bit over my he