| From: Matthew Flatt (mflatt at cs.utah.edu) Date: Fri Sep 30 09:31:47 EDT 2011 |
|
At Fri, 30 Sep 2011 09:21:42 -0400, Eli Barzilay wrote: > A few minutes ago, Kevin Tew wrote: > > place-channel-put is not blocking. > > So "channel" in the name is not a good choice... We use "channel" for asynchronous channels, too, such as `racket/asynch-channel'. Since all place channels are asynchronous, I think it would be redundant to include `async' in the name.
| Posted on the dev mailing list. |
|
![[logo]](/logo.png){kind=logo}