Re: [racket-users] Re: RacketCon 2018 Website

2018-04-20 Thread Jay McCarthy 
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 turn up this page.

I think that someone with more CSS pizazz than me could put something in this

line 
https://github.com/racket/racket-lang-org/blob/master/rcon/2018/pollen.rkt#L117

and then in the CSS to put the text directly in there but hide/show it
with certain media-types.

> 1. The "organizers" href is "http://mailto:jay.mccar...@gmail.com; --
> which on some browsers opens gmail.com. I think
> "mailto:jay.mccar...@gmail.com; was meant.

I think this is an error in Pollen or maybe an error in Jay. The code is

◊link["mailto:jay.mccar...@gmail.com"]{organizers}

-- 
-=[ Jay McCarthy   http://jeapostrophe.github.io]=-
-=[ Associate ProfessorPLT @ CS @ UMass Lowell ]=-
-=[ Moses 1:33: And worlds without number have I created; ]=-

-- 
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] Re: RacketCon 2018 Website

2018-04-20 Thread Greg Hendershott 
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.mccar...@gmail.com; --
which on some browsers opens gmail.com. I think
"mailto:jay.mccar...@gmail.com; was meant.

2. I notice no one is complaining about the tickets "TBA" link
https://tinyurl.com/RacketCon2018Tickets resolving to everyone's
favorite video? :)

-- 
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] Re: RacketCon 2018 Website

2018-04-20 Thread Neil Van Dyke 
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 type theory and the relation to language and 
semantics.


--
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: RacketCon 2018 Website

2018-04-20 Thread HiPhish 
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 (think I) know, 
wrapping the ASCII art in a span with the "aria-hidden" attribute (either 
in a span or div, since those are semantically invisible) should hide them 
from screen readers so that listeners are not bombarded with seemingly 
random ASCII characters. As a substitute a label can be added to the 
enclosing . I'm thinking about something like in this StackOverflow 
answer: https://stackoverflow.com/a/26032207

-- 
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] RacketCon 2018 Website

2018-04-20 Thread Leif Andersen 
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 is a capture of what a
screen reader thinks that block of text is saying:



So, if we are going to keep this logo, could we at least make it an image,
or use HTML accessibility tags to say what that block of text should be
read as, or something else that doesn't completely kill the website for
blind users?

~Leif Andersen

-- 
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] [racket] error : Attempted to use a higher-order value passed as `Any` in untyped code:

2018-04-20 Thread stewart mackenzie 
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.
For more options, visit https://groups.google.com/d/optout.

Re: [racket-users] [racket] error : Attempted to use a higher-order value passed as `Any` in untyped code:

2018-04-20 Thread mailoo 
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 Tobin-Hochstadt wrote:

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 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 channel? That
will allow Typed Racket to generate a contract that works for your values.

Sam

On Fri, Apr 20, 2018, 6:14 AM mailoo > wrote:

 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 :

 ```
 #lang racket

 ; A higher-order value
 (define add (lambda (x) (+ x 1)))
 (add 1)

 ; Untyped is working well
 (require racket/async-channel)
 (define untype-p (make-async-channel 10))
 (async-channel-put untype-p add)
 (define new-add (async-channel-get untype-p))
 (display "untype world : ")
 (displayln (new-add 2))

 ; Untype <-> type world doesn't work
 (module port typed/racket
 (provide build-port (struct-out port))

 (require typed/racket/async-channel)

 (struct port ([channel : (Async-Channelof Any)]))

 (: build-port (-> port))
 (define (build-port)
 (port (make-async-channel 10

 (require 'port)
 (define p (build-port))

 (async-channel-put (port-channel p) add)
 (define n-add (async-channel-get (port-channel p)))

 ; Fail : Attempted to use a higher-order value passed as `Any` in
 untyped code: #
 (n-add 3)
 ```

 Do you have an idea how I can use my procedure?
 I don't know if it's possible, or if it is a limitation of the
 untyped <-> typed boundary?

 Thank you in advance,

 Denis Michiels


 -- 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.

Re: [racket-users] [racket] error : Attempted to use a higher-order value passed as `Any` in untyped code:

2018-04-20 Thread Sam Tobin-Hochstadt 
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 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 channel? That
>> will allow Typed Racket to generate a contract that works for your values.
>>
>> Sam
>>
>> On Fri, Apr 20, 2018, 6:14 AM mailoo > > wrote:
>>
>> 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 :
>>
>> ```
>> #lang racket
>>
>> ; A higher-order value
>> (define add (lambda (x) (+ x 1)))
>> (add 1)
>>
>> ; Untyped is working well
>> (require racket/async-channel)
>> (define untype-p (make-async-channel 10))
>> (async-channel-put untype-p add)
>> (define new-add (async-channel-get untype-p))
>> (display "untype world : ")
>> (displayln (new-add 2))
>>
>> ; Untype <-> type world doesn't work
>> (module port typed/racket
>> (provide build-port (struct-out port))
>>
>> (require typed/racket/async-channel)
>>
>> (struct port ([channel : (Async-Channelof Any)]))
>>
>> (: build-port (-> port))
>> (define (build-port)
>> (port (make-async-channel 10
>>
>> (require 'port)
>> (define p (build-port))
>>
>> (async-channel-put (port-channel p) add)
>> (define n-add (async-channel-get (port-channel p)))
>>
>> ; Fail : Attempted to use a higher-order value passed as `Any` in
>> untyped code: #
>> (n-add 3)
>> ```
>>
>> Do you have an idea how I can use my procedure?
>> I don't know if it's possible, or if it is a limitation of the
>> untyped <-> typed boundary?
>>
>> Thank you in advance,
>>
>> Denis Michiels
>>
>>
>> -- 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.

Re: [racket-users] [racket] error : Attempted to use a higher-order value passed as `Any` in untyped code:

2018-04-20 Thread Matthias Felleisen 

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 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 channel? That will 
>> allow Typed Racket to generate a contract that works for your values.
>> Sam
>> On Fri, Apr 20, 2018, 6:14 AM mailoo > > wrote:
>>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 :
>>```
>>#lang racket
>>; A higher-order value
>>(define add (lambda (x) (+ x 1)))
>>(add 1)
>>; Untyped is working well
>>(require racket/async-channel)
>>(define untype-p (make-async-channel 10))
>>(async-channel-put untype-p add)
>>(define new-add (async-channel-get untype-p))
>>(display "untype world : ")
>>(displayln (new-add 2))
>>; Untype <-> type world doesn't work
>>(module port typed/racket
>>(provide build-port (struct-out port))
>>(require typed/racket/async-channel)
>>(struct port ([channel : (Async-Channelof Any)]))
>>(: build-port (-> port))
>>(define (build-port)
>>(port (make-async-channel 10
>>(require 'port)
>>(define p (build-port))
>>(async-channel-put (port-channel p) add)
>>(define n-add (async-channel-get (port-channel p)))
>>; Fail : Attempted to use a higher-order value passed as `Any` in
>>untyped code: #
>>(n-add 3)
>>```
>>Do you have an idea how I can use my procedure?
>>I don't know if it's possible, or if it is a limitation of the
>>untyped <-> typed boundary?
>>Thank you in advance,
>>Denis Michiels
>>-- 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.

Re: [racket-users] [racket] error : Attempted to use a higher-order value passed as `Any` in untyped code:

2018-04-20 Thread mailoo 

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 channel? That 
will allow Typed Racket to generate a contract that works for your values.


Sam

On Fri, Apr 20, 2018, 6:14 AM mailoo > wrote:


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 :

```
#lang racket

; A higher-order value
(define add (lambda (x) (+ x 1)))
(add 1)

; Untyped is working well
(require racket/async-channel)
(define untype-p (make-async-channel 10))
(async-channel-put untype-p add)
(define new-add (async-channel-get untype-p))
(display "untype world : ")
(displayln (new-add 2))

; Untype <-> type world doesn't work
(module port typed/racket
(provide build-port (struct-out port))

(require typed/racket/async-channel)

(struct port ([channel : (Async-Channelof Any)]))

(: build-port (-> port))
(define (build-port)
(port (make-async-channel 10

(require 'port)
(define p (build-port))

(async-channel-put (port-channel p) add)
(define n-add (async-channel-get (port-channel p)))

; Fail : Attempted to use a higher-order value passed as `Any` in
untyped code: #
(n-add 3)
```

Do you have an idea how I can use my procedure?
I don't know if it's possible, or if it is a limitation of the
untyped <-> typed boundary?

Thank you in advance,

Denis Michiels


-- 
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.

Re: [racket-users] [racket] error : Attempted to use a higher-order value passed as `Any` in untyped code:

2018-04-20 Thread mailoo 

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 :

```
#lang racket

; A higher-order value
(define add (lambda (x) (+ x 1)))
(add 1)

; Untyped is working well
(require racket/async-channel)
(define untype-p (make-async-channel 10))
(async-channel-put untype-p add)
(define new-add (async-channel-get untype-p))
(display "untype world : ")
(displayln (new-add 2))

; Untype <-> type world doesn't work
(module port typed/racket
(provide build-port (struct-out port))

(require typed/racket/async-channel)

(struct port ([channel : (Async-Channelof Any)]))

(: build-port (-> port))
(define (build-port)
(port (make-async-channel 10

(require 'port)
(define p (build-port))

(async-channel-put (port-channel p) add)
(define n-add (async-channel-get (port-channel p)))

; Fail : Attempted to use a higher-order value passed as `Any` in untyped code: 
#
(n-add 3)
```

Do you have an idea how I can use my procedure?
I don't know if it's possible, or if it is a limitation of the untyped <-> 
typed boundary?

Thank you in advance,

Denis Michiels


--
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.