Re: [racket-users] racket users fight for their right to colon keywords

2015-10-14 Thread Pierpaolo Bernardi
On Wed, Oct 14, 2015 at 11:34 PM, Neil Van Dyke wrote: > Alex Knauth wrote on 10/14/2015 04:37 PM: >> >> You can use >> #lang colon-kw racket >> for :kw syntax, and >> #lang kw-colon racket >> for kw: syntax. > > > If the standard `#lang racket` and `#lang racket/base` don't support > `:keyword` o

Re: [racket-users] racket users fight for their right to colon keywords

2015-10-14 Thread Benjamin Greenman
On Wed, Oct 14, 2015 at 11:01 PM, Alexis King wrote: > I can’t wait until all of my programs look like this at the top: Haskellers are living the dream. For example: https://github.com/ekmett/lens/blob/master/src/Control/Lens/Tuple.hs -- You received this message because you are subscribed to

Re: [racket-users] racket users fight for their right to colon keywords

2015-10-14 Thread Alexis King
> It's not "forking the language", it's turning into an opt-in library. The > huge difference between the colon-kw language mixin and that paddle/base > language is that the form isn't a language. It can be provided to any > language. If your paddle/base language didn't provide colon keywords, y

Re: [racket-users] racket users fight for their right to colon keywords

2015-10-14 Thread Robby Findler
I love this message. Highlight of my day. :) On Wednesday, October 14, 2015, Neil Van Dyke wrote: > We are conducting a highly scientific poll. > > The question we want to answer is whether people would like for the Racket > standard languages to have symbols that begin with the colon character

Re: [racket-users] racket users fight for their right to colon keywords

2015-10-14 Thread Jack Firth
On Wednesday, October 14, 2015 at 3:45:46 PM UTC-7, Neil Van Dyke wrote: > Alex Knauth wrote on 10/14/2015 05:57 PM: > > > > > It's not worth changing the default for all of racket just to avoid > > putting #lang colon-kw racket at the top of a program. > > > > I currently have the opposite opin

Re: [racket-users] racket users fight for their right to colon keywords

2015-10-14 Thread Daniel Prager
Something for consideration in Racket 2? I've gotten used #:keywords, but initially felt that they were inelegant. Dan -- 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 em

Re: [racket-users] racket users fight for their right to colon keywords

2015-10-14 Thread Neil Van Dyke
Alex Knauth wrote on 10/14/2015 05:57 PM: On Oct 14, 2015, at 5:34 PM, Neil Van Dyke > wrote: I very much appreciate diligence about backward-compatibility, but I'm not actually aware of any Racket code that actually uses colon-symbol for any purpose other than a

Re: [racket-users] racket users fight for their right to colon keywords

2015-10-14 Thread Alex Knauth
> On Oct 14, 2015, at 5:34 PM, Neil Van Dyke wrote: > I very much appreciate diligence about backward-compatibility, but I'm not > actually aware of any Racket code that actually uses colon-symbol for any > purpose other than as a keyword. And the ones that use colon-symbol as > makeshift ke

Re: [racket-users] racket users fight for their right to colon keywords

2015-10-14 Thread Neil Van Dyke
Alex Knauth wrote on 10/14/2015 04:37 PM: You can use #lang colon-kw racket for :kw syntax, and #lang kw-colon racket for kw: syntax. If the standard `#lang racket` and `#lang racket/base` don't support `:keyword` out of the box -- but instead some alternative reader or forked #lang is requir

Re: [racket-users] racket users fight for their right to colon keywords

2015-10-14 Thread Alex Knauth
You can use #lang colon-kw racket for :kw syntax, and #lang kw-colon racket for kw: syntax. They are compose-able as well, so you can use #lang colon-kw kw-colon racket to let :kw and kw: both work in the same file. > On Oct 14, 2015, at 2:37 PM, Alex Knauth wrote: > > Racket has an option for

Re: [racket-users] Re: Redex: call for alpha-equivalence beta testers

2015-10-14 Thread Andrew Kent
- I'll send the model I'm toying with your way. - I was using free-identifiers/free-vars to define the wellformedness of environments and types. I've seen it used in other formalisms, but I'm not sure just how widely used it is relative to other potential features. On Wed, Oct 14, 2015 at 3:54 PM

Re: [racket-users] Re: Redex: call for alpha-equivalence beta testers

2015-10-14 Thread Paul Stansifer
Thanks! Regarding feature (1), that might be hard to implement because of the internal design of the freshener. But could you send me the Redex model in question so I can poke at it anyways? `free-identifiers` should be pretty easy to make. What does it tend to be useful for? Paul On Wed, Oct 1

Re: [racket-users] [Intro-projects] First intro project

2015-10-14 Thread Gianluca Ciccarelli
Hi Greg, Thank you for your warm welcome and for the kind remarks, I am flattered. I am happy to know there is a style guide, I had completely missed that. I will keep your comment about the file->lines in mind, it is very useful (I had looked for a core package library, but wasn't able to find a

Re: [racket-users] racket users fight for their right to colon keywords

2015-10-14 Thread Alex Knauth
Racket has an option for that. It's a meta-language that I made this morning. #lang colon-kw racket You can use it for one or two files without messing up everything else. > On Oct 14, 2015, at 2:19 PM, Martin DeMello wrote: > > Chicken scheme has an option for that: > http://wiki.call-cc.o

Re: [racket-users] racket users fight for their right to colon keywords

2015-10-14 Thread Martin DeMello
Chicken scheme has an option for that: http://wiki.call-cc.org/man/4/Non-standard%20read%20syntax#keyword I'm a fan; it makes the code pretty pleasant to read. martin On Wed, Oct 14, 2015 at 9:29 AM, Jukka Tuominen < jukka.tuomi...@finndesign.fi> wrote: > Yoda like that would, but to me it look

Re: [racket-users] help on coding finite state automata

2015-10-14 Thread Matthias Felleisen
This is perfectly clear and obvious in hindsight. Thanks -- Matthias On Oct 14, 2015, at 11:23 AM, chi wrote: > Thanks for answering me many times. I really appreciate. > For the question, if we dont accumulate and randomise that way, how can we > spawn new automata regarding their fitness?

Re: [racket-users] Re: Case for net/url.rkt to read HTTP proxy servers from environment

2015-10-14 Thread Tim Brown
I’m having a truly difficult time documenting this. I have cloned out my (not quite ready to release any more) tim-brown/racket repo. Checked out the proxy-servers-from-env branch; which has the changes in url.rkt: https://github.com/tim-brown/racket/blob/proxy-servers-from-env/racket/collects/ne

Re: [racket-users] racket users fight for their right to colon keywords

2015-10-14 Thread Neil Van Dyke
I find `keyword:` kinda pretty, too (I first used them in Smalltalk, though Smalltalk syntax takes it a huge step further). But, IIRC, it was Joe Marshall who pointed out (one of the past times keywords were discussed) that `:keyword`s are visually less ambiguous in Lisp syntax when use of a f

Re: [racket-users] racket users fight for their right to colon keywords

2015-10-14 Thread Jay McCarthy
I briefly considered including Objective-C/Smalltalk style keywords in the form too. I haven't extensively programmed with them, but I find them kind of beautiful. Jay On Wed, Oct 14, 2015 at 12:29 PM, Jukka Tuominen wrote: > Yoda like that would, but to me it looks backwards. How about...? > ke

Re: [racket-users] racket users fight for their right to colon keywords

2015-10-14 Thread Jukka Tuominen
Yoda like that would, but to me it looks backwards. How about...? key: value br, jukka UX Manager :) Sent from my iPhone > On 14.10.2015, at 18.50, Neil Van Dyke wrote: > > We are conducting a highly scientific poll. > > The question we want to answer is whether people would like for the Rack

[racket-users] racket users fight for their right to colon keywords

2015-10-14 Thread Neil Van Dyke
We are conducting a highly scientific poll. The question we want to answer is whether people would like for the Racket standard languages to have symbols that begin with the colon character (except for the symbol `:`) to read the same has keywords that begin with pound-colon. That is, when t

Re: [racket-users] help on coding finite state automata

2015-10-14 Thread chi
Thanks for answering me many times. I really appreciate. For the question, if we dont accumulate and randomise that way, how can we spawn new automata regarding their fitness? For example, population: a b c d payoff: 5 0 8 3 (sum = 16) relative payoff: 5/16 0/16 8/16 3/16 -> The replacement pr

Re: [racket-users] help on coding finite state automata

2015-10-14 Thread Matthias Felleisen
On Oct 13, 2015, at 11:52 PM, Nguyen Linh Chi wrote: > Isnt this the reason we should add 0 at the beginning of the list? > > On 13/ott/2015, at 22:38, Matthias Felleisen wrote: > >> >> Welcome to Racket v6.3.0.1. >>> (define r .8) >>> (for/last ([p '(a b c d)][f '(.2 .5 .7 1)] #:break (< r

[racket-users] Re: Redex: call for alpha-equivalence beta testers

2015-10-14 Thread Andrew Kent
On Wednesday, October 14, 2015 at 7:47:27 AM UTC-4, Andrew Kent wrote: > On Saturday, September 19, 2015 at 1:21:19 PM UTC-4, Robby Findler wrote: > > Paul Stansifer has been implementing the ideas from his dissertation > > work in Redex and is now ready to share them with the world. > > > > Thank

Re: [racket-users] Re: Case for net/url.rkt to read HTTP proxy servers from environment

2015-10-14 Thread Jay McCarthy
I agree. The Web server does this with parsing the query string and POST data. On Wed, Oct 14, 2015 at 9:41 AM, Sam Tobin-Hochstadt wrote: > I recommend using a promise to avoid referencing/parsing the > environment variables until the point where they're needed. That way > people who require `ne

[racket-users] Racket education & activities in greater Helsinki area?

2015-10-14 Thread jukka . tuominen
Hi all racketeers in Helsinki or nearby, I wonder if there are any Racket courses or other Racket-related activities available in Helsinki or the surrounding areas? I'm mainly interested in open university type-of CS lessons, or Internet of Things kind-of hobby activities, but anything really.

Re: [racket-users] Re: Case for net/url.rkt to read HTTP proxy servers from environment

2015-10-14 Thread Sam Tobin-Hochstadt
I recommend using a promise to avoid referencing/parsing the environment variables until the point where they're needed. That way people who require `net/url` just for URL parsing etc don't pay that cost. Sam On Wed, Oct 14, 2015 at 9:35 AM, Tim Brown wrote: > How concerned should I be about per

Re: [racket-users] Re: Case for net/url.rkt to read HTTP proxy servers from environment

2015-10-14 Thread Tim Brown
How concerned should I be about performing a long and documented list of parsing proxy variables when net/URL is required? Remember that, only last week, it was up to the user to set current-proxy-servers manually. Now I’m already string-splitting and URL parsing environment variables. I don’t wan

[racket-users] Re: Redex: call for alpha-equivalence beta testers

2015-10-14 Thread Andrew Kent
On Saturday, September 19, 2015 at 1:21:19 PM UTC-4, Robby Findler wrote: > Paul Stansifer has been implementing the ideas from his dissertation > work in Redex and is now ready to share them with the world. > > Thanks to Paul, Redex languages now understand binding structure, > meaning that if yo

Re: [racket-users] Re: Case for net/url.rkt to read HTTP proxy servers from environment

2015-10-14 Thread Jay McCarthy
I don't think there is anything wrong with having a long and documented list of what proxy variables and formats are used. The PLT_* ones would have priority, of course. Jay On Wed, Oct 14, 2015 at 4:32 AM, Tim Brown wrote: > I was (still am, in fact) in two minds about using a standard proxy or

Re: [racket-users] Re: Case for net/url.rkt to read HTTP proxy servers from environment

2015-10-14 Thread Tim Brown
I was (still am, in fact) in two minds about using a standard proxy or using an “application-specific” prefix. I’ve got to document and test the new code; while I’m doing that anyone who wants to offer an opinion is welcome to... I’ll take a poll, look at the results, then make up my mind. Tim On