Re: [racket] Error when they use "programmatic" pkg

This was indeed to help students using Windows. I was not aware of the option in the menu! That works great -- I confirmed with the students. We'll tell them to use that. (Sent from my mobile phone) On Oct 24, 2013 5:05 PM, "Matthew Flatt" wrote: > At Thu, 24 Oct 2013 16:42:48 -0400, Sam Tobi

[racket] Error when they use "programmatic" pkg

Here's the reproducer: (require pkg) (install "github://github.com/iu-c211/c211-libs/master") The error comes in the documentation building phase, for example: link: bad variable linkage; reference to a variable that has the wrong procedure or structure-type shape reference phase level: 0 v

[racket] Why does racket/trace not export trace-define?

Hello, I'm switching a large introductory class from Chez Scheme to Racket and I keep running into small surprises. Here's one: the docs for racket/trace specifically mention it being a Chez-Scheme-like feature: http://docs.racket-lang.org/reference/debugging.html But the way students usuall

Re: [racket] Does Redex have support for multi-hole evaluation contexts?

P.S. FYI the paper draft is up: http://www.cs.indiana.edu/~rrnewton/papers/2012-lambdapar-draft.pdf On Jul 9, 2012, at 3:11 PM, Ryan Newton wrote: > > > Hi all, > > > > Thanks for all the advice. > > > > Just to be clear about the context. This is a paralle

Re: [racket] Does Redex have support for multi-hole evaluation contexts?

Ah, thanks again! This is for a paper submission (and we'll post the draft soon) so there isn't time to change our current model too much at the moment, but I'm very interested in exploring this parameterized-mark proposal after that. For one thing I hope we'll then get to dig a bit more into red

Re: [racket] Does Redex have support for multi-hole evaluation contexts?

Thanks for the example! >Masako Takahashi "Parallel Reductions in λ-Calculus", Information >and Computation 118(1), 1995. (A lovely paper that is not so easy to find in PDF.) > Ah, good to see you cite that paper. We've been using it as one of our references, and did manage to find a P

Re: [racket] Does Redex have support for multi-hole evaluation contexts?

That actually cuts right to the heart of one of our issues. In our ideal semantics (e1 e2) can step to (e1' e2), (e1 e2'), or (e1' e2'), but of course this creates many possible evaluation orders and makes redex take a long long time. Our quick-and-dirty version is to require synchronous steps (e

[racket] Anyone using Dorodango? Any other movement towards an R6RS package system?

http://donsbot.wordpress.com/2010/05/31/there-are-a-hell-of-a-lot-of-haskell-libraries-now-what-are-we-going-to-do-about-it/ There's a lot to be said for languages that have achieved that blissful state where libraries can be used as comfortably from the "cloud" (package manager) as "manually". (

[racket] Anyone using Dorodango? Any other movement towards an R6RS package system?

http://donsbot.wordpress.com/2010/05/31/there-are-a-hell-of-a-lot-of-haskell-libraries-now-what-are-we-going-to-do-about-it/ There's a lot to be said for languages that have achieved that blissful state where libraries can be used as comfortably from the "cloud" (package manager) as "manually". (

Re: [racket] feedback on migrating to immutable pairs?

Pairs certainly should be immutable. But I have to admit, I have run into a lot of trouble with the transition. I've got a DSL implemented in Scheme that I run under Ikarus, Chez, and PLT. It's been ported to R6RS and thus uses mutable pairs. I've had lots of tr