Re: [racket-users] Annoying run-warnings in DrR 7.5: How to disable?

2020-01-24 Thread Jordan Johnson
On 24 Jan 2020, at 14:00, Robby Findler wrote: > In the preferences dialog, in the General tab, the last checkbox is > the one you want. The one for saving files upon switching tabs? > But let me confirm: the reason it is painful to turn on the preference > is that you have to choose a file? We

[racket-users] Annoying run-warnings in DrR 7.5: How to disable?

2020-01-24 Thread Jordan Johnson
Hi all, One thing I’ve noticed is new in DrRacket 7.5 is the warning dialog that pops up upon hitting Run, saying “The file is not saved; save it before Run?” where may be in some other tab than the one that has focus. This is annoying the heck out of me, as I usually tend to have at l

[racket-users] Long-term substitute teaching post available at private school

2019-07-30 Thread Jordan Johnson
Dear Racket friends & teachers, I’m taking a semester of leave from my teaching position at Kirby School in Santa Cruz, CA, and the school is looking for a part-time sub to cover my programming class, which I teach based on HtDP. This would be one period, Mondays/Wednesdays/Fridays — usually 50

Re: [racket-users] Editor task: finding end of code on line

2019-07-05 Thread Jordan Johnson
suming it is totally language-agnostic. Thanks again, J > Robby > > >> On Tue, Jul 2, 2019 at 11:41 AM Jordan Johnson wrote: >> Dear Racket folks, >> >> I’m trying to implement a keybinding to get me more familiar with the editor >> toolkit. I’m working on

[racket-users] Editor task: finding end of code on line

2019-07-02 Thread Jordan Johnson
Dear Racket folks, I’m trying to implement a keybinding to get me more familiar with the editor toolkit. I’m working on modifying the Ctrl+E keybinding so it behaves more like the Ctrl+A keybinding (which, once at the beginning of the line, toggles between the true beginning of the line and the

Re: [racket-users] bugs.racket-lang.org down?

2019-05-08 Thread Jordan Johnson
On 8 May 2019, at 11:53, Sam Tobin-Hochstadt wrote: > bugs.racket-lang.org was hosted on a server at Northeastern, which > died recently (this resulted in a number of other problems as well). > While we will bring back that data, I would encourage you to submit > bugs at https://github.com/racket/

[racket-users] bugs.racket-lang.org down?

2019-05-08 Thread Jordan Johnson
Hi all, I’m unsuccessful in connecting to bugs.racket-lang.org, and downforeveryoneorjustme.com also reports it being down. Is the web server there not running for some reason? Best, Jordan -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To

[racket-users] 2htdp/image: Alpha blending

2019-04-26 Thread Jordan Johnson
Hi all, The docs for image->color-list say: > The list of colors is obtained by drawing the image on a white background and > then reading off the colors of the pixels that were drawn. According to that description, if I evaluate... > (first (image->color-list (square 2 'solid (make-color 255

Re: [racket-users] How do you make students submit programming assignments online for automatic tests?

2019-02-21 Thread Jordan Johnson
On Feb 20, 2019, at 10:40, 'John Clements' via Racket Users wrote: > One solution would be to use the command-line version of Racket’s > handin-server, which is language-agnostic to the degree that it can just > submit arbitrary files to the server, and what happens on the back end is up > to

Re: [racket-users] Finding the right font%

2019-02-14 Thread Jordan Johnson
Ok, thanks for the replies! —Jordan > On Feb 14, 2019, at 07:57, Matthew Flatt wrote: > > I have noticed that some fonts I used to use became inaccessible on Mac > OS in v7.0, which is when we upgraded Pango. In my case, the relevant > change seems to be that Pango became better at tracking whic

[racket-users] Finding the right font%

2019-02-10 Thread Jordan Johnson
Hi all, I’m using a typeface (Espinosa Nova ) comprised of twelve distinct fonts. When I use the pict or 2htdp/image library to create an image of some text — e.g., > (text "Foo bar!" 24 "Espinosa Nova") ; pict lib — Racket gives me th

Re: [racket-users] Some concern about ChezScheme...

2019-02-08 Thread Jordan Johnson
On Feb 6, 2019, at 11:28, Matthias Felleisen wrote: > On Feb 6, 2019, at 2:22 PM, 'Paulo Matos' via Racket Users > wrote: >> Interestingly according to Matt these ideas were already floating around at >> his uni as early as 98? > My recollection is that Kent taught with this approach because it

[racket-users] SXML/SXPath: selecting a node, keeping small subset of children

2019-02-08 Thread Jordan Johnson
Hi all, Is there an idiom in SXPath/SXSLT for selecting a node and keeping only a small subset of its children by name? E.g., if, somewhere in my document, I have ...50 other elements... ... ...more eleme

Re: [racket-users] Making evaluators / handin server setup

2019-01-12 Thread Jordan Johnson
Hi Matthew et al., Following up some work from last fall: On Oct 6, 2018, at 15:58, Matthew Flatt wrote: > At Wed, 26 Sep 2018 15:57:12 -0700, Jordan Johnson wrote: >>> (require racket/sandbox) >>> (make-evaluator "beginner-lang.rkt") >> . . ../../../../../

Re: [racket-users] handin-server: reader used in checker modules

2018-10-17 Thread Jordan Johnson
> On Oct 17, 2018, at 11:30, Shu-Hung You > wrote: >> >> Would it help if in the check module you use `=' as the equality test, >> or specify #e10.25 instead? > > Success! > > Specifying > (!test (hour-angle 12 20 30) #e10.25) > produces the behavior I

Re: [racket-users] handin-server: reader used in checker modules

2018-10-17 Thread Jordan Johnson
On Oct 17, 2018, at 11:30, Shu-Hung You wrote: > > Would it help if in the check module you use `=' as the equality test, > or specify #e10.25 instead? Success! Specifying (!test (hour-angle 12 20 30) #e10.25) produces the behavior I expected, correctly comparing the numbers. Thanks, all! Be

Re: [racket-users] handin-server: reader used in checker modules

2018-10-17 Thread Jordan Johnson
>> So, what aspect of the language config would be responsible for 41/4 not >> equaling 10.25? > > Welcome to Racket v7.0.0.20. >> (= 41/4 10.25) > #t >> (read-decimal-as-inexact #f) >> (= 41/4 10.25) > #t > > Do you perhaps print and read the result? Nope. The code that’s generating the error

Re: [racket-users] handin-server: reader used in checker modules

2018-10-17 Thread Jordan Johnson
> On Oct 17, 2018, at 10:35, Matthias Felleisen wrote: >> (check-expect (+ 10 .25) 10.25) >> >> errors with check-expect’s message about not comparing inexact numbers, but >> in DrRacket+BSL the decimals are treated as exact numbers. >> >> What do I need to change in the checker, in order

[racket-users] handin-server: reader used in checker modules

2018-10-17 Thread Jordan Johnson
Hi all, In my last thread regarding the handin server, Matthew suggested: > A workaround is to use `'lang/htdp-beginner` as the language instead of > `'(special beginner)`. That happens to avoid a redundant and > troublemaking `require`. So, I’m using 'lang/htdp-beginner in an assignment’s checke

[racket-users] Making evaluators / handin server setup

2018-09-26 Thread Jordan Johnson
Dear Racketeers, I’m writing about difficulties using make-evaluator in Racket v7.0 with a module that selectively (or not) re-exports bindings from an existing language. This is related to work I’m doing with the handin server. - the short version - Create this file, and use as follows:

Re: [racket-users] Strange window behavior in OSX Yosemite DrRacket

2018-01-25 Thread Jordan Johnson
and instead it did something very similar to the second > screenshot (using Racket 6.11 on Mac OS 10.13.2): > > > ​ > > -Philip > > On Thu, Jan 25, 2018 at 11:10 AM, 'John Clements' via Racket Users > mailto:racket-users@googlegroups.com>> wro

[racket-users] Strange window behavior in OSX Yosemite DrRacket

2018-01-25 Thread Jordan Johnson
Hi all, One of my students is observing some strange behavior involving the Program Contour pane of DrRacket. He’s using v6.11 on OS X Yosemite 10.10.5. This is the top-right corner of his DrR window, with Program Contour open: Upon pressing Cmd+U to hide it, this is what happens: Additional

Re: [racket-users] 2htdp/universe: behavior of dual shift keys

2017-12-19 Thread Jordan Johnson
Thanks, Alex. A little more digging, and here’s some more info; I’m hoping this will be enough for the maintainers of 2htdp/universe to track down what’s going on. In 2htdp/private/check-aux.rkt in the htdp-lib package, I opened a REPL and ran this code: > (require racket/gui) > (define f (

[racket-users] 2htdp/universe: behavior of dual shift keys

2017-12-17 Thread Jordan Johnson
Hi all, The attached program exhibits some odd behavior in 2htdp/universe, and I want to track down where it’s coming from. AFAICT it’s not an error in the program itself, but if I’m mistaken I’d be pleased to have confirmation that the cause isn’t in the OS or the 2htdp/universe library. Here

Re: [racket-users] DrRacket (6.11) issue on Windows 10

2017-11-13 Thread Jordan Johnson
There’s also (Windows key)+(left/right arrow), which will move the window to the left/right half of the current display, and (Windows key)+Shift+(left/right arrow), which cycles it to the previous or next display (in case, e.g., the window is on a different display because the student had the la

Re: [racket-users] Connecting a language and its reader

2017-10-01 Thread Jordan Johnson
depends, of > course, on the particulars of the language you're defining. > > -Philip > >> On Sun, Oct 1, 2017 at 2:50 PM, Jordan Johnson wrote: >> Hi all, >> >> I’ve been putting together a little language to learn more about how the >> Racket #lang

[racket-users] Connecting a language and its reader

2017-10-01 Thread Jordan Johnson
Hi all, I’ve been putting together a little language to learn more about how the Racket #lang ecosystem works, and I’m hung up on bundling up the language as a collection. I’m not sure I correctly understand the point where the reader attaches to the macros that specify how to expand the langua

Re: [racket-users] document as fn from strings to HTML/text

2017-09-28 Thread Jordan Johnson
Fantastic. Thank you, Neil & Ben. Regards, Jordan > On Sep 28, 2017, at 11:09, Neil Van Dyke wrote: > > If you don't care whether you edit in HTML syntax, and you'd like a slightly > more programming-ish interface, there's also: > http://www.neilvandyke.org/racket/html-template/ > > -- > Yo

[racket-users] document as fn from strings to HTML/text

2017-09-28 Thread Jordan Johnson
Hi all, Problem: I want to generate many documents from a source template (of which only a few small parts change, from doc to doc) and many groups of values. Ideally I’d like to be able to write files like this: *** template *** ... @(for/list ([item my-list]) (li item)) ... *** list sou

[racket-users] table lookup shorthands?

2017-08-06 Thread Jordan Johnson
Hi all, I’m writing some music-related code for which I find myself using a lot of lookup tables, following the pattern of making an alist or hash table and then writing a function that consults the table. I wound up writing a macro for this pattern; one example of its use is: ;; key->fifths :

Re: [racket-users] ~literal vs ~datum

2017-08-02 Thread Jordan Johnson
On Aug 1, 2017, at 11:34, Jens Axel Søgaard wrote: > The binding information is attached a syntax object during expansion. > In your example the #'(define x y) haven't gone through expansion, > so you do not get what your expected result. > > However we can change your macro a little... Ah, that

[racket-users] ~literal vs ~datum

2017-08-01 Thread Jordan Johnson
Hi all, Reading the documentation on ~datum in syntax/parse, I see: The ~datum form is useful for recognizing identifiers symbolically, in contrast to the ~literal form, which recognizes them by binding. That makes sense to me. But then I see: > (syntax-parse > > (let > > ([define

Re: [racket-users] Hint on opening enclosing directory of current file from DrRacket

2017-07-04 Thread Jordan Johnson
IIRC on windows, at the cmd prompt (and hence maybe through DrR's "system" procedure) you can type "explorer ." to obtain the same behavior. Cheers, Jordan > On Jun 28, 2017, at 5:38 PM, James wrote: > > >> On Jun 28, 2017, at 5:42 PM, Glenn Hoetker wrote: >> >> Caveats: 1. Since CWD is set

Re: [racket-users] Question: 2D data (Arrays?) in Universe Teachpack

2017-05-27 Thread Jordan Johnson
On May 27, 2017, at 7:00 AM, A Mauer-Oats wrote: > I thought it would be interesting to work with 2D data in an "advanced > introductory" class. At least to the extent of being able to model classic > board games like Battleship and Checkers. > [...] > Any suggestions or tales of relevant experi

Re: [racket-users] Re: Proper non-tail recursion?

2017-04-25 Thread Jordan Johnson
On Apr 25, 2017, at 6:09 PM, Matthias Felleisen wrote: > While I am at it, let me advocate PITCH as the slogan for Proper > Implementation of Tail Calls. (Where does the H come from? I added it to make > a complete word.) Proper Implementation of Tail Call Handling? :) Cheers, Jordan -- You

Re: [racket-users] Should I keep all of the definitions from HTDP2e in one definitions save file?

2017-04-15 Thread Jordan Johnson
If I were doing it from scratch, I would keep one file for each section or each grouping of exercises. One big file for the whole book is a bit much, especially given that sometimes definitions are revisited with similar names. And one file per exercise is probably too small, and could make it

[racket-users] TCP listening & custodians

2017-02-23 Thread Jordan Johnson
Hi all, The code below is a simple server based on the web server in the “More: Systems programming in Racket” tutorial. This behavior is puzzling me: I run the server (from the OS X Terminal) and connect a client. After a wait, the client is disconnected by the timeout (shown in red). I halt th

[racket-users] Detecting EOT when reading a TCP port

2017-02-22 Thread Jordan Johnson
Hi all, Quick question: Given a listener and input port defined thus: (define listener (tcp-listen port)) (define-values (in out) (tcp-accept listener)) while reading lines of text, what’s the correct way to detect an EOT (^D or U+0004) character? This “obvious” solution does n

[racket-users] Limiting memory for raco

2016-04-21 Thread Jordan Johnson
Hi all, Is it possible to limit the memory that raco uses for running builds (beyond whatever reduction I might get by using the -j option to reduce the number of parallel jobs)? If so, how? Thanks, jmj -- You received this message because you are subscribed to the Google Groups "Racket Use

Re: [racket-users] Order of argument conventions, or ... conventions of argument ordering

2016-04-21 Thread Jordan Johnson
1) With many of these functions, there's usually an imaginary preposition there, when I read most of them functions: sort ls by > cons X onto ls remove X from ls map f over ls 2) Any "-ref" function — list-ref, vector-ref, hash-ref — has the object first. Longstanding Scheme/lisp convention, an

Re: [racket-users] Package catalog - can't connect

2016-04-19 Thread Jordan Johnson
> At Mon, 18 Apr 2016 14:32:20 -0700, Jordan Johnson wrote: >> ssl-connect: connect failed (error:14090086:SSL >> routines:ssl3_get_server_certificate:certificate verify failed) >> context…: [stack trace follows] > > I've seen these kinds of problems where the s

[racket-users] Package catalog - can't connect

2016-04-18 Thread Jordan Johnson
Hi all, I just downloaded Racket 6.4 onto my VPS (running Debian 6.0), and when I try to install packages (with raco pkg), I’m getting failures to connect to the server. First this: ssl-connect: connect failed (error:14077410:SSL routines:SSL23_GET_SERVER_HELLO:sslv3 alert handshake failure)

Re: [racket-users] Playing sound

2016-04-06 Thread Jordan Johnson
On Apr 6, 2016, at 15:18, John Clements wrote: > 1) The “stop” procedure is a giant end-of-the-world hammer; I wouldn’t expect > it to be useful while a program is running. OK. It had that feel. > 2) I hesitate to suggest this, but there is a “pstream-set-volume!” function > that can silence a

Re: [racket-users] Playing sound

2016-04-06 Thread Jordan Johnson
Hey, so I’m now looking at how to set up background music in rsound with the ability to switch tracks. Below is the suggestion from John Clements that seems right: >> I’m guessing you’re looking for an imperative API that looks something like >> this: >> >> (start-playing! stream sound at-time

Re: [racket-users] Playing sound

2016-01-29 Thread Jordan Johnson
Hi John, Thanks for the reply. > If you’re concerned about test failures in pkg.racket-lang.org… well, my test > cases try to load the shared libraries and play sound, so that’s not possible > in pkg.racket-lang.org’s environment. Oh, good. That's less of a worry then. Will the separate share

[racket-users] Playing sound

2016-01-27 Thread Jordan Johnson
Hi all, I'm looking at audio again because I have a student doing a game project for which he wants background music to play — and I'm feeling some trepidation based on most of the audio-tagged packages on pkgs.racket-lang.org showing some test failures or other build problems. His minimal goa

Re: [racket-users] A template/example to use to build a workflow illustration/flowchart in slideshow

2016-01-15 Thread Jordan Johnson
Yes. The slideshow tutorial referenced near the top of http://docs.racket-lang.org/slideshow/index.html ("Run Tutorial") incorporates a slideshow in which you can inspect the source. Best, Jordan > On Jan 13, 2016, at 5:10 PM, C K Kashyap wrote: > > Dear group, > > I am trying to use racket f

Re: [racket-users] racket users fight for their right to colon keywords

2015-10-26 Thread Jordan Johnson
On Oct 23, 2015, at 8:30 AM, Greg Hendershott wrote: > Keyword arguments: Although I'm comfortable in the #: camp, I can > understand people preferring :foo over #:foo for the reason that it is > faster to type. #: requires two shifted chars. If you touch type you > use both left and right shift

[racket-users] Multiple colorschemes for multiple DrR versions?

2015-09-09 Thread Jordan Johnson
Hi all, Is there a way to specify that DrRacket use a certain color scheme for a certain version, or to dynamically choose a color scheme at startup? It occurred to me that since I sometimes run a DrRacket built from the nightly snapshots and sometimes run the latest stable build, it’d be nice

Re: [racket-users] Frog/Scribble: h* tag substitution

2015-08-29 Thread Jordan Johnson
On Aug 28, 2015, at 9:06 AM, Greg Hendershott wrote: > > Yes. It's happening in Frog, where the HTML generated by Scribble is > adjusted in a few ways: > ... > Maybe you'll agree that behavior is OK, now that you know what's going on > and why? This takes care of my immediate need, since I can

[racket-users] Frog/Scribble: h* tag substitution

2015-08-27 Thread Jordan Johnson
Hi all, I’m using Greg Hendershott’s Frog[1] tool for my web site, and since I know I’m outputting HTML I sometimes want to be able to tell Frog/Scribble, “Just use this HTML tag here.” I’ve looked at the docs on implementing styles[2], and came up with this attempt: > ;; string? -> (string? .

[racket-users] Scribble: Wrap text in examples/interactions?

2015-08-09 Thread Jordan Johnson
Hi all, Is there a way to get long lines of text in a Scribble @examples block to wrap? (Perhaps looking something like DrRacket’s wrapped lines?) Thanks, jmj -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and

Re: [racket-users] Scribble undefined tags

2015-07-26 Thread Jordan Johnson
ticed that fully-qualified >> names is the habit used in many internal Racket packages. The reasons why >> this works are dimly remembered. I presume it has something to do with the >> fact that all Scribble docs are rendered into the main docs directory for >> your inst

[racket-users] TR: Option values

2015-07-26 Thread Jordan Johnson
Hi all, Writing TR code, I find that the more I use the Option type, the more I want something like Haskell’s Maybe monad. Is there any existing tool I’m missing, that provides for applying functions to values of type (Option x), by propagating failures? If not, would it be sensible to include

[racket-users] Scribble undefined tags

2015-07-24 Thread Jordan Johnson
Hi all, I have a file main.scrbl in the same directory as a file main.rkt. In the .scrbl file, I have (require (for-label "main.rkt")) and several defproc and defstruct* forms. For some reason, one of my defstruct* forms works as expected, while all of the other defstruct* and defproc forms p

[racket-users] Scribble: referencing struct fields

2015-07-23 Thread Jordan Johnson
Hi all, What are the appropriate function and the preferred practice for referring to struct fields in a Scribble document? For example, if I’m writing the defstruct* body text and want to say, “the x field is intended for blah blah blah”, is @racket[x] the right way to typeset the field name “

[racket-users] TR: require/typed and parametric polymorphism

2015-07-02 Thread Jordan Johnson
Hi all, If I’m reading the docs & source correctly, it looks like it’s impossible to use require/typed to attach a parametric type to an import. Is that right? I’m also a bit curious if that’s because adding that capability is a difficult or impossible proposition. Cheers, jmj -- You receive

Re: [racket-users] Moving an image with the keyboard

2015-06-26 Thread Jordan Johnson
Hi Patrick, The problem you’re up against is that in the code you’ve attached, we don’t have a clear picture of what the signatures for your functions are, nor of the “world” upon which big-bang operates. Standard practice in HtDP-based courses dictates that every big-bang program should have a

[racket-users] TR typed-racket-more library docs

2015-06-26 Thread Jordan Johnson
Hi all, One thing I’ve noticed in working with Typed Racket is that some of the libraries on the “Libraries Provided with Typed Racket ” docs page have type definitions that aren’t documented anywhere, but that

[racket-users] ANN: cookies library for clients and servers

2015-04-07 Thread Jordan Johnson
Hi all, This weekend I added to the package catalog a set of libraries (named net-cookies) for managing cookies as per RFC6265, the most recent cookie RFC. Documentation: http://pkg-build.racket-lang.org/doc/cookies/index.html Source: https://github.com/RenaissanceBug/racket-cookies Examples

Re: [racket] run big-bang universe server on headless server?

2015-03-02 Thread Jordan Johnson
I'd imagine running it under Xvfb would be worth a try: http://en.wikipedia.org/wiki/Xvfb I know I've used that to be able to run gracket-text stuff on my Linux VPS before. Don't know if there's anything in universe that would pose an obstacle, however. Best, Jordan On Feb 27, 2015, at 4:18 P

Re: [racket] min and max representable dates

2015-03-02 Thread Jordan Johnson
On Mar 2, 2015, at 6:59 AM, Hendrik Boom wrote: > On Sun, Mar 01, 2015 at 04:07:57PM -0800, Jordan Johnson wrote: >> >> I expect a pretty conservative estimate is A-OK if it’d be sure of >> not throwing an error on 32+-bit systems; >> I see 2^32 seconds would get u

Re: [racket] How can I dump (display) the variables defined in current the global environment

2015-03-01 Thread Jordan Johnson
On Mar 1, 2015, at 5:37 PM, Rufus wrote: > And also > a function to save this state (variables in the global environment) in a > fashion that could be quickly/easily (ie one short function call) be > reloaded the next day to continue from where I left off. The typical workflow in DrRacket is to u

[racket] min and max representable dates

2015-03-01 Thread Jordan Johnson
Hi all, Am I right in thinking the min and max dates that racket/date can handle are platform-dependent? If so, is there any constant I can reasonably use as a least or greatest representable date? I’ve looked in racket/date.rkt and see that there’s some code that appears to be doing binsearch

[racket] net/cookie update

2015-02-07 Thread Jordan Johnson
Hi all, In writing some cookie-handling code I noticed that 1) the Racket net/cookie library is based on RFC 2109, obsoleted by two new cookie RFCs since then (the current being 6265) 2) the net/cookie library’s imperative interface feels very un-Rackety I initially just wanted t

[racket] SRFI 19 string->date: Error reading dates

2015-01-31 Thread Jordan Johnson
Hi all, I’m running into this problem with string->date in srfi/19: ;;; begin Interactions > (require srfi/19) > (string->date "Sun, 02 Feb 2015" "~a, ~d ~b ~Y”) result arity mismatch; expected number of values not received expected: 1 received: 0 values...: ;;; end Interactions I’m assuming

Re: [racket] 2htdp/image: Silent cropping?

2015-01-24 Thread Jordan Johnson
ase=default&cmd=view+audit-trail&cmd=view&pr=12277 >>> >>> but I'm not sure what's the right answer here. I'm hesitant to add >>> errors but maybe that's the best thing. >>> >>> Robby >>> >>> >>&g

[racket] 2htdp/image: Silent cropping?

2015-01-23 Thread Jordan Johnson
Hi all, A student of mine noticed yesterday that part of an image was getting truncated. Some further experimentation in BSL yielded this example: *(ellipse 5050 100 'solid 'blue)* ; => image with 50 pixels missing at right end *(ellipse 100 5050 'solid 'blue)* ; => image with 50 pixels missing a

Re: [racket] JSExprs and hashtables

2015-01-19 Thread Jordan Johnson
ately want. >> (define jsx #hasheq((a . "val1") (b . "val2") (c . "val3"))) >> >> Or you could use (inst make-immutable-hasheq Symbol JSExpr) instead of using >> #hasheq, and it would do the same thing. >> >> >>> On Jan 19, 201

[racket] TR: JSExprs and hashtables

2015-01-18 Thread Jordan Johnson
Hi all, I’ve been trying to create JSExprs, as defined in the typed/json library. This is one of those instances where it seems like I must be making things harder than they should be, but I’m still feeling like a duck on rollerskates in TR, so I want to make sure I’m not missing an easier way

Re: [racket] TR: Polymorphic types

2015-01-18 Thread Jordan Johnson
Hi Sam & Matthias, Thanks for the clarification. And thanks to Alexander for pointing out the typed/json module — been a while since I’ve pulled down a nightly build. Speaking of that: with the splitting of the repos, if I want to contribute code to the TR repository, is there a quick referenc

[racket] TR: Polymorphic types

2015-01-17 Thread Jordan Johnson
Hi all, In playing with TR this evening, I found > (define-type (Foo A) > (U A > (List 'foo (Foo A > > (define-predicate foo? Foo) generates the error “Type Foo could not be converted to a contract: cannot generate contract for non-function polymorphic type”. I’ve read the page with

[racket] Prefs -> Editing -> Indenting: Definition of keyword types

2014-11-09 Thread Jordan Johnson
Hi all, A totally non-urgent question, out of pure curiosity: The part of DrRacket’s preferences devoted to indentation classifies keywords as “Begin-like”, “Define-like”, and “Lambda-like”. What are the definitions of those terms’ indentation behavior, and where are they documented? (I’ve fou

Re: [racket] Font selection in DrRacket

2014-11-08 Thread Jordan Johnson
On Nov 8, 2014, at 1:41 PM, Robby Findler wrote: > I have some fonts also only in that category, like Triplicate. I see > it in DrRacket, but only if I choose "Other..." in the font selection > dialog. Does your font show up there? > > Relatedly, does it show up in the output of this program? >

Re: [racket] Font selection in DrRacket

2014-11-08 Thread Jordan Johnson
On Nov 8, 2014, at 1:19 PM, Robby Findler wrote: > Do you see them in Font Book? Yes; they show up in the “User” collection but not the “Computer” collection, which is what led me to the hypothesis I offered. Best, jmj > On Sat, Nov 8, 2014 at 3:16 PM, Jordan Johnson wrote: >

[racket] Font selection in DrRacket

2014-11-08 Thread Jordan Johnson
Hi all, How can I tell where DrRacket looks for fonts, or tell it where to look? (I’m running it on OS X.) I ask because there are a few fonts I’ve installed that aren’t showing up as options in DrRacket’s font menus. I believe this is because I’ve installed them as user fonts — not system-wid

Re: [racket] Web authentication tutorials?

2014-10-07 Thread Jordan Johnson
; Jay > > On Mon, Oct 6, 2014 at 8:05 PM, Jordan Johnson wrote: >> Dear Racketeers, >> >> [tl;dr: I’m wondering what is the current state of the art for >> authentication in Racket Web apps. What would be a good starting point for >> learning how to do authent

[racket] Web authentication tutorials?

2014-10-06 Thread Jordan Johnson
Dear Racketeers, [tl;dr: I’m wondering what is the current state of the art for authentication in Racket Web apps. What would be a good starting point for learning how to do authentication with options to authenticate via password DB and via OAuth with a common authorization service such as tho

Re: [racket] onfocus like functionality in Racket

2014-10-04 Thread Jordan Johnson
1. One cause of confusion: world-after-button-down and world-after-button-up are under-specified in your purpose statements (i.e. "RETURNS:" comments): rather than "the world following a button-up event", which is vague and open to multiple interpretations, say what behavior you wish to observe

Re: [racket] TR and ports (in two senses)

2014-05-18 Thread Jordan Johnson
Okay. Thanks! --jmj On May 18, 2014, at 1:52 PM, Asumu Takikawa wrote: > On 2014-05-16 10:04:17 -0700, Jordan Johnson wrote: >> As part of familiarizing myself with Typed Racket I thought I'd port one >> or two of the untyped Racket libraries to TR. This raised a f

[racket] TR and ports (in two senses)

2014-05-16 Thread Jordan Johnson
Hi all, As part of familiarizing myself with Typed Racket I thought I'd port one or two of the untyped Racket libraries to TR. This raised a few questions: 1) Looking at the TR docs and GitHub repo, AFAICT new library ports go in pkgs/typed-racket-pkgs/typed-racket-more/typed -- is that right? 2

[racket] Memory usage stat?

2014-03-05 Thread Jordan Johnson
Hi all, This seems like it should be stupidly obvious, but I've been looking through the DrRacket manual and can't find an answer to this question: In the DrRacket status bar, what exactly does the memory quantity (to the immediate left of the GC icon box) represent? It doesn't seem to correlate

Re: [racket] converting GRacket editor file to HTML or PDF?

2013-09-29 Thread Jordan Johnson
I'm working on some little conveniences like that, and already have some code that I'm using for writing student assignments to PDFs: http://jjohnson.kirby.org/tmp/handin-pdfs.rkt I call that code from a checker that generates a report on which of the assigned functions/constants are defined an

Re: [racket] Handin server checker scripts

2013-08-27 Thread Jordan Johnson
sen wrote: > > Have you considered mining the style guide for such rules? -- Matthias > > > > > On Aug 26, 2013, at 2:03 PM, Jordan Johnson wrote: > >> Hi all, >> >> This fall I'm planning to be doing some further work towards a framework for &

[racket] Handin server checker scripts

2013-08-26 Thread Jordan Johnson
that he's used in the past. If any of you have done any work recently on this that you'd be willing to share, would you please send me a note? I plan to share the results of my work with the Racket community when I've got some reliable code I'm satisfied

Re: [racket] Some guidance and help for Section 4.5.1

2013-04-27 Thread Jordan Johnson
On Apr 27, 2013, at 10:35 PM, Da Gamer wrote: > First, I'm working on problem: How To Design Programs, 2nd Edition (Chapter > 4, Section 4.5.1). > [...] > However, the code feels wrong. As if I didn't do it the Scheme way. It's > like writing C with classes and not idiomatic C++. It works,

[racket] Game-pad support

2013-04-26 Thread Jordan Johnson
Hi all, Idle curiosity: does the relatively recent addition of on-pad to the 2htdp/image library actually add support for plugging in a gamepad and using it as a controller? The use of the word "simulation" in the docs suggests otherwise, but (not owning game hardware to test it myself) I can'

Re: [racket] File name case when saving in Win 7

2013-03-04 Thread Jordan Johnson
Thanks to all for the replies, and to Robby for the fix. Best, jmj -- Sent from my Android phone with K-9 Mail. Robby Findler wrote: >I've pushed a change that simply removes the call to normal-case-path. >I >expected to be able to break DrRacket after making that change, but I >wasn't able t

Re: [racket] File name case when saving in Win 7

2013-03-01 Thread Jordan Johnson
Just realized I should clarify something about the following: On Feb 25, 2013, at 5:51 PM, Jordan Johnson wrote: > I have noticed that in Windows, DrRacket seems to be normalizing all file > names to lowercase when I save. Is it possible to alter this behavior? (I.e. > is there some p

[racket] File name case when saving in Win 7

2013-02-25 Thread Jordan Johnson
Hi all, I have noticed that in Windows, DrRacket seems to be normalizing all file names to lowercase when I save. Is it possible to alter this behavior? (I.e. is there some preference or setting I'm missing that would make it preserve case? I've searched the docs and Web for terms such as "fi

Re: [racket] what's wrong with my code?

2013-01-20 Thread Jordan Johnson
For one thing, the question you are asking in the code, (> i 4) ;; i.e., i > 4 is not the same question you ask in your equations, n < 4 so, for starters, it would seem you need the two questions to be in agreement. Best, jmj -- Sent from my Android phone with K-9 Mail. Robert

Re: [racket] FIXED Re: Setting font for drawing to dc%

2012-12-07 Thread Jordan Johnson
explicitly setting the style) and >you'll get the syntax highlighting. > >Robby > >On Fri, Dec 7, 2012 at 3:14 PM, Jordan Johnson >wrote: >> Hi Robby, Matthew, >> >> Thanks for the replies. Robby, that was exactly what I needed, since >I hadn't thoug

[racket] FIXED Re: Setting font for drawing to dc%

2012-12-07 Thread Jordan Johnson
ed to call freeze-colorer to wait for the coloring > to finish, too, but that would affect only the colors, not the fonts. > > Robby > > On Fri, Dec 7, 2012 at 5:56 AM, Matthew Flatt wrote: >> I'm not sure. Can you provide a small program that illustrates the problem? >&

[racket] Setting font for drawing to dc%

2012-12-07 Thread Jordan Johnson
Hi all, I was delighted to find awhile back that it's pretty easy to obtain a PDF of syntax-colored code that looks more or less like what I see in my DrRacket window, by drawing the text% to a PDF-dc%. I am now using that in conjunction with the handin server to grade and mark up student work

Re: [racket] Where to hook into handin-server for sandbox-network-guard

2012-12-03 Thread Jordan Johnson
Hi all, My immediate need for a response to the message below has passed, but I'd still like to know for next time, at least if my idea of a solution was accurate. Anybody? Thanks, jmj -- Sent from my Android phone with K-9 Mail. Jordan Johnson wrote: >Hi all, > >I ha

[racket] Where to hook into handin-server for sandbox-network-guard

2012-11-27 Thread Jordan Johnson
Hi all, I have my students handing in an assignment via the handin server, in which I've asked them to use bitmap/url to load a particular image from my Web server. This obviously runs afoul of the sandbox rules, so I looked into the sandbox configuration docs and believe that what I need to do

Re: [racket] What is a good way to learn about functions "like" in this case?

2012-11-22 Thread Jordan Johnson
Argmin is a standard math term, but if it's one you haven't encountered, I'm not sure how easily you could turn it up in the Racket docs. This is a problem I've thought it might be nice to find somebody in a library program to work on; they study indexing in depth, and choosing terms to index is

Re: [racket] DrRacket for the Truly Impatient V02, need help, beta testers

2012-11-21 Thread Jordan Johnson
I'm curious what the objectionable distraction is: the mere presence of the arrow, or the action of the arrow's window with contract info popping in and out as you mouse over identifiers? If it's the latter, than perhaps it would help to just put more of a delay (as tooltips have) in before exp

Re: [racket] Scheme's place in the world

2012-11-21 Thread Jordan Johnson
On Nov 20, 2012, at 9:19 PM, Hugh Aguilar wrote: > The only way to make money is by selling circuit-boards that do something > useful --- and those boards have to be programmed somehow, which is where > Straight Forth comes in. Boards are a product that can be sold. Software is > not a product

Re: [racket] handin server bugs? (was Re: handin server error)

2012-11-20 Thread Jordan Johnson
23 -0800, Jordan Johnson wrote: >> -- 1 -- >> >> Starting a checker file with "#lang handin-server/checker" (as the >> handin-server/checker docs suggest) does not work; the log file indicates >> the >> server is failing to load the checker, with this e

  1   2   >