I’m parsing a large-ish apple plist file, (18 megabytes), and I find that the
built-in xml parsing (read-xml) takes about five times as long as the sxml
version (11 seconds vs 2.4 seconds on my machine), and that the plist parser is
way longer, at 18 seconds.
Would anyone object if I added a
Am I the first one to post about this? Looks like Robby’s giving a talk for the
Chalmers online functional programming seminar series!
http://chalmersfp.org/
(and yes, this URL is non-ssl only, sigh)
Date: June 15th, 7am PDT / 10am EDT / 1400 UTC / 16:00 CEST
Title: “Concolic Testing with
Uh oh… another protocol! Has anyone done any work on a GraphQL client library
in Racket?
https://graphql.org/code/#graphql-clients
John
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails
spiky green ball to know when it will
> work). It doesn't work in error trace mode tho.
>
> Could that be it?
>
> Robby
>
> On Thu, Mar 5, 2020 at 12:25 AM 'John Clements' via users-redirect
> wrote:
> Okay, I’m probably under a rock and just haven’t read my e-
Okay, I’m probably under a rock and just haven’t read my e-mail in a week, but
… I just noticed that re-running a long TR file of 900 lines took ONE second,
rather than eleven. It appears to me that either TR or DrRacket or both are now
cooperating to not re-compile when no edits have been
Forwarding this with permission to the kind folks on racket-users…
I’m having a strange problem with raco test; specifically, performing raco test
on a file in a collection from the racket-poppler collection generates error
text very fast… about 3 megabytes per second… with this text
I’m interested in converting TeX to picts. It looks like racket-poppler might
be the way to do that.
Unfortunately, I’m having trouble running racket-poppler. I ran into several
problems, but fortunately, all of the problems that I saw were also observed by
the test suite. Running
raco test
> On Feb 15, 2020, at 10:33, Sam Tobin-Hochstadt wrote:
>
> You can annotate variables like that in match patterns using #{s : Symbol},
> which ought to work in common cases.
>
> On Sat, Feb 15, 2020, 1:23 PM 'John Clements' via users-redirect
> wrote:
> Yes, absolutely.
nd a type annotation to any
> mutable data structure you create.
>
> Also, cast is almost never what you want. I see lots of people (maybe
> including this student) using it as a substitute for type annotation but it
> really isn't.
>
> Sam
>
> On Fri, Feb 14, 202
I think I may understand what’s going on here, but a student and I worked on
this for quite a while today before I found the problem.
Here’s a program:
#lang typed/racket
(define-type Store (Mutable-HashTable Integer Value))
(define-type Value (U Real Boolean String))
(define top-store (cast
--
Racket version 7.6 is now available from
https://racket-lang.org/
* DrRacket's scrolling has been made more responsive.
* DrRacket's dark mode support is improved for Mac OS and Unix.
* Racket CS is ready for
I have a graduate student that wants a self-guided introduction to JS and
React. The problem here, to some degree, is that there are so *many*
introductions. Does anyone here have specific references that might be helpful?
(Say, e.g., if Gregor Kiczales did a JS course on coursera… that would
I’ve been testing the release version of racket for a few weeks now, and I
notice a strange difference between using the “raco” binary that’s part of the
distribution and using a symlink to that binary. Specifically, calling raco
setup always requires an explicit ‘-l’ when I use the symlink.
Confirming publicly (so you don’t get a torrent of off-list responses).
John Clements
> On Aug 23, 2019, at 09:10, Sage Gerard wrote:
>
> Hello,
>
> My last few emails to the user mailing list have gone without responses, and
> I suspect that my emails were sent to spam or silently discarded
Oh! both excellent thoughts. Okay, I’ll try to remember this for the next time
this happens.
Many thanks!
John
> On Aug 19, 2019, at 11:10, Bogdan Popa wrote:
>
> The server doesn't seem to handle `Expect:' headers properly so, for
> example, curl has a couple seconds' delay when you run
This may be an OS question, but it manifested as a curious racket problem, so I
thought I’d ask. Consider the following program:
#lang racket
(require net/url)
(post-impure-port
(string->url "http://brinckerhoff.org:8025/;)
#"request=1234"
'("Content-Type: application/x-www-form-urlencoded”))
Racket version 7.4 is now available from
https://racket-lang.org/
With this 7.4 release, we are making Racket CS available, a beta version
of the Racket on Chez Scheme implementation. Racket CS is "beta"
quality for the v7.4 release. It works well enough to be worth trying,
but there are
Would it make sense to post the early ones to the 7GUIs site? They might be the
easiest ones for others to understand.
John
> On Jun 1, 2019, at 4:47 PM, Matthias Felleisen wrote:
>
>
> Someone recently mentioned the “7 GUIs” task. I spent a couple of days to
> write up minimal solutions:
Apologies if this is obvious, but have you checked to see whether some other
process is already listening on port 443? On a Linux server, it looks to me
like you should be able to see what processes are listening on what ports by
running
sudo netstat -tulpn
Also, you don’t mention what the
I often find myself wanting to use a t-test. Wikipedia suggests that really, I
should probably be using Welch’s t-test, because it works well when variances
and sample sizes are different, and about as well as student’s t-test when
variances and sample sizes are the same.
My vague
The “sign in” link on pkgs.racket-lang.org appears to time out. It looks to me
like that’s because it’s a link to pkgd.racket-lang.org (not pkgs….). I believe
these are … supposed to be synonyms? When I go to pkgd.racket-lang.org I get a
directory listing… looks like a misconfigured web server.
I had a funny thing happen to me today in (racket7) DrRacket; the cursor
disappeared. I was able to type, but only in one location; the arrow keys
didn’t move the (invisible) insertion point. I restarted DrR, and the problem
went away. Strange. Nothing like a bug report, but something to be on
It looks to me like TR can’t generate contracts for prefab structs in a way
that I would expect it to. Specifically, here’s a TR file and a Racket file
that uses a TR-defined prefab structure:
makes-foo.rkt:
#lang typed/racket
(provide (struct-out Foo)
get-a-foo)
(struct Foo ([a :
TR doesn’t really do exhaustiveness checking, really, … except sorta. I’m
mostly just writing this to summarize my thinking and to see if there’s
something obvious I’m missing.
I spent some time this morning debugging code that looked something like this:
#lang typed/racket
(define-type
> On Dec 7, 2017, at 2:34 PM, Stephen De Gabrielle
> wrote:
>
> I should be clear, I ran the libgit2 tests by hard coding the location of the
> library and running them manually. I don’t really know what I’m doing so that
> was the best I could muddle through.
That
Bradley was a student of mine, so I’m interested generally. Have you checked to
see whether adding the libgit2 dependency allows the tests to pass?
John
> On Dec 7, 2017, at 10:27 AM, Stephen De Gabrielle
> wrote:
>
>
> Hi,
>
I was debugging some student code today, and I was momentarily thrown by a
message that said “both tests passed!” when most of the code was not getting
run. It turned out that there was an error being signalled during the
evaluation of the expected value. To see this, try this code in beginner:
I’m in the process of trying to update the stepper to handle check-random, and
I’m somewhat baffled by the amount of difficulty I’m running into in and around
‘syntax-disarm’.
It occurs to me that it would probably be simpler just to walk over the
expanded syntax tree and reformulate it by
Forwarded without comment… :)
> Begin forwarded message:
>
> From: Jasmine Harihar Patel
> Subject: Racket Con
> Date: October 5, 2017 at 11:54:02 AM PDT
> To: "John B. Clements"
>
> Dear Professor Clements,
>
> My name is Jasmine and I am a 2nd
> On Sep 25, 2017, at 5:52 AM, Matthias Felleisen <matth...@ccs.neu.edu> wrote:
>
>
>> On Sep 24, 2017, at 9:32 PM, 'John Clements' via users-redirect
>> <us...@plt-scheme.org> wrote:
>>
>> Now that I know how much faster ‘assert’ can be than ‘ca
I have a file on which I’m getting this DrRacket internal error:
interval-map-cons*!: start is not strictly less than end
im: (make-interval-map '(((390 . 410) #(struct:tooltip-info #(str...
start: 3201
end: 3201
obj: (tooltip-info (object:...ivate/get-extend.rkt:134:12 ...) 320...
Now that I know how much faster ‘assert’ can be than ‘cast’, I’m eager to
replace uses of ‘assert' all over the place.
Specifically, in my PL class, I’m hoping to get rid of uses of (cast … Sexp)
that wind up principally in RHSes of match clauses.
In order to do this, I need a predicate of
I haven’t finished (or really even started) minimizing this yet, but I’m
getting a reproducible core dump in DrRacket when running one of my grading
scripts. It seems to be related to the top level; specifically, to trigger the
crash, I have to run in DrRacket and then call a particular
> On Sep 23, 2017, at 12:24, 'John Clements' via users-redirect
> <us...@plt-scheme.org> wrote:
>
>>
>> On Sep 23, 2017, at 12:02, Laurent <laurent.ors...@gmail.com> wrote:
>>
>> Okay, I made a stand-alone package called 'text-table', uploaded on
╬╬╬╣
> ╠╬╬╬╣
> ║a ║║b ║c ║
> ╠╬╬╬╣
> ║x ║║y ║z ║
> ╚╩╩╩╝
>
> If I had time I would merge the two and make it both simple and tweakable...
>
> On Fri, Sep 22, 2017 at 7:07 AM, 'John Clements' via users-redirect
ohn
>
> On Thu, Sep 21, 2017 at 5:03 PM, 'John Clements' via users-redirect
> <us...@plt-scheme.org> wrote:
>> Before I go re-inventing the wheel, I want to ask you folks: has anyone
>> written a library that prints out tabular data in a textual format?
>>
&g
Before I go re-inventing the wheel, I want to ask you folks: has anyone written
a library that prints out tabular data in a textual format?
E.G: given
‘((“a” “bcd” “ef”) (“gh” “hhu.thnt” “t”)
returns
"
--
| a | bcd | ef |
| gh | hhu.thnt | t |
———
“
(sorry
on, and
I figured that no-check would accomplish that; I realize that it’s a
"what’s-the-upper-limit-on-this" measure, not a long-term solution.
John
>
> Sam
>
> On Sep 18, 2017 1:38 AM, "'John Clements' via users-redirect"
> <us...@plt-scheme.org> wrote:
>
...@eecs.northwestern.edu>
> wrote:
> Maybe a first step is to just (unsafely) disable the contract checking
> in order to see what the upper-limit of the improvement is.
>
> Robby
>
>
> On Sun, Sep 17, 2017 at 8:07 PM, 'John Clements' via users-redirect
> <us.
I’m currently unhappy with the speed of rsound’s resampling. This is a pretty
straightforward interpolation operation; if you’re not already familiar,
imagine mapping an old vector ‘o' of size M onto a new vector ’n’ of size N
where each point ‘i’ in the new vector is obtained by linearly
> On Jun 29, 2017, at 09:08, Sam Waxman <samwax...@gmail.com> wrote:
>
> On Thursday, June 29, 2017 at 11:49:49 AM UTC-4, 'John Clements' via
> users-redirect wrote:
>> Oops forgot to cc: list
>>
>>> On Jun 29, 2017, at 08:49, John Cle
Oops forgot to cc: list
> On Jun 29, 2017, at 08:49, John Clements wrote:
>
>>
>> On Jun 29, 2017, at 08:30, Sam Waxman wrote:
>>
>> Hey all,
>>
>> I've been running into a lot of major roadblocks when it comes to writing
>> good tests for
> On Jun 23, 2017, at 10:25, Robby Findler <ro...@eecs.northwestern.edu> wrote:
>
> Docs link with examples? :)
But of course!
http://docs.racket-lang.org/glpk/index.html
John
>
> On Fri, Jun 23, 2017 at 1:13 PM 'John Clements' via users-redirect
> <us...@plt
Doing some operations research in Racket? Frustrated by the lack of linear
programming libraries? Well, be frustrated no more!
Actually, this is just a package announcement: I built a nice clean
one-function interface to GLPK, the Gnu Linear Programming Kit, allowing primal
simplex to do
I’m introducing hash tables to students in a first-year class. Is there a handy
reference for the implementation of immutable hash tables? Is this in Okasaki?
John
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this
Sugar looks great; I just reimplemented your ‘filter-split’ for about the
seventeenth time yesterday while breaking a text file into paragraphs.
John
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop
> On Dec 14, 2016, at 3:56 PM, Scott Moore wrote:
>
> Robby beat me to it. For a longer discussion, see Christos, Robby, Cormac and
> Matthias’ paper: http://www.ccs.neu.edu/racket/pubs/popl11-dfff.pdf on the
> difference between dependent (->d) and indy-dependent
> On Apr 19, 2016, at 3:18 PM, Hendrik Boom wrote:
>
> On Mon, Apr 18, 2016 at 08:04:32PM +0200, Jerzy Karczmarczuk wrote:
>> Dmitry Pavlov wants "adult" numerics in Racket, and he adds:
>>
>>> - I need to take derivatives of equations that I wrote in my DSL,
>>>
> On Apr 18, 2016, at 10:29 AM, Robby Findler
> wrote:
>
> I'm not sure if there is anything in Racketdom that will serve your
> needs, but if you do end up with the "implement it" plan, do be sure
> to check out Jeff Siskin's work on program analysis for the
> On Apr 6, 2016, at 2:43 AM, Jay McCarthy wrote:
>
> Hi John,
>
> I'd like to debug the glClear error with you. I'll have to look up the error
> to figure out where to go on it though, so I'll get back to you.
>
> However, the screen you see is expected. The demo has
> On Apr 2, 2016, at 1:40 PM, Jos Koot wrote:
>
> A compiler produces code (in this phase data) that can be executed.
> Babbage started with a machine that made distinction between program and
> data.
> In a Von Neuman machine there is no distinction between data and
> On Jan 25, 2016, at 5:51 PM, Greg Williams <gwilliam...@gmail.com> wrote:
>
> On Saturday, April 25, 2015 at 3:12:20 PM UTC-7, 'John Clements' via
> users-redirect wrote:
>> I have a long-running racket server that’s connecting to a MySQL back end.
>> It
First, apologies for bouncing this back to the list, hope that’s okay…
=
> On Nov 4, 2015, at 2:20 AM, Marco Faustinelli
> wrote:
>
>
> What I definitely AM missing (I can't see why you contradict my personal
> statement at the same time you are actually taking
-> 5)
John
> On Nov 4, 2015, at 9:02 AM, 'John Clements' via users-redirect
> <us...@plt-scheme.org> wrote:
>
> First, apologies for bouncing this back to the list, hope that’s okay…
> =
>> On Nov 4, 2015, at 2:20 AM, Marco Faustinelli <marco.faustine...@o
I updated my tree today and ran make, and ran into this error:
raco pkg update: packages conflict
package: compatibility-test
package: racket-test
module path: tests/racket/package
I did a little investigating, and sure enough, I can see that while this file
used to be a part of the
This is in the “very unimportant” category, but I see that as of today, running
setup-plt … er … raco setup informs me that
raco setup: undeclared dependency detected
raco setup: for package: rsound
raco setup: on package for build:
raco setup:scheme-lib”
It’s perfectly easy to add
On Jul 3, 2015, at 2:00 AM, Tim Brown tim.br...@cityc.co.uk wrote:
Thanks for the help folks!
I'll take a long hard look at rebasing before I do anything.
It sounds like something my mother would have advised against.
On 03/07/15 03:52, Alexander D. Knauth wrote:
On Jul 2, 2015, at
On Jul 2, 2015, at 7:52 PM, Alexander D. Knauth alexan...@knauth.org wrote:
On Jul 2, 2015, at 1:53 PM, John Clements cleme...@brinckerhoff.org wrote:
On Jul 2, 2015, at 7:31 AM, Alexander D. Knauth alexan...@knauth.org
wrote:
After you resolve them you will (I think) need to `git
On Jul 2, 2015, at 7:31 AM, Alexander D. Knauth alexan...@knauth.org wrote:
On Jul 2, 2015, at 6:34 AM, Tim Brown tim.br...@cityc.co.uk wrote:
Folks,
I have two pull requests related to my separation of net/url-string
from net/url.
plt/racket #948 implementation of the separation
On Jun 24, 2015, at 1:12 PM, Vasanth Kumar vasanth.ai...@gmail.com wrote:
Hi,
*plonk*
--
You received this message because you are subscribed to the Google Groups
Racket Users group.
To unsubscribe from this group and stop receiving emails from it, send an email
to
About six months ago, I had an idea on how to generate passwords from English
text while still maintaining entropy. I wrote it up quickly on ArXiv, and
published a web page where you can try it:
http://www.brinckerhoff.org/molis-hai/
I’ve now released it as a raco command-line tool, too. You
I notice that currently, plot snips are not zoomable in my local build. The
release candidate doesn’t seem to have this problem. I believe I’ve had this
problem since before the release candidate was built. This suggests to me that
the problem is not that there’s a bug in the code, but rather
On Jun 13, 2015, at 7:37 AM, Alexander D. Knauth alexan...@knauth.org wrote:
On Jun 13, 2015, at 12:18 AM, 'John Clements' via users-redirect
us...@plt-scheme.org wrote:
Okay, I shouldn’t change topics, but while I’ve got you (guys): it looks
like (module+ test …) now works in TR
On Jun 12, 2015, at 6:07 PM, Asumu Takikawa as...@ccs.neu.edu wrote:
On 2015-06-12 17:30:42 -0700, 'John Clements' via users-redirect wrote:
(define-type (HuffJsexpr T)
(U T (HashTable Symbol HuffJsexpr)))
The variant that Alex mentioned should work.
Interesting… there *is* a problem
Here’s the type I want to write:
(define-type (HuffJsexpr T)
(U T (HashTable Symbol HuffJsexpr)))
… for use in converting a tree to a jsexpr. My memory was that this wasn’t
possible in TR because TR would get caught in a loop trying to figure out how
many times to “unfold” the type in order
On Jun 12, 2015, at 5:52 PM, Alexander D. Knauth alexan...@knauth.org wrote:
On Jun 12, 2015, at 8:30 PM, 'John Clements' via users-redirect
us...@plt-scheme.org wrote:
Here’s the type I want to write:
(define-type (HuffJsexpr T)
(U T (HashTable Symbol HuffJsexpr)))
Do you
I write this kind of code all the darn time:
;; take (listof (list a b)) into (hashof a (listof b))
(define (gather l)
(for/fold ([ht (make-hash)])
([pr l])
(hash-set ht (first pr) (cons (second pr)
(hash-ref ht (first pr) empty)
;; gather
On Jun 11, 2015, at 10:19 AM, Stephen Chang stch...@ccs.neu.edu wrote:
Would any of the functions in unstable/list help? For example,
Ah, ‘group-by’ is very nice, yes. Looks like that was Vincent’s? Many thanks,
Vincent!
John
--
You received this message because you are subscribed to
Golly, that was fast. So much for RacketCon this year.
My fault, I know.
John
--
You received this message because you are subscribed to the Google Groups
Racket Users group.
To unsubscribe from this group and stop receiving emails from it, send an email
to
I just got an interesting and very scary contract error. I tried to reproduce
it, but I can’t quite do it. I think I can see (part of) what’s going on,
though.
Suppose I have a file called bad1.rkt that is in Typed Racket (I’m guessing
this is significant) and exports a structure called
On Jun 1, 2015, at 1:46 PM, Robby Findler ro...@eecs.northwestern.edu wrote:
I think that if you don't have up to date .zo files, arbitrary badness
can ensue.
Just to check my development model; generally, when I’m working on multiple
interdependent libraries in a collection, my experience
On May 22, 2015, at 1:52 PM, Tony Garnock-Jones to...@ccs.neu.edu wrote:
Hi all,
I've updated racket-explorer (https://github.com/tonyg/racket-explorer)
to handle cyclic (and mutable) data by lazily (and repeatedly) unfolding
children only when the triangle next to an item is opened (and
I’m creating a simple slideshow, and I’d like to be able to jump to a given
slide instantly, ideally by pressing a particular key. Basically, I’d like to
be able to write this:
#lang slideshow
(extend-keyboard-handler
(lambda (key default-handler)
(match key
[1 (jump-to-slide
I’m interested in your munger package for data analysis, but … it looks like
there are no docs or examples? Any plans to work on this?
Thanks!
John Clements
--
You received this message because you are subscribed to the Google Groups
Racket Users group.
To unsubscribe from this group and
On May 14, 2015, at 4:08 PM, Matthew Flatt mfl...@cs.utah.edu wrote:
Here are the results of a package build using the v6.2 release
candidate:
http://release-pkg-build.racket-lang.org.s3-website-us-west-2.amazonaws.com/
Compare to v6.1.1:
http://pkg-build.racket-lang.org/
I believe
I’m interested in analyzing my own programming patterns in DrRacket. Has anyone
already written a keystroke logger / editor-change-logger for DrRacket? I’m
imagining that it would capture a session record starting with a known
snapshot, then a sequence of keystrokes/edit actions, in such a way
On May 6, 2015, at 7:16 PM, Matthew Butterick m...@mbtype.com wrote:
A few notes about what I learned when converting my `sugar` library to a dual
Typed Racket / Racket library (in part because of performance considerations).
I have a long-running racket server that’s connecting to a MySQL back end. It
has a connection pool wrapped in a virtual connection, created like this:
;; create a connection to the database
(define conn
(virtual-connection
(connection-pool
(lambda ()
(mysql-connect #:database
On Apr 16, 2015, at 3:17 AM, Konrad Hinsen konrad.hin...@fastmail.net wrote:
I am looking for an approach that lets me run either all tests in my
collection, or convenient subsets (e.g. one module), ideally using a
single tool such as raco test. Any suggestions? You get bonus points
for
for
the your code is more than 102 columns warning.
+1 to this. I think I’d definitely like this independent of a mechanism to trim
on save.
John
Robby
On Mon, Apr 13, 2015 at 12:06 PM, 'John Clements' via users-redirect
us...@plt-scheme.org wrote:
On Apr 13, 2015, at 2:29 AM, Jon Zeppieri zeppi
On Apr 13, 2015, at 2:29 AM, Jon Zeppieri zeppi...@gmail.com wrote:
Robby,
This is my first crack at a DrRacket tool (not to mention an uncommon
foray into Racket's class system), so what I'm doing may not be...
sane. But if you're willing to take a look:
1) pict3d is Totally magnificent. Think I said this before.
2) New OS X mouse controls are excellent.
3) Doc bug (I think). You write
Shapes: visible 2D surfaces in 3D space. Surfaces are visible on only one
side.”
I believe the first word and the first word of the second sentence should be
On Mar 30, 2015, at 11:15 PM, Benjamin Greenman bl...@cornell.edu wrote:
I've pushed a script for globbing to the package server. It exports two
functions, `glob` and `in-glob`. I hope that some day functions like these
can be in racket/file, but until then, enjoy.
This looks useful.
I’m writing a test suite, and I’d like a way to abort a test without aborting a
test suite. It looks to me like “fail-check” is supposed to do this. Here’s
the code I wrote:
#lang racket
(require rackunit)
(define (f x)
(fail-check foo)
(/ 1 0))
(check-equal? (f 3) 4)
(check-equal? 9
On Mar 25, 2015, at 6:55 PM, Jon Zeppieri zeppi...@gmail.com wrote:
I recently uploaded Gregor, a date and time library, to the package server.
Can I use this instead of SRFI 19? That would be wonderful.
John Clements
Features:
- representations for and generic operations on:
-
This is a pedagogic question. The discussion below (forwarded with permission)
is basically about the best way to find the maximum value in a vector of length
four million, a.k.a. a sound file. Non-tail recursion is problematic; I blow a
512M-limited evaluator in about 14 seconds without
86 matches
Mail list logo