, TexLive 2012.
>>
>> Robby
>>
>>
>> On Tue, Mar 11, 2014 at 1:24 PM, Eric Tanter wrote:
>>>
>>> I did that and got pdflatex hanging without any clue. But I tried to
>>> pdflatex it on another machine, and it works, so that's a prob
a better way to get more information,
> I usually render to Latex and then run pdflatex manually to get more
> information.
>
> At Tue, 11 Mar 2014 11:15:48 -0300, Eric Tanter wrote:
>> Hi,
>>
>> Today I made an innocuous change to the PrePLAI document I use fo
Hi,
Today I made an innocuous change to the PrePLAI document I use for teaching,
and, although the html generation is ok, the PDF generation gets stuck. I tried
both at the command line and inside DrRacket. Same issue.
Apparently it's stuck in the pdflatex process, but I can't find any log/trace
Wouah, that was fast!!!
Thanks a lot for the excellent organization and for managing to get all this
online in 10 days!
-- Éric
On Oct 10, 2013, at 5:27 PM, Asumu Takikawa wrote:
> Hi all,
>
> The higher-quality talk recordings for RacketCon are now up on Youtube.
> This playlist has all o
+1
This is great ;)
-- Éric
On Sep 12, 2013, at 5:24 AM, Stephen De Gabrielle
wrote:
> This would make a nice DrRacket plugin.
>
> s.
> .
>
> --
> Stephen De Gabrielle
>
>
>
> On Tue, Sep 10, 2013 at 9:48 PM, Ismael Figueroa wrote:
> Actually my script was wrong, here is an improved (a
+1 for the debug annotation! it would be really helpful!
-- Éric
On Sep 4, 2013, at 3:04 PM, Robby Findler wrote:
> Just to be clear, the proposed change would affect only define-judgment-form,
> since that's the only place where side-condition is not implicitly unquoted.
>
> But adding some
n was first released more
> than a year ago, so I'm a bit worried about backwards compatibility. What do
> you think about that?
>
> Robby
>
>
> On Tue, Sep 3, 2013 at 9:10 PM, Eric Tanter wrote:
> Hi,
>
> Strangely, `side-condition' mat
Hi,
Strangely, `side-condition' matches when the associated expression fails with
an error.
For instance, using the redex tutorial example, if one writes:
[(types Γ x_1 t_1)
(side-condition (/ 1 0))
(types (x_2 : t_2 Γ) x_1 t_1)]
Then the rule a
arff.. so obvious and neat. Thanks!
-- Éric
On Sep 2, 2013, at 3:28 PM, Carl Eastlund wrote:
> Eric, use an "and" pattern.
>
> (and elem (cons a b))
>
> Carl Eastlund
>
>
> On Mon, Sep 2, 2013 at 3:24 PM, Eric Tanter wrote:
> Hi,
>
> Is ther
Hi,
Is there a way to bind a name to a whole sub-value being matched in pattern?
eg. like var@pat in Haskell:
(match l
[(cons (@ elem (cons a b)) rest) ...elem...])
It must be there somewhere, but I couldn't find it :/
Thanks!
-- Éric
Racket Users list:
http://list
Yes!!! That was what I had in mind!! Thanks John!
(And yes, if you can share the slides, that'd be even better)
-- Éric
On Jun 27, 2013, at 21:08, John Clements wrote:
>
> On Jun 12, 2013, at 11:15 AM, Eric Tanter wrote:
>
>> Hi,
>>
>> I remember that som
inner is for Beta-style inheritance, which is the dual of the typical way to do
inheritance. Instead of having overriding methods that take precedence and can
use super to call the base method, the base method has precedence and can call
subclass methods using inner.
The best is to look at this
effectful functions don't affect other aspects of state?
>
> -- Matthias
>
>
>
>
>
> On Jun 13, 2013, at 9:40 AM, Eric Tanter wrote:
>
>> Thanks a lot Stephen. Effectively, that's not at all what I was remembering
>> (which was rather &qu
Stephen Bloch wrote:
>
> On Jun 12, 2013, at 2:15 PM, Eric Tanter wrote:
>
>> I remember that someone, some time ago (how precise!), posted on this list a
>> link to a couple of slides that nicely and concisely illustrate the
>> advantages of pure functions vs. impure ones
Hi,
I remember that someone, some time ago (how precise!), posted on this list a
link to a couple of slides that nicely and concisely illustrate the advantages
of pure functions vs. impure ones when doing testing.
I wasn't able to retrieve the post from Google or my inbox. If someone
remember
Hi Stephan,
Thanks for the feedback.
The tradeoff with your suggestion is the error messages:
> (expr)
. expr: bad syntax;
identifier for static struct-type information cannot be used as an expression
in: (expr)
as opposed to:
> (expr)
. . cannot construct value of type expr: use one of the
Hi,
Sorry if this has been discussed before.
One of the things I often miss while programming in Racket, is variant types.
In Shriram's PLAI, there is a `define-type' form:
(define-type Expr
[num (n number?)]
...)
This is very helpful, with two caveats:
1- it requires contracts
Actually this is just perfect as the base for the `#lang logo' I wanted. Unless
someone did it already---in which case please let me know!---I will give it a
shot when I get time during the summer (south-hemisphere).
Thanks!
-- Éric
On Nov 26, 2012, at 11:47 PM, Eric Tanter wrote:
&g
g/turtles/index.html?q=turtle
>
> Eric Tanter writes:
> > Hi there,
> >
> > Does anyone know of a `#lang logo' for Racket? yes, yes, the turtle :)
> >
> > Thanks,
> >
> > -- Éric
> >
> >
Hi there,
Does anyone know of a `#lang logo' for Racket? yes, yes, the turtle :)
Thanks,
-- Éric
Racket Users list:
http://lists.racket-lang.org/users
I like the idea of a "style coach" very much! That'll be very handy also for
students/beginners, actually.
-- Éric
On Nov 23, 2012, at 5:52 AM, Eli Barzilay wrote:
> Yesterday, Eric Tanter wrote:
>> That sounds like a great option "from the quick hacks dept"
On Nov 22, 2012, at 3:41 PM, Eli Barzilay wrote:
> Two days ago, Eric Tanter wrote:
>> Thanks John, that's very helpful!
>>
>> Any idea about a whole-file racketify in DrRacket?
>
> From the quick hacks dept, which I think is very applicable to such
> jobs of co
ifier 'new',
> and then what look like initialization clauses should be treated as
> applications), but that seems like a small price to pay for the massive
> simplification.
>
> My guess: the whole thing would take about three days of work.
>
> John
>
>
Thanks John, that's very helpful!
Any idea about a whole-file racketify in DrRacket?
-- Éric
On Nov 20, 2012, at 3:16 PM, John Clements wrote:
>
> On Nov 20, 2012, at 10:01 AM, Eric Tanter wrote:
>
>> Hi,
>>
>> I'm converting code written with o
(even better would be a way to racketify a whole file at once -- a dream?)
-- Éric
On Nov 20, 2012, at 3:01 PM, Eric Tanter wrote:
> Hi,
>
> I'm converting code written with only standard parentheses, introducing
> squared ones where appropriate.
>
> This is obvi
Hi,
I'm converting code written with only standard parentheses, introducing squared
ones where appropriate.
This is obviously not very fun (I'm converting all of OOPLAI), and it would be
great if there'd be a way to select an open paren and "convert" it so that the
matching closing paren is ch
The following works:
$ echo '#lang racket "hello world"' > hw.rkt
$ racket hw.rkt
"hello world"
ie. racket is a multi-language language, so you must first tell it in what
language you're writing.
That's of course an overhead compared to mono-language languages ;)
-- Éric
On Nov 16, 2012, at
All (A) (Listof (Listof A)) -> (Listof A)))
> (define (cars ls)
> ((inst map A (Listof A)) car (filter (λ (x) (not (empty? x))) ls)))
>
> > (cars (list (list 1 2 3 4) (list 6 2 3 4)))
> - : (Listof Positive-Byte)
> '(1 6)
>
> On Wed, Apr 4, 2012 at 4:17
Hi,
Is there a way to get this to typecheck?
(: cars : (All (A) (Listof (Listof A)) -> (Listof A)))
(define (cars ls)
(map car (filter cons? ls)))
By looking at the error, it seems the problem is that it is impossible to map
car on a list of lists:
> (map car '((1)))
Type Checker: Polymorphic
> steps.
>
> -Ian
> - Original Message -
> From: "Matthias Felleisen"
> To: "Eric Tanter"
> Cc: users@racket-lang.org
> Sent: Thursday, March 8, 2012 9:18:38 AM GMT -05:00 US/Canada Eastern
> Subject: Re: [racket] [redex] traces for derivatio
> steps.
>
> -Ian
> - Original Message -
> From: "Matthias Felleisen"
> To: "Eric Tanter"
> Cc: users@racket-lang.org
> Sent: Thursday, March 8, 2012 9:18:38 AM GMT -05:00 US/Canada Eastern
> Subject: Re: [racket] [redex] traces for derivation
ght now. However, as someone who is working on related things in Redex I
>> have had similar thoughts and think it's a great idea, so hopefully we will
>> add it at some point in the future. And if you have any further ideas about
>> what you would want something like
Hi,
As I'm enjoying the new `define-judgment-form' in Redex, I started to dream
about an equivalent of `traces' for `judgment-holds'.
I'm going to try to use Redex in a course based on Pierce's TAPL, and once
students see `traces' for reduction relations, they will be a bit disappointed
by th
e new year.
>
>> On Mon, Dec 19, 2011 at 11:13 AM, Eric Tanter wrote:
>>> Dear Santa Claus,
>>>
>>> This year I've been a good boy. I'd love to receive a link to the
>>> RacketCon videos.
> --
> sam th
> sa...@ccs.neu.edu
>
Racket Users list:
http://lists.racket-lang.org/users
Dear Santa Claus,
This year I've been a good boy. I'd love to receive a link to the RacketCon
videos.
Thank you so much!
:-)
-- Éric
On Sep 6, 2011, at 12:33 PM, Eric Tanter wrote:
> Hi,
>
> Are there any news wrt the videos of Racketcon?
>
> Thanks!
>
>
I didn't know about scribble/bnf -- that's plain PERFECT for my needs.
Thanks a lot!
-- Éric
PS: and thanks for the unquote-hacky solution, too!
On Nov 22, 2011, at 5:01 PM, Matthew Flatt wrote:
> At Tue, 22 Nov 2011 16:14:55 -0300, Eric Tanter wrote:
&g
Hi,
I want to typeset a BNF with Scheme-like syntax highlighting.
eg:
@racketblock[
::= '()
| (cons )
]
except that the pipe `|' causes problem. I figured out that I can do the above
with @verbatim|{...}| but then I lose the syntax highlighting ('() as a value,
brown parentheses).
>>> (foo 1)
>> (foo 1)
>>> (list 1 2)
>> '(1 2)
>>
>> The output is not really consistent, in that foo is printed as a
>> (user-level)
>> constructor, but list is not.
>
> Well, `quote' is playing the role of constructor.
sure -- I get it, but it's surprising at first for students. At least i
On Nov 20, 2011, at 9:39 AM, Robby Findler wrote:
> There are lots of caches at all layers of DrRacket down to Racket for
> lots of different purposes. We try to keep them leak-free but it can
> be hard to track down these bugs.
I understand! let me know if I can help somehow (eg. running an instr
Hi,
By default, #lang plai prints out values as follows in the REPL:
(define-type Foo
(foo (x number?)))
> (foo 1)
(foo 1)
> (list 1 2)
'(1 2)
The output is not really consistent, in that foo is printed as a (user-level)
constructor, but list is not. For teaching, the problem with output '(1
New numbers with a fresh install of 5.2:
starts 200MB
open 5 buffers 230MB
first scribble 300MB
compile all buffers 450MB
recompile first 530MB
all again 580MB
all again 650MB
all again 620MB
all again 680MB
all again 700MB
all again 720MB
all again 660MB
all again 690MB
all again 710MB
Interesti
No, it's off. I turned it on several days ago to try, but had some issues so
switched it off.
-- Éric
On Nov 20, 2011, at 0:56, Robby Findler wrote:
> Do you have online check syntax turned on? It uses more memory.
>
> Robby
>
> On Sat, Nov 19, 2011 at 6:10 PM, Eric
Hi,
I have noticed a quite serious problem with memory usage lately.
Basically, I've been spending my time the last two days with 5 scribble files
open, compiling/editing them when needed.
DrRacket starts occupying 300 MB (no buffers open), 360MB with the buffers
opened (the files are really
thew Flatt wrote:
> At Sat, 19 Nov 2011 13:41:33 -0300, Eric Tanter wrote:
>> More precisely here, how can I specify that I want a specific
>> pretty-print-print-hook for the whole evaluator?
>
> You'll need to set `current-print' to use `pretty-print'. Also se
]
Thanks,
-- Éric
On Nov 19, 2011, at 12:20 PM, Matthew Flatt wrote:
> At Fri, 18 Nov 2011 12:30:48 -0300, Eric Tanter wrote:
>> In the interaction window, 4/3 is rendered as "1 1/3" (with nice
>> formatting), but in a scribble @interaction, it is rendered as "4/3".
Sorry I misunderstood the question. `show-system' below is really useful!
-- Éric
On Nov 19, 2011, at 12:09 PM, Matthew Flatt wrote:
> At Fri, 18 Nov 2011 16:19:22 -0300, Eric Tanter wrote:
>> You should require both evaluation and sandboxing:
>
> That's right for
Hi,
You should require both evaluation and sandboxing:
@(require scribble/eval
racket/sandbox)
Then define as many evaluators as you need:
@(define ex-eval (make-base-eval))
you can import modules into a given evaluator:
@interaction-eval[#:eval ex-eval (require "foo.rkt")]
and then
Hi,
In the interaction window, 4/3 is rendered as "1 1/3" (with nice formatting),
but in a scribble @interaction, it is rendered as "4/3". Is there a way to get
the nicer output in scribble?
Thanks,
-- Éric
_
For list-related administrative
d see if that helps.
>
> Sorry I don't have any good ideas.
>
> Robby
>
> On Tue, Nov 15, 2011 at 8:48 AM, Eric Tanter wrote:
>> Ok, this must be related to the webserver somehow.
>>
>> I put the .plt file on another host (which runs a dokuwiki),
configure that
.plt is treated as an app and forces download).
-- Éric
On Nov 15, 2011, at 11:36 AM, Eric Tanter wrote:
> I figured out how to get the installation directory by default, using --at-plt
>
> So installation from file works fine now.
>
> Putting the .plt on one of my
pack' to create them.
>
> Robby
>
> On Tue, Nov 15, 2011 at 8:11 AM, Eric Tanter wrote:
>> Hi,
>>
>> I am creating a small plugin for the first time.
>>
>> I create the .plt file using: raco planet create mydir/
>>
>> While "it works
Racket (is that what you're doing?)
> then you probably want to use 'raco pack' to create them.
>
> Robby
>
> On Tue, Nov 15, 2011 at 8:11 AM, Eric Tanter wrote:
>> Hi,
>>
>> I am creating a small plugin for the first time.
>>
>> I crea
Hi,
I am creating a small plugin for the first time.
I create the .plt file using: raco planet create mydir/
While "it works", I get some problems with installation:
- if I install the .plt "from file", the install works but for some reason I
have to manually specify the target directory (a w
7; instead of `#lang lazy'.
Hopefully at some point the official `#lang lazy' will accept a configuration
stating the desired "forcing mode".
-- Éric
On Nov 14, 2011, at 7:12 PM, Stephen Chang wrote:
> On Mon, Nov 14, 2011 at 5:04 PM, Eric Tanter wrote:
>> Thanks for the i
level
> variables are wrapped with #%top, which gets forced. #lang languages
> are module languages and module level variables have no such wrapping.
>
> ps racket-dev, should the #%top from lazy racket be removed?
>
>
>
>
> On Mon, Nov 14, 2011 at 2:53 PM, Eric T
Hi,
I'd like to tweak Lazy Racket such that the top-level interactions in the REPL
always use `!!' (recursive force), in order to mimic Haskell's behavior as
close as possible.
If someone can help me in the very brief term, I would really appreciate it (I
plan to start teaching on laziness usi
hey have successfully inserted thousands of square brackets for me.
> :) What are you doing that doesn't work?
>
> On Mon, Nov 14, 2011 at 6:06 AM, Eric Tanter wrote:
>> Nice!
>>
>> but automatic parentheses does not seem to work with square brackets.
>>
>
Nice!
but automatic parentheses does not seem to work with square brackets.
-- Éric
On Nov 13, 2011, at 10:42 AM, Robby Findler wrote:
> Thanks for the suggestions. One minor observation below.
>
> On Sun, Nov 13, 2011 at 4:50 AM, Tomi Neste wrote:
>> - Paredit like editing functions, I can'
Hi,
A very simple question, but I could not find the answer in the guide/reference.
Suppose I have the identity over Numbers:
(: g (Number -> Number))
(define (g x)
x)
Now I want to make x optional.
(: g (Number -> Number))
(define (g [x 10])
x)
Type Checker: Expected Number, but got Any
+1!!
I've been fighting with the skull dependency each time there is a new release
(basically, manually edit some file in the scribble core to remove the
reference to skull).
-- Éric
On Nov 9, 2011, at 12:08 AM, Neil Van Dyke wrote:
> Can the "scribble --pdf" dependency on "skull.sty" be rem
Thanks, Sam
-- Éric
On Nov 2, 2011, at 7:54 PM, Sam Tobin-Hochstadt wrote:
> On Wed, Nov 2, 2011 at 12:56 PM, Eric Tanter wrote:
>> Hi,
>>
>> Looking at the ICFP'10 paper on logical types, I tried the following:
>>
>> (: carnum? ((Pairof An
Hi,
Looking at the ICFP'10 paper on logical types, I tried the following:
(: carnum? ((Pairof Any Any) -> Boolean : (Pairof Number Any)))
(define (carnum? p)
(number? (car p)))
Type Checker: Expected result
with filter (((Pairof Complex Any) @ p) | (! (Pairof Complex Any) @ p)),
got filter (
Wonderful!!!
Thanks Sam,
-- Éric
On Oct 25, 2011, at 5:17 PM, Sam Tobin-Hochstadt wrote:
> On Sun, Oct 23, 2011 at 1:39 PM, Sam Tobin-Hochstadt
> wrote:
>>
>> Yes, I have planned to do this for a while. Probably the form it will
>> take will be a macro that always produces a type error whe
On Oct 23, 2011, at 5:39 PM, Sam Tobin-Hochstadt wrote:
> Yes, I have planned to do this for a while. Probably the form it will
> take will be a macro that always produces a type error when checked,
> rather than a new type. Then macros could use this form to ensure
> exhaustiveness.
Great! Look
On Oct 23, 2011, at 12:39 PM, Vincent St-Amour wrote:
> Using `Any' as a return type is something I only do as a quick and
> dirty solution. I assume that if you care enough to want case
> exhaustiveness checking, you probably care enough to nail down your
> return types precisely.
Ok for Any. But
haustive checking regardless
>> of return value?
>
> The former. Since there's no pattern matching in "core" Racket, it's
> not even clear what exhaustiveness would mean in that case.
>
>> -Ian
>> - Original Message -
>> From: Sam
Thanks Sam, that clears things up!
-- Éric
On Oct 22, 2011, at 6:25 PM, Sam Tobin-Hochstadt wrote:
> On Sat, Oct 22, 2011 at 2:20 PM, Eric Tanter wrote:
>> On Oct 21, 2011, at 1:55 PM, Sam Tobin-Hochstadt wrote:
>>> On Fri, Oct 21, 2011 at 12:44 PM, Eric Tanter wrote:
On Oct 21, 2011, at 1:55 PM, Sam Tobin-Hochstadt wrote:
> On Fri, Oct 21, 2011 at 12:44 PM, Eric Tanter wrote:
>> In that sense, union types are a particularly good example. They are
>> necessary to support the kind of patterns found in previously-untyped code.
>> But if I
ar case of the PLAI `cases' form, Eli and I have
> built something for his class which uses Typed Racket, but the
> exhaustiveness checking is done by `cases' itself. Lots more about
> that is available from Eli's class web page [1], and I'm sure he'd be
> happy to
ing is done by `cases' itself. Lots more about
> that is available from Eli's class web page [1], and I'm sure he'd be
> happy to give you the code.
>
> [1] http://pl.barzilay.org/
>
> On Thu, Oct 20, 2011 at 10:48 AM, Eric Tanter wrote:
On Oct 20, 2011, at 5:09 PM, Sam Tobin-Hochstadt wrote:
>
> Unfortunately, Typed Racket doesn't support higher-kinded type
> parameters, which is what you would need here.
That's what we thought/feared.
> If you have an example of how you want to use this where the solution
> I gave earlier does
[bind : Any]))
Can we do better?
I hope that's a bit clearer.
Thanks,
-- Éric
On Oct 20, 2011, at 2:51 PM, Sam Tobin-Hochstadt wrote:
> On Thu, Oct 20, 2011 at 10:45 AM, Eric Tanter wrote:
>> Hi,
>>
>> Is there a way to type a monad?
>>
>
Hi again,
Is there a mechanism to do an exhaustive type case?
I know I can use (cond [(type-pred? v) ...]
[...])
but of course I have no guarantee that I am exhaustive (and of course, doing
pattern matching to destruct the value would be even nicer).
Basically, I guess
Hi,
Is there a way to type a monad?
For example in OCaml:
module type MonadRequirements = sig
type ‘a t
val bind : ‘a t -> (‘a -> ‘b t) -> ‘b t
val return : ‘a -> ‘a t
end;;
In Typed Racket we can use a polymorphic struct to have the parametrization by
'a and 'b, but is it possible
Hi,
It seems that the videos of RacketCon are not online yet. Is there an estimated
release date?
Thanks,
-- Éric
_
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/users
Hi,
Are there any news wrt the videos of Racketcon?
Thanks!
-- Éric
On Jul 29, 2011, at 2:48 AM, Eric Tanter wrote:
> Indeed, you're not alone! thanks to Jeff for taking care of that.
> Looking forward to the announcement of the videos.
>
> -- Éric
>
>
> O
Indeed, you're not alone! thanks to Jeff for taking care of that.
Looking forward to the announcement of the videos.
-- Éric
On Jul 27, 2011, at 9:04 PM, Stephen De Gabrielle wrote:
> Thanks,
> I'm sure I'm not the only one who appreciates the effort.
>
> S.
>
> On Wednesday, July 27, 2011,
+1!
-- Éric
On Jul 26, 2011, at 9:30 PM, Casey Klein wrote:
> On Mon, Jul 25, 2011 at 11:20 PM, David Van Horn wrote:
>>
>> Cute! Thanks for the cool planet package. Here's a slightly larger example
>> using Redex, adapted from redex/examples/arithmetic.rkt:
>>
>> #lang planet asumu/sweet
On Jul 12, 2011, at 9:02 AM, Sam Tobin-Hochstadt wrote:
> An excellent reference for this (which is also OO in a
> non-racket/class like way) is Dave Herman's javascript.plt Planet
> package:
> http://planet.racket-lang.org/display.ss?package=javascript.plt&owner=dherman
intrigued, I opened 5.1.1
Great news!
Thanks a lot Jeff, we'll be many to benefit from this effort.
-- Éric
On Jul 7, 2011, at 3:03 PM, Sam Tobin-Hochstadt wrote:
> On Wed, Jul 6, 2011 at 10:06 AM, Eric Tanter wrote:
>> From the FAQ:
>>
>> "Will the talks be recorded?
>> We'
>From the FAQ:
"Will the talks be recorded?
We'd love to record the talks, but we do not have the capability at the moment.
If you're interested in helping, or know someone who could, please contact the
organizers."
That would be reeeallly nice. Let's hope someone can help with that!
-
wrote:
> It doesn't -- like I said, it's a side-comment that makes life easier
> for writing slides (and one that is easy to miss).
>
>
> 11 hours ago, Eric Tanter wrote:
>> Thanks Eli, though that does not fix the two bugs I described.
>>
>> -- Éric
&
Hi Matthew,
> The problem in your initial message isn't really specific to comments.
Good point, I didn't test it with non-comments...
> I had successfully ignored the problem for years, :) but now I've
> pushed a fix.
Thanks!
> The second comment-specific problem is also fixed, though it prob
Thanks Eli, though that does not fix the two bugs I described.
-- Éric
On Jun 30, 2011, at 12:26 PM, Eli Barzilay wrote:
> 40 minutes ago, Eric Tanter wrote:
>> [...]
>>
>> #lang racket
>> (require slideshow/code)
>>
>> (code
>> (λ (x) 1) (code:co
To add to the strangeness, if one tries the following:
(code
(λ (x)
1 (code:comment "1")
))
Then the output is not well-formed:
(λ (x)
1 ; 1
-- Éric
On Jun 30, 2011, at 11:42 AM, Eric Tanter wrote:
> Hi,
>
> There is something strange with the way co
Hi,
There is something strange with the way comments are rendered.
Consider:
#lang racket
(require slideshow/code)
(code
(λ (x) 1) (code:comment "1"))
(code
(λ (x) (code:comment "1")
1))
(code
(λ (x)
1) (code:comment "1"))
the two first cases render as expected, but the last one put
Thanks Matthew.
> Otherwise, to just typeset Racket code, you might want to use
> `slideshow/pict' and `slideshow/code', instead.
Indeed, it works quite nicely. I was surprised not to find a pict->pdf
function, but that was not too hard to write.
> (It would be nice if those were more unified..
Hi all,
I'm trying again with this question from last week.
Thanks,
-- Éric
On Jun 23, 2011, at 6:53 PM, Eric Tanter wrote:
> [...] is there a way to get scribble to generate a "minimal pdf", instead of
> a whole page?
>
> For instance, from the following code:
Nicely summarized, Matthias.
To follow-up on Robby's suggestion and my own petty needs, is there a way to
get scribble to generate a "minimal pdf", instead of a whole page?
For instance, from the following code:
#lang scribble/manual
@(require scribble/eval)
@def+int[
(define add
(λ (n)
(λ
Thanks a lot Matthew, this is a really handy feature!
To add to the arguments of Don and others on why this might be necessary, I
faced another situation recently, quite common in research: collaborative paper
writing. You can't reasonably hope that all your co-authors will want to use
scribble
+1!
-- Éric
On Jun 14, 2011, at 4:03 PM, Grant Rettke wrote:
> On Tue, Jun 14, 2011 at 2:57 PM, Jos Koot wrote:
>> Will it be possible to follow Racketcon via internet?
>
> Great idea.
> _
> For list-related administrative tasks:
> http://list
Hi,
Is there a way to configure DrRacket such that a given macro is _by default_
considered opaque, ie. hidden in the macro stepper?
(without having to manually click on the macro in the stepper and then click on
"Hide macro")
Thanks,
-- Éric
_
cute!
thanks,
-- Éric
On Apr 21, 2011, at 4:07 PM, Sam Tobin-Hochstadt wrote:
> Here's a quick little example using `prop:procedure':
>
> https://gist.github.com/935350
>
> On Thu, Apr 21, 2011 at 5:06 PM, Eric Tanter wrote:
>> Ah, this is wonderful!
>>
Ah, this is wonderful!
not only does it exist, but in a better way than I had dreamed of ;-)
I wish I had known about that long ago...
Thanks!
-- Éric
On Apr 21, 2011, at 3:59 PM, Neil Van Dyke wrote:
> Eric Tanter wrote at 04/21/2011 04:55 PM:
>> Something along the lines of:
&
Hi Racketeers,
I have been using PLT Scheme/Racket for various kinds of language design
experiments in the past few years. The different facilities (in particular the
possibility to redefine #%app, identifier macros, etc.) are extremely valuable
to get working prototypes of wild ideas very quic
rks in Safari, but I think you meant to use square
> brackets for the arguments to 'hyperlink'.
>
>
>
> On Apr 12, 2011, at 9:10 PM, Eric Tanter wrote:
>
>> Hi,
>>
>> In the OOPLAI source, I link to an external file using an absolute address
Hi,
In the OOPLAI source, I link to an external file using an absolute address as
follows:
@hyperlink{"http://www.dcc.uchile.cl/etanter/defmac.rkt"; @scheme[defmac]}
In the generated page (*), the link works correctly under Safari, but fails
under Firefox and Chrome. In these browsers, clickin
On Apr 12, 2011, at 5:38 PM, Ryan Culpepper wrote:
>
> There are two kinds of ~optional: one is for head patterns and the other is
> for ellipsis-head patterns. The #:name keyword is only allowed in the latter
> case.
ok, makes sense.
> Ah, sorry, the docs are incomplete for #:defaults; I'll
Hi,
I'm starting to play with syntax-parse. Looks really great, but also quite
complex.
Here are some newbie questions.
(the example is based on the defmac of Eli)
I use two optional declaration:
(define-syntax (defmac2 stx)
(syntax-parse stx
[(defmac2 (name:identifier . xs)
(~o
> Could be useful. You'd have to use caution in what URLs you reference, since
> it's pretty much executing arbitrary code. And, unless you were always on a
> trusted network including trusted DNS, you'd want to use HTTPS and a trusted
> CA list. At that point, it becomes less lightweight.
T
1 - 100 of 129 matches
Mail list logo
