On 2/14/20, 'John Clements' via users-redirect wrote:
> 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.
>
>
>
> In this case, one easy error is to change the ‘cast’ into an ‘ann’, which
> works fine.
You
Your second suggestion is described in this (hard to find) section of
the TR Guide on Type Generalization:
https://docs.racket-lang.org/ts-guide/caveats.html#%28part._.Type_generalization%29
I agree it should be much more prominent. At the very least, any docs
for invariant constructors should lin
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 (
Thanks for the Valentine in the splash screen!
--
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.
To view this discussion
Hmm... I don't see a new message in the thread, so I'm not sure what you
approved. No worries though.
On Friday, February 14, 2020 at 7:36:26 AM UTC-5, Robby Findler wrote:
>
> It is possible that your post wasn't deleted but got held up in
> google's spam traps. I just approved a message from y
It is possible that your post wasn't deleted but got held up in
google's spam traps. I just approved a message from you (that I was
alerted to only this morning). Was that the message?
Robby
On Thu, Feb 13, 2020 at 2:57 PM Brian Adkins wrote:
>
> I tried replying earlier today, but somehow the p
Will Racket's pleasant surprises never end? :) This is great news!
I've had a blast coding web applications in Racket over the last 15 months.
I now understand "The Lisp Curse" a bit more :)
http://winestockwebdesign.com/Essays/Lisp_Curse.html
In other words, developing web apps with what is a
7 matches
Mail list logo
