Re: [racket-users] Vectors, boxes and places

2022-02-03 Thread Tim Jervis
’t > feel like it. > > https://racket.discourse.group/ > > John > >> On Feb 3, 2022, at 5:58 AM, Tim Jervis wrote: >> >> Dear Racketeers, >> >> Is there something I have misunderstood about vectors, boxes and places >> which might explain

[racket-users] Vectors, boxes and places

2022-02-03 Thread Tim Jervis
Dear Racketeers, Is there something I have misunderstood about vectors, boxes and places which might explain why immutable boxes are not place-message-allowed, but immutable vectors are? > (place-message-allowed? (box-immutable #f)) #f > (place-message-allowed? (vector-immutable #f)) #t >

Re: [racket-users] hash-ref in typed Racket

2020-11-25 Thread Tim Jervis
[key (in-list '(function string missing))]) (printf "key: ~a\tvalue: ~a\n" key (hash-ref h key (thunk "Missed!") > ; hash/c: contract violation ; expected: chaperone-contract? ; given: K4 > On 24 Nov 2020

Re: [racket-users] hash-ref in typed Racket

2020-11-24 Thread Tim Jervis
is String, the same as the third argument of hash-ref. > On 24 Nov 2020, at 14:44, Sam Tobin-Hochstadt wrote: > > Unfortunately, that doesn't work -- the values in the hash could > include functions. > > Sam > > On Tue, Nov 24, 2020 at 7:25 AM Tim Jervis wrote: >> >&

Re: [racket-users] hash-ref in typed Racket

2020-11-24 Thread Tim Jervis
For the type of the third argument, rather than "any non-function", could Typed Racket use the type of the values in the hash? On Tuesday, 21 April 2020 at 15:51:00 UTC+1 Sam Tobin-Hochstadt wrote: > The problem here is with the optional third argument to `hash-ref`. > Typed Racket only allows

[racket-users] Pict and pict types

2020-11-24 Thread Tim Jervis
Hi everyone, In typed racket, vc-append expects arguments of type pict, while plot-pict produces results of type Pict. Therefore, to have vc-append accept a plot-pict argument, I’m currently casting the result of plot-pict to be of type pict. >From my understanding of the underlying racket

Re: [racket-users] Re: Impromptu racket meetup in London Friday, 19 July at 12pm-3pm

2019-07-12 Thread Tim Jervis
<mailto:racket-users+unsubscr...@googlegroups.com>. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/D18ED02F-10C8-4381-9D99-D2068BB38847%40gmail.com > > <https://groups.google.com/d/msgid/racket-users/D18ED02F-10C8-4381-9D99-D20

Re: [racket-users] not a number is a number

2018-03-22 Thread Tim Jervis
mbers.html > > I do appreciate the irony of the names. Perhaps `(number? +nan.0)` could be > added as another example of `number?` in the documentation, if this is > surprising or unclear. > > -Philip > >> On Thu, Mar 22, 2018 at 1:51 AM, Tim Jervis <t...@timjervis.c

[racket-users] not a number is a number

2018-03-22 Thread Tim Jervis
I was amused to see (number? +nan.0) returns #t. Is it worth noting this in the documentation? https://docs.racket-lang.org/reference/number-types.html?q=number%3F#%28def._%28%28quote._~23~25kernel%29._number~3f%29%29

Re: [racket-users] European Racketeers and conferences

2017-09-04 Thread Tim Jervis
On Tuesday, 22 August 2017 15:51:03 UTC+1, Matthias Felleisen wrote: >>>> Matthew F, Robby, and I will be in Oxford for ICFP starting late next >>>> week. None of us thought of this before but I am sure we could at least >>>> arrange for some dinner or afte

Re: [racket-users] European Racketeers and conferences

2017-08-24 Thread Tim Jervis
t; already appropriate venues for that that I'm unaware of (I am already >>> >>>>>> familiar with the European lisp symposium) >>> >>>>>> >>> >>>>>> Best, >>> >>>>>> >>> >>>&

Re: [racket-users] European Racketeers and conferences

2017-08-22 Thread Tim Jervis
opean lisp symposium) >> >> Best, >> >> > > -- > 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 rack

Re: [racket-users] range with small or zero step doesn't return

2017-04-17 Thread Tim Jervis
heck: >> > (time (for ([i (in-range 100)]) i)) >> cpu time: 22100 real time: 22210 gc time: 0 >> > (time (for ([i (in-range 100)]) i)) >> cpu time: 7 real time: 22265 gc time: 0 >> > (time (for ([i (in-range 1000000)]) i)) >

[racket-users] range with small or zero step doesn't return

2017-04-17 Thread Tim Jervis
in the racket distribution could trap the condition of an actually or effectively zero step. for.rkt already traps the condition where step is not real. If this makes sense, could one of the authors consider adding the tweak? Or is there a reason for leaving it alone? Kind regards, Tim Tim Jervis http

Re: [racket-users] Of editors and mere mortals

2016-11-06 Thread Tim Jervis
Emacs (Aquamacs) (with racket-mode and Paredit) for me, with occasional DrRacket use for rare debugging, especially Macros. Tim > On 5 Nov 2016, at 13:14, Ken MacKenzie wrote: > > So as much as I know there is much love for Dr Racket, I am not the biggest > fan. Yes I

Re: [racket-users] racket-mode: OK to require Racket 6.0+?

2016-10-10 Thread Tim Jervis
Here here! Tim Jervis +44 7801 337 078 > On 10 Oct 2016, at 19:56, Dmitry Igrishin <dmit...@gmail.com> wrote: > > Hi Greg, > > Yes, please! Racket mode for Emacs is great. Thank you for you work! > > -- > You received this message because you are subscribed t

Re: [racket-users] using a different "scribble.tex"

2016-04-01 Thread Tim Jervis
e the macros that generate the latex > includes. > > --spf > > > On Thu, Mar 31, 2016 at 2:45 AM Tim Jervis <t...@timjervis.com > <mailto:t...@timjervis.com>> wrote: > Commenting out scribble.tex with an open comment in prefix.tex and closing > comment in

Re: [racket-users] using a different "scribble.tex"

2016-03-31 Thread Tim Jervis
.com/d/optout. > > -- > 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 racket-users+unsubscr...@googlegroups.com. > For more opti