Hello,
I continue my work with Typed/Racket and Racket, and I now have another
problem, with the same error.
I try to use in untyped racket a typed async-channel of type Any, and I'm not
able to use the higher-order value from this channel.
Here is an example code that show this problem :
```
Unfortunatly, not.
I'm building a framework were the user will send data over the
async-channel, so I didn't know the type in advance, and cannot specify
more the async-channel...
On 04/20/2018 02:50 PM, Sam Tobin-Hochstadt wrote:
Can you give a more specific type to what you send on the chann
Can you move the communication into an untyped submodule and use external type
specs to move the values into the typed world? We could learn from this what’s
missing from Typed Racket.
> On Apr 20, 2018, at 10:14 AM, mailoo wrote:
>
> Unfortunatly, not.
> I'm building a framework were the
In that case, which side is not typed? If the user side isn't typed,
then you can _read_ things of type `Any` from the channel just fine.
Sam
On Fri, Apr 20, 2018 at 10:14 AM, mailoo wrote:
> Unfortunatly, not.
> I'm building a framework were the user will send data over the
> async-channel, so
The untyped world will read and write... The typed world surround this
actions (async-channel-put and async-channel-get) by other things.
I want my framework Typed and using it untyped, but it seems hard to manage!
But beside, thank you for looking at my problem!
On 04/20/2018 05:41 PM, Sam To
Probably better to revert back to untyped racket for the meantime...
--
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.
F
When looked as a whole, the new racketcon website looks cool. But when you
are zoomed in (like I and many other blind/low-vision users frequently
are), it looks something like this:
Which honestly looks like something is broken with the website.
Also, it completely kills screen readers. Here i
Yeah, those fancy things are an accessibility nightmare. When I zoom in in
FireFox the line breaks are fine, but between 110% and 200% zoom factor the
text actually gets smaller when zooming in, and beyond 200% it gets larger
again.
As for screen readers, I am no ARIA expert, but from what I (t
RacketCon visual design increasingly reflects the avant-garde nature of
Racket. In this piece (Digital, Visual-Textual, 2018), zooming out
reveals the reference and elaboration of DrRacket Contour and Large
Letters, challenging the viewer to question normative views of
existential questions of
0. Another consideration with the ASCII art font is that it won't get
indexed by search engines. This doesn't matter so much for the first
three, since the same info is in the page . But it means
searching for "Kent Dybvig" won't turn up this page.
1. The "organizers" href is "http://mailto:jay.mc
On Sat, Apr 21, 2018 at 1:07 AM, Greg Hendershott
wrote:
> 0. Another consideration with the ASCII art font is that it won't get
> indexed by search engines. This doesn't matter so much for the first
> three, since the same info is in the page . But it means
> searching for "Kent Dybvig" won't tur
11 matches
Mail list logo
