Re: [racket-users] Re: send-new-place-channel-to-named-dest usage question

2015-08-08 Thread Matthew Flatt
I fixed the minor issue, but I haven't been able to figure out how `send-new-place-channel-to-named-dest` is meant to work, either. (I'll try again to contact Kevin.) At Thu, 6 Aug 2015 11:32:29 +0100, Tim Brown wrote: On 06/08/15 11:29, Tim Brown wrote: (define node (create-place-node

Re: [racket-users] is this a bug?

2015-08-08 Thread Michael Titke
On 07/08/2015 22:43, Alexander D. Knauth wrote: On Aug 7, 2015, at 12:27 PM, Michael Titke michael.tied...@o2online.de wrote: I always suspected this to be a logical joke of forcing people to write their own quantifiers and to not let them fall for predicate logic. The best thing about a

Re: [racket-users] Re: is this a bug?

2015-08-08 Thread Michael Titke
These procedure were necessary to represent questions like IS THERE ANY stack on the table onto which I could put this card?, Is the top card of ALL foundations a king?. If so then you have won! :-) I think they call these quantifiers and these tend to be used as descriptive ones,

Re: [racket-users] Re: is this a bug?

2015-08-08 Thread Neil Van Dyke
Michael Titke wrote on 08/08/2015 02:40 AM: Top-down A and Right-to-Left E, right? I'm not able to find the code points for these symbols right now ... https://en.wikipedia.org/wiki/List_of_logic_symbols BTW, if someone's looking for a fun little summer vacation #lang learning exercise, you

Re: [racket-users] Is there a custodian finalizer?

2015-08-08 Thread Matthew Flatt
I think that's the only safe way to make a thread keep running outside the custodian that will be killed. If starting a program under another custodian is too much of a hassle, you could access the root custodian via the FFI and create a thread owned by it. See the implementation of

Re: [racket-users] Literate programming and submodules

2015-08-08 Thread Matthew Flatt
The problem here is the same as in https://groups.google.com/d/msg/racket-users/H7vilh3KcD4/pGZif3F3dEkJ I still haven't thought about it enough to fine better solution than putting `require (only-in racket/base #%module-begin))` before the submodule declaration. At Thu, 30 Jul 2015 16:46:34

Re: [racket-users] Communicating between macros *without* mutation, problems with multiple modules?

2015-08-08 Thread Matthew Flatt
I can't think of an alternative to explicit state for this problem. Probably we agree that your attempt didn't really avoid mutation. It was using mutation that's already present and exposed --- which is often a good alternative to introducing more mutation, but maybe it doesn't help much here,

[racket-users] Search code

2015-08-08 Thread Paulo Matos
Hi, Where can I find the code for : http://docs.racket-lang.org/search/index.html I would like to repurpose the engine that does this kind of search and display it. Could you please point me to the sources for it? Thanks, -- Paulo Matos -- You received this message because you are

Re: [racket-users] Search code

2015-08-08 Thread Matthew Flatt
At Sat, 08 Aug 2015 16:19:23 +0100, Paulo Matos wrote: Where can I find the code for : http://docs.racket-lang.org/search/index.html It's in scribblings/main/private in the racket-index package: https://github.com/plt/racket/tree/master/pkgs/racket-index/scribblings/main/private -- You

Re: [racket-users] Search code

2015-08-08 Thread Eli Barzilay
On Sat, Aug 8, 2015 at 11:23 AM, Matthew Flatt mfl...@cs.utah.edu wrote: At Sat, 08 Aug 2015 16:19:23 +0100, Paulo Matos wrote: Where can I find the code for : http://docs.racket-lang.org/search/index.html It's in scribblings/main/private in the racket-index package: