Re: [racket-users] (racketcon 2017) Is there a shuttle from the hotel?

['Jonker, Todd' via Racket Users]

Closer sites are probably few and far between: Mary Gates Hall is smack in the 
middle of UW's campus. But Seattle is blanketed in ride-sharing, and it should 
only cost a few dollars to hail a Lyft from the hotel to Mary Gates Hall.

If people are looking for other lodging options, the UW Link (light-rail) 
station is a half-mile walk from the Hall.  From there it's a very easy ride to 
Capitol Hill and downtown.  There are countless hotel options within a few 
blocks of Westlake Station, the first stop downtown.

.T.

From: Racket Users  on behalf of David Storrs 

Date: Saturday, September 16, 2017 at 9:04 AM
To: Leif Andersen 
Cc: Vincent St-Amour , Racket Users 

Subject: Re: [racket-users] (racketcon 2017) Is there a shuttle from the hotel?

You might take a look on AirBnB.  I'm staying at a place that's much closer 
than the main hotel, and also about 1/6 the price.

On Sat, Sep 16, 2017 at 11:58 AM, Leif Andersen 
> wrote:
Okay thanks.

For future reference, that is actually a very long distance for many
people in wheelchairs.

Do you know if there are any hotels closer to the conference venue?

~Leif Andersen


On Mon, Sep 11, 2017 at 8:53 PM, Vincent St-Amour
> wrote:
> Google maps predicts 14 minutes.
>
> https://www.google.com/maps/dir/Hotel+Deca,+4507+Brooklyn+Ave+NE,+Seattle,+WA+98105/Mary+Gates+Hall,+1851+NE+Grant+Ln,+Seattle,+WA+98105/@47.6582455,-122.3156366,16z/data=!3m1!4b1!4m14!4m13!1m5!1m1!1s0x5490148ac590c9fd:0x5ca09aa87f1f39cd!2m2!1d-122.3145465!2d47.6615196!1m5!1m1!1s0x549014f2ab81c35f:0x6dda64382ddc87a4!2m2!1d-122.3079505!2d47.6549716!3e2
>
> Vincent
>
>
> On Mon, 11 Sep 2017 17:33:20 -0500,
> Leif Andersen wrote:
>>
>> How short of a walk?
>>
>> I ask because there is about a 30% chance my partner (who is wheel
>> chair bound) will be going.
>>
>> ~Leif Andersen
>>
>>
>> On Mon, Sep 11, 2017 at 2:19 PM, Vincent St-Amour
>> > 
>> wrote:
>> > Hi Dave,
>> >
>> > We're not planning a shuttle; the hotel is a short walk from the venue.
>> >
>> > If that's an issue for you, please do let us know.
>> >
>> > Vincent
>> >
>> >
>> >
>> > On Mon, 11 Sep 2017 10:35:02 -0500,
>> > David Storrs wrote:
>> >>
>> >> Hi folks,
>> >>
>> >> Is there a shuttle from the hotel to the venue and, if so, what times 
>> >> does it run?
>> >>
>> >> Dave
>> >>
>> >> --
>> >> 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 options, visit https://groups.google.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 options, visit https://groups.google.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 options, visit https://groups.google.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 options, visit https://groups.google.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 options, visit https://groups.google.com/d/optout.

[racket-users] Re: tooltip "im" message

[Robby Findler]

Oh, I can guess what is happening. I've pushed something that will
avoid the error.

If you can open that file again and let check syntax complete and then
put your mouse over the last position in the file, I am guessing
you'll see some lost tooltips down there. Let me know what they are,
as there probably are other fixes to do...

Robby


On Sun, Sep 24, 2017 at 10:39 PM, John Clements
 wrote:
> 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...
>   context...:
>
> /Users/clements/racket/racket/share/pkgs/data-lib/data/interval-map.rkt:74:0: 
> interval-map-cons*!
>
> /Users/clements/racket/racket/share/pkgs/drracket/drracket/private/syncheck/gui.rkt:2076:10:
>  loop
>
> /Users/clements/racket/racket/share/pkgs/drracket/drracket/private/module-language.rkt:2299:6:
>  for-loop
>
> /Users/clements/racket/racket/share/pkgs/drracket/drracket/private/module-language.rkt:2234:24
>
> /Users/clements/racket/racket/share/pkgs/gui-lib/mred/private/wx/common/queue.rkt:454:6
>
> /Users/clements/racket/racket/share/pkgs/gui-lib/mred/private/wx/common/queue.rkt:505:32
>
> /Users/clements/racket/racket/share/pkgs/gui-lib/mred/private/wx/common/queue.rkt:653:3
>
> I’m guessing it won’t be helpful to have the file… but you never know. Here’s 
> the file on which it’s occurring.
>

-- 
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 options, visit https://groups.google.com/d/optout.

Re: [racket-users] existing predicate for membership in TR Sexp type?

['John Clements' via users-redirect]

> On Sep 25, 2017, at 5:52 AM, Matthias Felleisen  wrote:
> 
> 
>> On Sep 24, 2017, at 9:32 PM, 'John Clements' via users-redirect 
>>  wrote:
>> 
>> 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 type (-> Any Boolean : Sexp). 
>> 
>> Well, strictly speaking, all I really need is the positive half, which I can 
>> construct like this:
>> 
>> (: sexp? (-> Any Boolean : #:+ Sexp))
>> (define (sexp? s)
>> (or (number? s)
>> (symbol? s)
>> (string? s)
>> (and (pair? s) (sexp? (car s)) (sexp? (cdr s)))
>> (null? s)))
>> 
>> This works fine, and I can use it in an assert. 
>> 
>> Should I just drop this on my students, or is there an existing s-expression 
>> checking predicate that I can use?
>> 
>> Apologies if I’m just not looking hard enough! 
> 
> 
> The definition of S-expression tends to be parameterized over the leafs 
> (atoms). I’d be surprised if your particular version existed. [I assume you 
> understand that you’re handing them a parser and that the use of this 
> predicate may slow down the function (in terms of O-class).] — Matthias

For this class, it’s all about ‘match’; last year, TR’s treatment of `match` 
wasn’t clever enough in many instances to deduce that a particular pattern 
variable’s value inhabits, say, Sexp, requiring either a cast or an assert. It 
may be that this year, TR is sufficiently sophisticated in its handling of 
`match` to obviate this need. If not, though, I’ll need either a cast or an 
assert. (If I’m thinking about this problem correctly, then *either* a cast or 
an assert is going to boost the asymptotic running time; even if TR can perform 
deduplication of casts to the same type, I think this still incurs the same 
asymptotic penalty.)

Thanks!

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 racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Re: [racket-users] What can I do with thread descriptors?

[David K. Storrs]

Hi Alexis,

I don't know how I missed this reply back when it first came out and I'm 
very late to the party on replying, but I did want to make sure I'd said 
thank you.  I don't know how I missed this page but if I figure it out I'll 
mail the list with the appropriate pointer.

Dave



On Thursday, May 25, 2017 at 4:40:31 PM UTC-4, Alexis King wrote:
>
> > On May 25, 2017, at 1:16 PM, David Storrs  > wrote: 
> > 
> > 1) What can I do with a thread descriptor? 
>
> The section on Threads in the reference[1] includes all sorts of 
> functions that operate on thread descriptors, including but not 
> limited to thread-suspend, thread-resume, kill-thread, break-thread, 
> and thread-wait. 
>
> > 2) Is there a way to get the thread descriptor from inside the thread? 
>
> Yes, use (current-thread).[2] From the documentation: 
>
> > Returns the thread descriptor for the currently executing thread. 
>
> If you just try searching for “thread descriptor” in the documentation, 
> the only result I find is the page that documents these functions 
> and forms. I’m curious: did you find the term somewhere else that 
> wasn’t properly linked to the reference? If so, that should probably 
> be fixed. 
>
> Alexis 
>
> [1]: http://docs.racket-lang.org/reference/threads.html 
> [2]: 
> http://docs.racket-lang.org/reference/threads.html#%28def._%28%28quote._~23~25kernel%29._current-thread%29%29

-- 
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 options, visit https://groups.google.com/d/optout.

Re: [racket-users] existing predicate for membership in TR Sexp type?

[Matthias Felleisen]

> On Sep 24, 2017, at 9:32 PM, 'John Clements' via users-redirect 
>  wrote:
> 
> 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 type (-> Any Boolean : Sexp). 
> 
> Well, strictly speaking, all I really need is the positive half, which I can 
> construct like this:
> 
> (: sexp? (-> Any Boolean : #:+ Sexp))
> (define (sexp? s)
>  (or (number? s)
>  (symbol? s)
>  (string? s)
>  (and (pair? s) (sexp? (car s)) (sexp? (cdr s)))
>  (null? s)))
> 
> This works fine, and I can use it in an assert. 
> 
> Should I just drop this on my students, or is there an existing s-expression 
> checking predicate that I can use?
> 
> Apologies if I’m just not looking hard enough! 


The definition of S-expression tends to be parameterized over the leafs 
(atoms). I’d be surprised if your particular version existed. [I assume you 
understand that you’re handing them a parser and that the use of this predicate 
may slow down the function (in terms of O-class).] — Matthias

-- 
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 options, visit https://groups.google.com/d/optout.