Re: [racket-users] Process for providing new functions for the standard library

[Matthew Flatt]

I think a pull request is the right idea.

When requests like that fall in my area of maintenance, sometimes I've
merged them, and sometimes I've suggested that a package would be
better. I thought the pull request was helpful either way.

Matthew

At Wed, 24 Feb 2016 19:37:13 -0800 (PST), Brian Adkins wrote:
> What is the process for providing additions to Racket's standard library? Do 
> people just submit pull requests, or is there a particular vetting process, 
> to 
> determine whether a function is generally useful enough to warrant inclusion 
> in the standard library, that should happen first to avoid cluttering the 
> pull 
> request queue?
> 
> As I get deeper into Racket, I expect I'll occasionally find a function I'm 
> used to having in the standard library of another language missing. I can 
> easily create my own packages for this sort of thing, but some of them may be 
> useful enough to add to Rackets standard library.
> 
> In the case of functions from another language's standard library, there is 
> at 
> least some filtering that has already happened, but I suppose the barrier to 
> inclusion into the standard library varies quite a bit among languages.
> 
> Thanks,
> Brian
> 
> -- 
> 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] scribble other-doc

[Matthew Flatt]

The easiest way to get the right module path to refer to a
documentation section is click the section title. For example, if you
click on

  XML: Parsing and Writing

then this text will appear below the title:

 Link to this document with
  @other-doc['(lib "xml/xml.scrbl")]


It looks like "doc.racket-lang.com" is a broken default inside Scribble
when you run just `raco scribble`. I'll fix that default. Fortunately,
though, when documentation is rendered as part of a collection, it uses
the right URL.


At Wed, 24 Feb 2016 22:40:31 -0500, Neil Van Dyke wrote:
>  From the Scribble documentation for a third-party package, how do I 
> link to:
> * a core Racket document; and
> * the documentation for a third-party package from the catalog?
> Ideally, in both cases it would go to locally-installed documentation, 
> if available, and fallback to "docs.racket-lang.org" if necessary.
> 
> For example... I want to link to the core Racket "xml" document, and am 
> having two problems:
> * `other-doc` generates URLs for "doc.racket-lang.com" rather than for 
> "doc.racket-lang.org"; and
> * none of the below gets the right URL, even if the ".com" is manually 
> edited to ".org".
> 
> @item{@other-doc['xml #:indirect "XML: Parsing and Writing"]}
> @item{@other-doc['racket-doc/xml #:indirect "XML: Parsing and Writing"]}
> @item{@other-doc['racket-doc/xml/xml #:indirect "XML: Parsing and Writing"]}
> @item{@other-doc['(lib "racket-doc/xml/xml.scrbl") #:indirect "XML: 
> Parsing and Writing"]}
> 
> Neil V.
> 
> -- 
> 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.

[racket-users] scribble other-doc

[Neil Van Dyke]

From the Scribble documentation for a third-party package, how do I 
link to:

* a core Racket document; and
* the documentation for a third-party package from the catalog?
Ideally, in both cases it would go to locally-installed documentation, 
if available, and fallback to "docs.racket-lang.org" if necessary.


For example... I want to link to the core Racket "xml" document, and am 
having two problems:
* `other-doc` generates URLs for "doc.racket-lang.com" rather than for 
"doc.racket-lang.org"; and
* none of the below gets the right URL, even if the ".com" is manually 
edited to ".org".


@item{@other-doc['xml #:indirect "XML: Parsing and Writing"]}
@item{@other-doc['racket-doc/xml #:indirect "XML: Parsing and Writing"]}
@item{@other-doc['racket-doc/xml/xml #:indirect "XML: Parsing and Writing"]}
@item{@other-doc['(lib "racket-doc/xml/xml.scrbl") #:indirect "XML: 
Parsing and Writing"]}


Neil V.

--
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] Process for providing new functions for the standard library

[Brian Adkins]

What is the process for providing additions to Racket's standard library? Do 
people just submit pull requests, or is there a particular vetting process, to 
determine whether a function is generally useful enough to warrant inclusion in 
the standard library, that should happen first to avoid cluttering the pull 
request queue?

As I get deeper into Racket, I expect I'll occasionally find a function I'm 
used to having in the standard library of another language missing. I can 
easily create my own packages for this sort of thing, but some of them may be 
useful enough to add to Rackets standard library.

In the case of functions from another language's standard library, there is at 
least some filtering that has already happened, but I suppose the barrier to 
inclusion into the standard library varies quite a bit among languages.

Thanks,
Brian

-- 
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] Correct/Recommended way to provide macros from typed/racket

[Rodrigo Setti]

Hello,

I'm building a library module using typed/racket, and wanted to provide macros 
associated with some of the typed functions to untyped modules.

Naturally macros from typed/racket cannot be used by untyped code, so I was 
experimenting with some organization options to isolate the macros in an 
untyped environment... I thought about using another module that requires the 
TR code and define the macros in untyped, or maybe a submodule in untyped 
defining the macros inside the typed code, or vice-versa.

Any suggestions on the best way to architect this?

Thanks
- Rodrigo

-- 
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] Programming language popularity (there's no accounting for taste!)

[Raoul Duke]

>> Maybe some Racketeers would scout Gambit, Chicken, Bigloo, Guile, etc.,
>> communities for any useful packages that Racket doesn't yet have, and

#lang Gambit

?
!

-- 
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] Strange Output from check-expect ???

[Jeffrey Edgington]

me too.

Thank you!

Jeff

> On Feb 24, 2016, at 2:30 PM, Jeffrey Edgington  wrote:
> 
> Version 6.3
> 
> 
>> On Feb 24, 2016, at 2:28 PM, Stephen Chang  wrote:
>> 
>> Thanks for the report. Which version are you using? I'm seeing that
>> the behavior appears in 6.3 but is fixed in 6.4.
>> 
>> On Wed, Feb 24, 2016 at 4:22 PM, Jeffrey Edgington  wrote:
>>> I am getting an unexpected message from check-expect when I try the 
>>> following:
>>> 
>>> #lang racket
>>> (require test-engine/racket-tests)
>>> 
>>> (struct element (x y) #:transparent)
>>> 
>>> (define (make-element-list n)
>>> (for*/list ([i n][j n]) (element (+ i 1) (+ j 1
>>> 
>>> (check-expect (make-element-list 1) 0)
>>> 
>>> (test)
>>> 
>>> 
>>> The result is:
>>> 
>>> Ran 1 check.
>>> 0 checks passed.
>>>   Actual value differs from the expected value.
>>>   Actual value: ))1 1 tnemele( tsil(
>>> Expected value: 0
>>> 
>>> 
>>> 
>>> but for example if I type the following into the interactions pane:
>>> 
 (make-element-list 1)
>>> (list (element 1 1))
>>> 
>>> Which is what I want… Why is the message from check-expect reversed?
>>> 
>>> Thanks!
>>> 
>>> Jeffrey Edgington
>>> 
>>> 
>>> --
>>> 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] Programming language popularity (there's no accounting for taste!)

[Stephen De Gabrielle]

No need to stop at packages - whole languages. (I fancy doing Self when I
am a better programmer)

On Wed, 24 Feb 2016 at 21:23, Neil Van Dyke  wrote:

> Brian Adkins wrote on 02/24/2016 02:49 PM:
> > it appears to me that Racket is the strongest of the Scheme-ey lisps, so
> that's where I'm investing my time.
>
> After maintaining my open source packages on ~10 different
> R4/5RS+SRFI-ish Scheme implementations, I came to a similar conclusion:
> now I just develop in straight Racket, taking advantage of all the
> Racket libraries and tools.
>
> I do keep a few other Schemes in mind as diversity backups, in case I
> ever need the special properties of one for a particular project. So, in
> that way, I'm glad when the other Schemes have active user communities,
> even though would be also nice to have those people more involved in
> Racket.  And some of them kindly maintain ports of some of my Racket
> packages.
>
> Maybe some Racketeers would scout Gambit, Chicken, Bigloo, Guile, etc.,
> communities for any useful packages that Racket doesn't yet have, and
> talk with the package authors about whether they'd be interested in
> somehow also having those packages in Racket.  That might give Racket
> the benefit of more packages and engagement, while also maintaining a
> healthy diversity -- not everything Scheme needs be governed by the
> shadowy but benevolent Racket cabal.
>
> Neil V.
>
> --
> 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.
>
-- 
Kind regards,
Stephen
--
Bigger than Scheme, cooler than Clojure & more fun than CL.(n=1)
--

-- 
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] Strange Output from check-expect ???

[Jeffrey Edgington]

Version 6.3


> On Feb 24, 2016, at 2:28 PM, Stephen Chang  wrote:
> 
> Thanks for the report. Which version are you using? I'm seeing that
> the behavior appears in 6.3 but is fixed in 6.4.
> 
> On Wed, Feb 24, 2016 at 4:22 PM, Jeffrey Edgington  wrote:
>> I am getting an unexpected message from check-expect when I try the 
>> following:
>> 
>> #lang racket
>> (require test-engine/racket-tests)
>> 
>> (struct element (x y) #:transparent)
>> 
>> (define (make-element-list n)
>>  (for*/list ([i n][j n]) (element (+ i 1) (+ j 1
>> 
>> (check-expect (make-element-list 1) 0)
>> 
>> (test)
>> 
>> 
>> The result is:
>> 
>> Ran 1 check.
>> 0 checks passed.
>>Actual value differs from the expected value.
>>Actual value: ))1 1 tnemele( tsil(
>>  Expected value: 0
>> 
>> 
>> 
>> but for example if I type the following into the interactions pane:
>> 
>>> (make-element-list 1)
>> (list (element 1 1))
>> 
>> Which is what I want… Why is the message from check-expect reversed?
>> 
>> Thanks!
>> 
>> Jeffrey Edgington
>> 
>> 
>> --
>> 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] Strange Output from check-expect ???

[Stephen Chang]

Thanks for the report. Which version are you using? I'm seeing that
the behavior appears in 6.3 but is fixed in 6.4.

On Wed, Feb 24, 2016 at 4:22 PM, Jeffrey Edgington  wrote:
> I am getting an unexpected message from check-expect when I try the following:
>
> #lang racket
> (require test-engine/racket-tests)
>
> (struct element (x y) #:transparent)
>
> (define (make-element-list n)
>   (for*/list ([i n][j n]) (element (+ i 1) (+ j 1
>
> (check-expect (make-element-list 1) 0)
>
> (test)
>
>
> The result is:
>
> Ran 1 check.
> 0 checks passed.
> Actual value differs from the expected value.
> Actual value: ))1 1 tnemele( tsil(
>   Expected value: 0
>
>
>
> but for example if I type the following into the interactions pane:
>
>> (make-element-list 1)
> (list (element 1 1))
>
> Which is what I want… Why is the message from check-expect reversed?
>
> Thanks!
>
> Jeffrey Edgington
>
>
> --
> 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] Programming language popularity (there's no accounting for taste!)

[Neil Van Dyke]

Brian Adkins wrote on 02/24/2016 02:49 PM:

it appears to me that Racket is the strongest of the Scheme-ey lisps, so that's 
where I'm investing my time.


After maintaining my open source packages on ~10 different 
R4/5RS+SRFI-ish Scheme implementations, I came to a similar conclusion: 
now I just develop in straight Racket, taking advantage of all the 
Racket libraries and tools.


I do keep a few other Schemes in mind as diversity backups, in case I 
ever need the special properties of one for a particular project. So, in 
that way, I'm glad when the other Schemes have active user communities, 
even though would be also nice to have those people more involved in 
Racket.  And some of them kindly maintain ports of some of my Racket 
packages.


Maybe some Racketeers would scout Gambit, Chicken, Bigloo, Guile, etc., 
communities for any useful packages that Racket doesn't yet have, and 
talk with the package authors about whether they'd be interested in 
somehow also having those packages in Racket.  That might give Racket 
the benefit of more packages and engagement, while also maintaining a 
healthy diversity -- not everything Scheme needs be governed by the 
shadowy but benevolent Racket cabal.


Neil V.

--
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] Strange Output from check-expect ???

[Jeffrey Edgington]

I am getting an unexpected message from check-expect when I try the following:

#lang racket
(require test-engine/racket-tests)

(struct element (x y) #:transparent)

(define (make-element-list n)
  (for*/list ([i n][j n]) (element (+ i 1) (+ j 1

(check-expect (make-element-list 1) 0)

(test)


The result is:

Ran 1 check.
0 checks passed.
Actual value differs from the expected value.
Actual value: ))1 1 tnemele( tsil(
  Expected value: 0



but for example if I type the following into the interactions pane:

> (make-element-list 1)
(list (element 1 1))

Which is what I want… Why is the message from check-expect reversed?

Thanks!

Jeffrey Edgington


-- 
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] Programming language popularity (there's no accounting for taste!)

[Robby Findler]

It's always tricky when the bags of juices and meat get involved. :)

I'm definitely planning to never stop throwing my weight into Racket.

Robby


On Wed, Feb 24, 2016 at 1:49 PM, Brian Adkins  wrote:
> On Wednesday, February 24, 2016 at 2:40:23 PM UTC-5, Robby Findler wrote:
>> Scheme is great. Racket isn't Scheme, although it draws a ton of
>> inspiration from the language and it's design. Viva Scheme! Viva
>> Racket!
>>
>> Robby
>
> I agree, but I have mixed emotions. The lisp community is better than most at 
> dividing and conquering itself. From an academic perspective, I can see how 
> there may be advantages to a proliferation of implementations experimenting 
> with varieties of solutions, but from an industry perspective, there appears 
> to be a lot of waste and reinvention of wheels.
>
> I do love the Scheme heritage in Racket, and I hope that the essence of 
> Scheme remains, but I would selfishly prefer that more developers would rally 
> behind Racket and focus on expanding the package ecosystem :)
>
> I'm still a relative newbie, but it appears to me that Racket is the 
> strongest of the Scheme-ey lisps, so that's where I'm investing my time.
>
> --
> 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] Programming language popularity (there's no accounting for taste!)

[Brian Adkins]

On Wednesday, February 24, 2016 at 2:40:23 PM UTC-5, Robby Findler wrote:
> Scheme is great. Racket isn't Scheme, although it draws a ton of
> inspiration from the language and it's design. Viva Scheme! Viva
> Racket!
> 
> Robby

I agree, but I have mixed emotions. The lisp community is better than most at 
dividing and conquering itself. From an academic perspective, I can see how 
there may be advantages to a proliferation of implementations experimenting 
with varieties of solutions, but from an industry perspective, there appears to 
be a lot of waste and reinvention of wheels.

I do love the Scheme heritage in Racket, and I hope that the essence of Scheme 
remains, but I would selfishly prefer that more developers would rally behind 
Racket and focus on expanding the package ecosystem :)

I'm still a relative newbie, but it appears to me that Racket is the strongest 
of the Scheme-ey lisps, so that's where I'm investing my time.

-- 
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] Question about (map car <>) in typed/racket

[Rodrigo Setti]

I see! thank you so much Vincent.

- Rodrigo


> On Feb 24, 2016, at 11:38 AM, Vincent St-Amour 
>  wrote:
> 
> Rodrigo,
> 
> As you say, the types do indeed all match up. The issue is that TR's
> inference is not powerful enough to figure it out on its own.
> 
> The particular limitation here is applications of polymorphic functions
> (`map`) to polymorphic arguments (`car`).
> 
> If you annotate (or instantiate) either `map` or `car`, then things
> should work.
> 
>(map (inst car Integer Integer) '((1 . 2) (3 . 4)))
> 
> Vincent
> 
> 
> 
> On Wed, 24 Feb 2016 12:20:35 -0600,
> Rodrigo Setti wrote:
>> 
>> Hello,
>> 
>> My apologizes if this questions have already been answer in this list, I may 
>> have missed.
>> 
>> I'm trying to make this expression work in typed/racket:
>> 
>>(map car '((1 . 2) (3 . 4)))
>> 
>> But if fails with the following type error:
>> 
>> ; Type Checker: Polymorphic function `map' could not be
>> ;   applied to arguments:
>> ; Domains: (-> a b ... b c) (Listof a) (Listof b) ... b
>> ;  (-> a c) (Pairof a (Listof a))
>> ; Arguments: (All (a b) (case-> (-> (Pairof a b) a) (-> (Listof a) a))) (List
>> ;   (Pairof One Positive-Byte) (Pairof Positive-Byte Positive-Byte))
>> ;   in: (map car (quote ((1 . 2) (3 . 4
>> 
>> I tried annotating the type of the second argument to "map" like:
>> 
>>   (: L (Listof (Pairof Any Any)))
>>   (define L '((1 . 2) (3 . 4)))
>> 
>> Which type checks successfully, but then again I get the same error when 
>> evaluating:
>> 
>>(map car L)
>> 
>> It seems to me that the type of "map":
>> 
>> map
>> - : (All (c a b ...)
>>  (case->
>>   (-> (-> a c) (Pairof a (Listof a)) (Pairof c (Listof c)))
>>   (-> (-> a b ... b c) (Listof a) (Listof b) ... b (Listof c
>> 
>> and the type of "car":
>> 
>> car
>> - : (All (a b) (case-> (-> (Pairof a b) a) (-> (Listof a) a)))
>> 
>> Are compatible with the type of "L" - but I'm failing to understand the 
>> meaning of the type check error message.
>> 
>> The empty list is the only expression that I was able to make it work in 
>> "(map car <>)".
>> 
>>(map car '())
>>- : (Listof Any)
>>'()
>> 
>> Appreciate your help!
>> Best Regards
>> - Rodrigo
>> 
>> -- 
>> 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] Programming language popularity (there's no accounting for taste!)

[Robby Findler]

Scheme is great. Racket isn't Scheme, although it draws a ton of
inspiration from the language and it's design. Viva Scheme! Viva
Racket!

Robby


On Wed, Feb 24, 2016 at 1:04 PM, Martin DeMello  wrote:
> I don't know about scheme being racket; both chicken and gambit seem to have
> reasonably active communities.
>
> I was also surprised at the 16k hits for pony, which has essentially no
> ecosystem yet. but actually doing the google search it seems like there's
> tons of noise in there.
>
> martin
>
> On Wed, Feb 24, 2016 at 9:24 AM, Vincent St-Amour
>  wrote:
>>
>> If we add up the "Racket" and "Scheme" numbers (the latter being, I
>> suspect, mostly Racket), the total is pretty close to Ruby. I find that
>> amusing. :)
>>
>> Actually, I'm curious what the numbers look like if you count "PLT
>> Scheme" towards Racket.
>>
>> Vincent
>>
>>
>>
>> On Wed, 24 Feb 2016 11:06:51 -0600,
>> Brian Adkins wrote:
>> >
>> > I began compiling very crude statistics on programming language
>> > popularity back in 2009, and just kept doing it periodically. Initially I
>> > did it manually, but I finally got smart and wrote the following Racket
>> > program to scrape the results automatically:
>> >
>> > https://gist.github.com/lojic/83fff86aeea6af1c31ac
>> >
>> > The numbers should clearly be taken lightly, but there is *some*
>> > information to be had. Here is the latest post:
>> >
>> >
>> > http://blog.lojic.com/2016/02/24/programming-language-popularity-part-ten/
>> >
>> > I am fortunate in being able to choose whatever tool I feel is best, so
>> > popularity isn't that important to me. Having a critical mass of libraries
>> > is, but that's another matter.
>> >
>> > After a decade of C/C++, followed by a decade of Java, I came across
>> > Ruby, and it has been my primary development language for the last decade.
>> > Ruby was such an improvement over Java that it finally dawned on me to make
>> > a purposeful search to see if I might get an improvement over Ruby that it
>> > was over Java.
>> >
>> > Thus began a nine year search through Common Lisp, Haskell, Clojure,
>> > Standard ML, OCaml, Julia, Pony (barely), etc., and Racket has emerged as
>> > the clear winner for me personally. I'm already as productive in Racket as 
>> > I
>> > am in Ruby for a number of things, but I do have a fair amount of work to 
>> > do
>> > before I'm as productive in web development as I am with Rails. I'm hoping
>> > that 2016 will be the year of preparation to allow a complete switch.
>> >
>> > Brian
>> >
>> > --
>> > 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.

-- 
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] Question about (map car <>) in typed/racket

[Vincent St-Amour]

Rodrigo,

As you say, the types do indeed all match up. The issue is that TR's
inference is not powerful enough to figure it out on its own.

The particular limitation here is applications of polymorphic functions
(`map`) to polymorphic arguments (`car`).

If you annotate (or instantiate) either `map` or `car`, then things
should work.

(map (inst car Integer Integer) '((1 . 2) (3 . 4)))

Vincent



On Wed, 24 Feb 2016 12:20:35 -0600,
Rodrigo Setti wrote:
> 
> Hello,
> 
> My apologizes if this questions have already been answer in this list, I may 
> have missed.
> 
> I'm trying to make this expression work in typed/racket:
> 
> (map car '((1 . 2) (3 . 4)))
> 
> But if fails with the following type error:
> 
> ; Type Checker: Polymorphic function `map' could not be
> ;   applied to arguments:
> ; Domains: (-> a b ... b c) (Listof a) (Listof b) ... b
> ;  (-> a c) (Pairof a (Listof a))
> ; Arguments: (All (a b) (case-> (-> (Pairof a b) a) (-> (Listof a) a))) (List
> ;   (Pairof One Positive-Byte) (Pairof Positive-Byte Positive-Byte))
> ;   in: (map car (quote ((1 . 2) (3 . 4
> 
> I tried annotating the type of the second argument to "map" like:
> 
>(: L (Listof (Pairof Any Any)))
>(define L '((1 . 2) (3 . 4)))
> 
> Which type checks successfully, but then again I get the same error when 
> evaluating:
> 
> (map car L)
> 
> It seems to me that the type of "map":
> 
> map
> - : (All (c a b ...)
>   (case->
>(-> (-> a c) (Pairof a (Listof a)) (Pairof c (Listof c)))
>(-> (-> a b ... b c) (Listof a) (Listof b) ... b (Listof c
> 
> and the type of "car":
> 
> car
> - : (All (a b) (case-> (-> (Pairof a b) a) (-> (Listof a) a)))
> 
> Are compatible with the type of "L" - but I'm failing to understand the 
> meaning of the type check error message.
> 
> The empty list is the only expression that I was able to make it work in 
> "(map car <>)".
> 
> (map car '())
> - : (Listof Any)
> '()
> 
> Appreciate your help!
> Best Regards
> - Rodrigo
> 
> -- 
> 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 machine image

[Robby Findler]

http://everythingisaremix.info/watch-the-series/

Their title kind of casts a light on the way we judge research, eh?

Robby

On Wed, Feb 24, 2016 at 1:15 PM, Matthias Felleisen
 wrote:
>
> Yeap.
>
> And fwiw, I am perfectly aware that Edison did not invent the light bulb or, 
> more generally, that re-invention (separated by decades and longer) is a 
> cross-disciplinary phenomenon.
>
>
> On Feb 24, 2016, at 2:10 PM, Neil Van Dyke  wrote:
>
>> The possibility of reinvention and parallel invention... is of course still 
>> better than the opposite extreme. :)
>>
>> Neil V.
>>
>
> --
> 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 machine image

[Matthias Felleisen]

Yeap. 

And fwiw, I am perfectly aware that Edison did not invent the light bulb or, 
more generally, that re-invention (separated by decades and longer) is a 
cross-disciplinary phenomenon. 


On Feb 24, 2016, at 2:10 PM, Neil Van Dyke  wrote:

> The possibility of reinvention and parallel invention... is of course still 
> better than the opposite extreme. :)
> 
> Neil V.
> 

-- 
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 machine image

[Neil Van Dyke]

The possibility of reinvention and parallel invention... is of course 
still better than the opposite extreme. :)


Neil V.

--
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] Programming language popularity (there's no accounting for taste!)

[Martin DeMello]

I don't know about scheme being racket; both chicken and gambit seem to
have reasonably active communities.

I was also surprised at the 16k hits for pony, which has essentially no
ecosystem yet. but actually doing the google search it seems like there's
tons of noise in there.

martin

On Wed, Feb 24, 2016 at 9:24 AM, Vincent St-Amour <
stamo...@eecs.northwestern.edu> wrote:

> If we add up the "Racket" and "Scheme" numbers (the latter being, I
> suspect, mostly Racket), the total is pretty close to Ruby. I find that
> amusing. :)
>
> Actually, I'm curious what the numbers look like if you count "PLT
> Scheme" towards Racket.
>
> Vincent
>
>
>
> On Wed, 24 Feb 2016 11:06:51 -0600,
> Brian Adkins wrote:
> >
> > I began compiling very crude statistics on programming language
> popularity back in 2009, and just kept doing it periodically. Initially I
> did it manually, but I finally got smart and wrote the following Racket
> program to scrape the results automatically:
> >
> > https://gist.github.com/lojic/83fff86aeea6af1c31ac
> >
> > The numbers should clearly be taken lightly, but there is *some*
> information to be had. Here is the latest post:
> >
> >
> http://blog.lojic.com/2016/02/24/programming-language-popularity-part-ten/
> >
> > I am fortunate in being able to choose whatever tool I feel is best, so
> popularity isn't that important to me. Having a critical mass of libraries
> is, but that's another matter.
> >
> > After a decade of C/C++, followed by a decade of Java, I came across
> Ruby, and it has been my primary development language for the last decade.
> Ruby was such an improvement over Java that it finally dawned on me to make
> a purposeful search to see if I might get an improvement over Ruby that it
> was over Java.
> >
> > Thus began a nine year search through Common Lisp, Haskell, Clojure,
> Standard ML, OCaml, Julia, Pony (barely), etc., and Racket has emerged as
> the clear winner for me personally. I'm already as productive in Racket as
> I am in Ruby for a number of things, but I do have a fair amount of work to
> do before I'm as productive in web development as I am with Rails. I'm
> hoping that 2016 will be the year of preparation to allow a complete switch.
> >
> > Brian
> >
> > --
> > 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 machine image

[Matthias Felleisen]

I exaggerated a little bit as far as the Halting Problem is concerned. 


On Feb 24, 2016, at 12:33 PM, Stephen De Gabrielle  
wrote:

> Thank you,
> I thought you might be exaggerating until I saw the Fox Project web page
> http://www.cs.cmu.edu/~fox/
> 
> Sadly I can't find fluxkit. It sometimes seems like history is written by 
> Google and Wikipedia. Doing a literature review is expensive and time 
> consuming.
> 
> > Computer science is the discipline of reinvention. Until everyone who knows 
> > how 
> >to write 10 lines of code has invented a programming language and solved the 
> >Halting Problem, nothing will be settled :-)
> 
> I don't blame them, this computing stuff is like magic and it's hard not to 
> get excited.
> 
> Kind regards
> Stephen
> 
> On Wed, 24 Feb 2016 at 15:44, Matthias Felleisen  wrote:
> 
> 
> In the late 90s, all of us had a FluxKit image on our laptops that would boot 
> PLT Scheme on the raw machine. Matthew, with help from the Flux people, put 
> it together in a relatively short time. I am sure more could have done with 
> that, but we went in different directions.
> 
> At Strange Loop I saw a talk from the first group. It was mostly about the 
> networking part of the OS, the TCP stack. Strangely enough, the presenter did 
> not know anything about the Fox project at CMU, which had done all of this in 
> the mid 90s, following the X project from UofA.
> 
> Computer science is the discipline of reinvention. Until everyone who knows 
> how to write 10 lines of code has invented a programming language and solved 
> the Halting Problem, nothing will be settled :-)
> 
> 
> 
> 
> 
> 
> On Feb 24, 2016, at 8:51 AM, Stephen De Gabrielle  
> wrote:
> 
> > Hi,
> > Has anyone ever done a racket machine image like:
> > • Mirage https://mirage.io
> > • LING/Erlang on Xen http://erlangonxen.org
> > • Rumprum https://github.com/rumpkernel/rumprun
> >
> > I heard a podcast and recently saw an old  presentation [1] that was 
> > interesting. I'm interested, but never had the motivation to do something 
> > like LinuxFromScratch.
> >
> > Stephen
> >
> >
> > [1]https://www.slideshare.net/mobile/AnilMadhavapeddy/mirage-ml-kernels-in-the-cloud-ml-workshop-2010
> >
> >
> > --
> > 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 machine image

[Jay McCarthy]

It's not called fluxkit. It's OSkit but the Flux research group:

https://www.cs.utah.edu/flux/oskit/

It should still be in the configure script for Racket.

Jay

On Wed, Feb 24, 2016 at 12:33 PM, Stephen De Gabrielle
 wrote:
> Thank you,
> I thought you might be exaggerating until I saw the Fox Project web page
> http://www.cs.cmu.edu/~fox/
>
> Sadly I can't find fluxkit. It sometimes seems like history is written by
> Google and Wikipedia. Doing a literature review is expensive and time
> consuming.
>
>> Computer science is the discipline of reinvention. Until everyone who
>> knows how
>>to write 10 lines of code has invented a programming language and solved
>> the
>>Halting Problem, nothing will be settled :-)
>
> I don't blame them, this computing stuff is like magic and it's hard not to
> get excited.
>
> Kind regards
> Stephen
>
>
> On Wed, 24 Feb 2016 at 15:44, Matthias Felleisen 
> wrote:
>>
>>
>>
>> In the late 90s, all of us had a FluxKit image on our laptops that would
>> boot PLT Scheme on the raw machine. Matthew, with help from the Flux people,
>> put it together in a relatively short time. I am sure more could have done
>> with that, but we went in different directions.
>>
>> At Strange Loop I saw a talk from the first group. It was mostly about the
>> networking part of the OS, the TCP stack. Strangely enough, the presenter
>> did not know anything about the Fox project at CMU, which had done all of
>> this in the mid 90s, following the X project from UofA.
>>
>> Computer science is the discipline of reinvention. Until everyone who
>> knows how to write 10 lines of code has invented a programming language and
>> solved the Halting Problem, nothing will be settled :-)
>>
>>
>>
>>
>>
>>
>> On Feb 24, 2016, at 8:51 AM, Stephen De Gabrielle
>>  wrote:
>>
>> > Hi,
>> > Has anyone ever done a racket machine image like:
>> > • Mirage https://mirage.io
>> > • LING/Erlang on Xen http://erlangonxen.org
>> > • Rumprum https://github.com/rumpkernel/rumprun
>> >
>> > I heard a podcast and recently saw an old  presentation [1] that was
>> > interesting. I'm interested, but never had the motivation to do something
>> > like LinuxFromScratch.
>> >
>> > Stephen
>> >
>> >
>> >
>> > [1]https://www.slideshare.net/mobile/AnilMadhavapeddy/mirage-ml-kernels-in-the-cloud-ml-workshop-2010
>> >
>> >
>> > --
>> > 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.



-- 
Jay McCarthy
Associate Professor
PLT @ CS @ UMass Lowell
http://jeapostrophe.github.io

   "Wherefore, be not weary in well-doing,
  for ye are laying the foundation of a great work.
And out of small things proceedeth that which is great."
  - D 64:33

-- 
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] Question about (map car <>) in typed/racket

[Rodrigo Setti]

Hello,

My apologizes if this questions have already been answer in this list, I may 
have missed.

I'm trying to make this expression work in typed/racket:

(map car '((1 . 2) (3 . 4)))

But if fails with the following type error:

; Type Checker: Polymorphic function `map' could not be
;   applied to arguments:
; Domains: (-> a b ... b c) (Listof a) (Listof b) ... b
;  (-> a c) (Pairof a (Listof a))
; Arguments: (All (a b) (case-> (-> (Pairof a b) a) (-> (Listof a) a))) (List
;   (Pairof One Positive-Byte) (Pairof Positive-Byte Positive-Byte))
;   in: (map car (quote ((1 . 2) (3 . 4

I tried annotating the type of the second argument to "map" like:

   (: L (Listof (Pairof Any Any)))
   (define L '((1 . 2) (3 . 4)))

Which type checks successfully, but then again I get the same error when 
evaluating:

(map car L)

It seems to me that the type of "map":

map
- : (All (c a b ...)
  (case->
   (-> (-> a c) (Pairof a (Listof a)) (Pairof c (Listof c)))
   (-> (-> a b ... b c) (Listof a) (Listof b) ... b (Listof c

and the type of "car":

car
- : (All (a b) (case-> (-> (Pairof a b) a) (-> (Listof a) a)))

Are compatible with the type of "L" - but I'm failing to understand the meaning 
of the type check error message.

The empty list is the only expression that I was able to make it work in "(map 
car <>)".

(map car '())
- : (Listof Any)
'()

Appreciate your help!
Best Regards
- Rodrigo

-- 
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] Programming language popularity (there's no accounting for taste!)

[Vincent St-Amour]

Cool!

Now we just need to find a way to detect when people say Scheme but
really mean Racket. ;)

Vincent



On Wed, 24 Feb 2016 11:33:46 -0600,
Brian Adkins wrote:
> 
> On Wednesday, February 24, 2016 at 12:24:59 PM UTC-5, Vincent St-Amour wrote:
> > If we add up the "Racket" and "Scheme" numbers (the latter being, I
> > suspect, mostly Racket), the total is pretty close to Ruby. I find that
> > amusing. :)
> > 
> > Actually, I'm curious what the numbers look like if you count "PLT
> > Scheme" towards Racket.
> > 
> > Vincent
> 
> In previous blog posts, I included aggregate lines for things like "lisp 
> family", "ml family", etc. but skipped it this time out of laziness.
> 
> I just ran the Racket program with "PLT Scheme" and got the following:
> 
> $ racket pl_popularity.rkt
> Path=/search?q=%22written%20in%20PLT%20Scheme%22 Num=4370
> Path=/search?q=%22programmed%20in%20PLT%20Scheme%22 Num=2
> Path=/search?q=%22developed%20in%20PLT%20Scheme%22 Num=518
> Path=/search?q=%22implemented%20in%20PLT%20Scheme%22 Num=2120
> (PLT Scheme 7010)
> 
> For comparison, here's the Racket data:
> 
> Path=/search?q=%22written%20in%20racket%22 Num=6210
> Path=/search?q=%22programmed%20in%20racket%22 Num=1520
> Path=/search?q=%22developed%20in%20racket%22 Num=5090
> Path=/search?q=%22implemented%20in%20racket%22 Num=3330
> (racket 16150)
> 
> By the way, if anyone runs the program - it's purposefully slow to avoid 
> getting banned by Google, so the random wait per query is rather long. I 
> thought it was broken because it took so long to get the first results, and 
> I'm the author, so I thought I'd pass on that info :)
> 
> Brian

-- 
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] A Racket-based startup

[Byron Davies]

Our Racket-based startup, StarShine Planet, is developing software to help 
young kids learn reading, math, and systems thinking, while growing into whole, 
happy, successful human beings.  We’re developing apps targeted for Android, 
which means we're also committed to porting Racket to Android. Our early 
success with Racket has confirmed our approach — early on in the project, both 
our reading mentors said that we had already made progress that they had of 
dreamed of for 10 years or more.

We have a team of computer scientists, system scientists, educators, and domain 
experts, who have done the preliminary systems analysis and have contributed to 
our initial prototype. We need Racket programming help to carry us to the next 
level.

Although equity is a possibility, we have another success-based incentive to 
offer.  We are competing for both the Global Learning XPRIZE 
http://learning.xprize.org  and the Adult Literacy 
XPRIZE http://adultliteracy.xprize.org .  The 
Global Learning XPRIZE offers five finalists $1M each and a grand prize of $15M 
($10M from XPRIZE + $5M from another donor if the winning team is woman-led, 
like ours is).  The Adult Literacy XPRIZE offers a $3M grand prize, and a 
couple of $M in other incentives.

XPRIZE judging is based on reading, writing, and arithmetic.  We include 
systems thinking because  it supports everything and, in particular, offers the 
best path to success in writing.  We include life skills because that's who we 
are.  In each domain we have done extensive research to identify what we call 
"black swan" learning methods -- little-known methods that are so powerful and 
productive that they're hard to believe until you see them work.  Instead of 
automating current "best practices", we are developing support for 
better-than-best practices.

We have an exciting prototype in reading, under continuous refinement in our 
own K-12 school and ready to be reimplemented. (Since we can’t yet use Android 
tablets, we’re using a Smartboard in the classroom as a giant tablet.)  We have 
solid ideas in the other domains and have identified domain expert mentors who 
can guide us to a solution.  Although we have no up-front cash to offer, we 
will set aside a significant part of the XPRIZE reward we collect, for software 
contributors (at least one-third of the prize for becoming a finalist, and at 
least 10% of the grand prize), with the distribution dependent on level of 
contribution to the success of the project (as determined by the fairest, most 
ethical, and most transparent method we can devise -- with your help).

Let me know if you might want to get involved.

Byron
—
Byron Davies, Ph.D.
byrondav...@starshine.us    480.276.4285
Chief Learner and Director of K-12 Innovation
StarShine Academy International Schools
http://StarShinePlanet.com  and 
http://StarShineAcademy.org 

-- 
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] Programming language popularity (there's no accounting for taste!)

[Brian Adkins]

On Wednesday, February 24, 2016 at 12:24:59 PM UTC-5, Vincent St-Amour wrote:
> If we add up the "Racket" and "Scheme" numbers (the latter being, I
> suspect, mostly Racket), the total is pretty close to Ruby. I find that
> amusing. :)
> 
> Actually, I'm curious what the numbers look like if you count "PLT
> Scheme" towards Racket.
> 
> Vincent

In previous blog posts, I included aggregate lines for things like "lisp 
family", "ml family", etc. but skipped it this time out of laziness.

I just ran the Racket program with "PLT Scheme" and got the following:

$ racket pl_popularity.rkt
Path=/search?q=%22written%20in%20PLT%20Scheme%22 Num=4370
Path=/search?q=%22programmed%20in%20PLT%20Scheme%22 Num=2
Path=/search?q=%22developed%20in%20PLT%20Scheme%22 Num=518
Path=/search?q=%22implemented%20in%20PLT%20Scheme%22 Num=2120
(PLT Scheme 7010)

For comparison, here's the Racket data:

Path=/search?q=%22written%20in%20racket%22 Num=6210
Path=/search?q=%22programmed%20in%20racket%22 Num=1520
Path=/search?q=%22developed%20in%20racket%22 Num=5090
Path=/search?q=%22implemented%20in%20racket%22 Num=3330
(racket 16150)

By the way, if anyone runs the program - it's purposefully slow to avoid 
getting banned by Google, so the random wait per query is rather long. I 
thought it was broken because it took so long to get the first results, and I'm 
the author, so I thought I'd pass on that info :)

Brian

-- 
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 machine image

[Stephen De Gabrielle]

Thank you,
I thought you might be exaggerating until I saw the Fox Project web page
http://www.cs.cmu.edu/~fox/

Sadly I can't find fluxkit. It sometimes seems like history is written by
Google and Wikipedia. Doing a literature review is expensive and time
consuming.

> Computer science is the discipline of reinvention. Until everyone who
knows how
>to write 10 lines of code has invented a programming language and solved
the
>Halting Problem, nothing will be settled :-)

I don't blame them, this computing stuff is like magic and it's hard not to
get excited.

Kind regards
Stephen

On Wed, 24 Feb 2016 at 15:44, Matthias Felleisen 
wrote:

>
>
> In the late 90s, all of us had a FluxKit image on our laptops that would
> boot PLT Scheme on the raw machine. Matthew, with help from the Flux
> people, put it together in a relatively short time. I am sure more could
> have done with that, but we went in different directions.
>
> At Strange Loop I saw a talk from the first group. It was mostly about the
> networking part of the OS, the TCP stack. Strangely enough, the presenter
> did not know anything about the Fox project at CMU, which had done all of
> this in the mid 90s, following the X project from UofA.
>
> Computer science is the discipline of reinvention. Until everyone who
> knows how to write 10 lines of code has invented a programming language and
> solved the Halting Problem, nothing will be settled :-)
>
>
>
>
>
>
> On Feb 24, 2016, at 8:51 AM, Stephen De Gabrielle 
> wrote:
>
> > Hi,
> > Has anyone ever done a racket machine image like:
> > • Mirage https://mirage.io
> > • LING/Erlang on Xen http://erlangonxen.org
> > • Rumprum https://github.com/rumpkernel/rumprun
> >
> > I heard a podcast and recently saw an old  presentation [1] that was
> interesting. I'm interested, but never had the motivation to do something
> like LinuxFromScratch.
> >
> > Stephen
> >
> >
> > [1]
> https://www.slideshare.net/mobile/AnilMadhavapeddy/mirage-ml-kernels-in-the-cloud-ml-workshop-2010
> >
> >
> > --
> > 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] Programming language popularity (there's no accounting for taste!)

[Vincent St-Amour]

If we add up the "Racket" and "Scheme" numbers (the latter being, I
suspect, mostly Racket), the total is pretty close to Ruby. I find that
amusing. :)

Actually, I'm curious what the numbers look like if you count "PLT
Scheme" towards Racket.

Vincent



On Wed, 24 Feb 2016 11:06:51 -0600,
Brian Adkins wrote:
> 
> I began compiling very crude statistics on programming language popularity 
> back in 2009, and just kept doing it periodically. Initially I did it 
> manually, but I finally got smart and wrote the following Racket program to 
> scrape the results automatically:
> 
> https://gist.github.com/lojic/83fff86aeea6af1c31ac
> 
> The numbers should clearly be taken lightly, but there is *some* information 
> to be had. Here is the latest post:
> 
> http://blog.lojic.com/2016/02/24/programming-language-popularity-part-ten/
> 
> I am fortunate in being able to choose whatever tool I feel is best, so 
> popularity isn't that important to me. Having a critical mass of libraries 
> is, but that's another matter.
> 
> After a decade of C/C++, followed by a decade of Java, I came across Ruby, 
> and it has been my primary development language for the last decade. Ruby was 
> such an improvement over Java that it finally dawned on me to make a 
> purposeful search to see if I might get an improvement over Ruby that it was 
> over Java.
> 
> Thus began a nine year search through Common Lisp, Haskell, Clojure, Standard 
> ML, OCaml, Julia, Pony (barely), etc., and Racket has emerged as the clear 
> winner for me personally. I'm already as productive in Racket as I am in Ruby 
> for a number of things, but I do have a fair amount of work to do before I'm 
> as productive in web development as I am with Rails. I'm hoping that 2016 
> will be the year of preparation to allow a complete switch.
> 
> Brian
> 
> -- 
> 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.

[racket-users] Programming language popularity (there's no accounting for taste!)

[Brian Adkins]

I began compiling very crude statistics on programming language popularity back 
in 2009, and just kept doing it periodically. Initially I did it manually, but 
I finally got smart and wrote the following Racket program to scrape the 
results automatically:

https://gist.github.com/lojic/83fff86aeea6af1c31ac

The numbers should clearly be taken lightly, but there is *some* information to 
be had. Here is the latest post:

http://blog.lojic.com/2016/02/24/programming-language-popularity-part-ten/

I am fortunate in being able to choose whatever tool I feel is best, so 
popularity isn't that important to me. Having a critical mass of libraries is, 
but that's another matter.

After a decade of C/C++, followed by a decade of Java, I came across Ruby, and 
it has been my primary development language for the last decade. Ruby was such 
an improvement over Java that it finally dawned on me to make a purposeful 
search to see if I might get an improvement over Ruby that it was over Java.

Thus began a nine year search through Common Lisp, Haskell, Clojure, Standard 
ML, OCaml, Julia, Pony (barely), etc., and Racket has emerged as the clear 
winner for me personally. I'm already as productive in Racket as I am in Ruby 
for a number of things, but I do have a fair amount of work to do before I'm as 
productive in web development as I am with Rails. I'm hoping that 2016 will be 
the year of preparation to allow a complete switch.

Brian

-- 
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 machine image

[Matthias Felleisen]

In the late 90s, all of us had a FluxKit image on our laptops that would boot 
PLT Scheme on the raw machine. Matthew, with help from the Flux people, put it 
together in a relatively short time. I am sure more could have done with that, 
but we went in different directions. 

At Strange Loop I saw a talk from the first group. It was mostly about the 
networking part of the OS, the TCP stack. Strangely enough, the presenter did 
not know anything about the Fox project at CMU, which had done all of this in 
the mid 90s, following the X project from UofA. 

Computer science is the discipline of reinvention. Until everyone who knows how 
to write 10 lines of code has invented a programming language and solved the 
Halting Problem, nothing will be settled :-) 






On Feb 24, 2016, at 8:51 AM, Stephen De Gabrielle  
wrote:

> Hi,
> Has anyone ever done a racket machine image like:
> • Mirage https://mirage.io
> • LING/Erlang on Xen http://erlangonxen.org
> • Rumprum https://github.com/rumpkernel/rumprun
> 
> I heard a podcast and recently saw an old  presentation [1] that was 
> interesting. I'm interested, but never had the motivation to do something 
> like LinuxFromScratch.
> 
> Stephen 
> 
> 
> [1]https://www.slideshare.net/mobile/AnilMadhavapeddy/mirage-ml-kernels-in-the-cloud-ml-workshop-2010
> 
> 
> -- 
> 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] Detect version of OS X

[Norman Gray]

Jens Axel, hello.

On 24 Feb 2016, at 14:04, Jens Axel Søgaard wrote:


What happens if  /Library/Tex/texbin is present - but not in the path?


A good point.

Using Matthew's reminder of the existence of find-executable-path (which 
I've used before, but was too focused on "system" here), how about:


#lang racket/base

(require racket/string)

(let ([p (string-join `("/Library/TeX/texbin"
"/usr/texbin"
;; ...plus anywhere else I can think of...
,(getenv "PATH"))
  ":")])
  (parameterize ([current-environment-variables
  (make-environment-variables #"PATH" 
(string->bytes/utf-8 p))])

(let-values ([(base name must-be-dir?)
  (split-path
   (find-executable-path "tex"))])
  (printf "binaries in ~a~%" base

That encodes some platform-specific knowledge in the list of possible 
binary locations, but it can be extended to 'everywhere I've ever heard 
of a LaTeX binary ending up, on any platform, plus some extra 
heuristics', and still be fairly robust.


All the best,

Norman


--
Norman Gray  :  https://nxg.me.uk
SUPA School of Physics and Astronomy, University of Glasgow, UK

--
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] Detect version of OS X

[Jens Axel Søgaard]

What happens if  /Library/Tex/texbin is present - but not in the path?

/Jens Axel


2016-02-24 14:34 GMT+01:00 Stephen De Gabrielle :

> Thank you - very good advice - I'll have to change my pull request.
> S.
>
> On Wed, 24 Feb 2016 at 10:57, Norman Gray  wrote:
>
>>
>> Greetings
>>
>> On 23 Feb 2016, at 20:46, Jens Axel Søgaard wrote:
>>
>> > Use case: The paths to LaTeX has changed on El Capitan,
>> > which makes it difficult to choose a default path, that works
>> > for all.
>>
>> Addressing that particular use-case (following the motto that one should
>> test the functionality rather than switch on the version), and if a
>> system call is OK, then adapting Stephen De Gabrielle's example you
>> could try
>>
>> #lang racket/base
>> (require racket/system racket/port)
>>
>> (let-values (((base name must-be-dir?)
>>(split-path
>> (string->path
>>  (with-output-to-string (λ ()
>>   (system "which tex")))
>>(printf "binaries in ~a~%" base))
>>
>> or call out to "tlmgr conf" or one of its subcommands (if your
>> installation is based on TeXLive).  This would obviously work on other
>> unixes, and there might be a path-searching equivalent on Windows, too.
>>
>> All the best,
>>
>> Norman
>>
>>
>> --
>> Norman Gray  :  https://nxg.me.uk
>> SUPA School of Physics and Astronomy, University of Glasgow, UK
>>
>> --
>> 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.
>>
>


-- 
-- 
Jens Axel Søgaard

-- 
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] Detect version of OS X

[Matthew Flatt]

I recommend `find-executable-path` instead of `system` plus "which".

At Wed, 24 Feb 2016 13:34:19 +, Stephen De Gabrielle wrote:
> Thank you - very good advice - I'll have to change my pull request.
> S.
> On Wed, 24 Feb 2016 at 10:57, Norman Gray  wrote:
> 
> >
> > Greetings
> >
> > On 23 Feb 2016, at 20:46, Jens Axel Søgaard wrote:
> >
> > > Use case: The paths to LaTeX has changed on El Capitan,
> > > which makes it difficult to choose a default path, that works
> > > for all.
> >
> > Addressing that particular use-case (following the motto that one should
> > test the functionality rather than switch on the version), and if a
> > system call is OK, then adapting Stephen De Gabrielle's example you
> > could try
> >
> > #lang racket/base
> > (require racket/system racket/port)
> >
> > (let-values (((base name must-be-dir?)
> >(split-path
> > (string->path
> >  (with-output-to-string (λ ()
> >   (system "which tex")))
> >(printf "binaries in ~a~%" base))
> >
> > or call out to "tlmgr conf" or one of its subcommands (if your
> > installation is based on TeXLive).  This would obviously work on other
> > unixes, and there might be a path-searching equivalent on Windows, too.
> >
> > All the best,
> >
> > Norman
> >
> >
> > --
> > Norman Gray  :  https://nxg.me.uk
> > SUPA School of Physics and Astronomy, University of Glasgow, UK
> >
> > --
> > 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.

[racket-users] Racket machine image

[Stephen De Gabrielle]

Hi,
Has anyone ever done a racket machine image like:
• Mirage https://mirage.io
• LING/Erlang on Xen http://erlangonxen.org
• Rumprum https://github.com/rumpkernel/rumprun

I heard a podcast and recently saw an old presentation [1] that was
interesting. I'm interested, but never had the motivation to do something
like LinuxFromScratch.

Stephen


[1]
https://www.slideshare.net/mobile/AnilMadhavapeddy/mirage-ml-kernels-in-the-cloud-ml-workshop-2010

-- 
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] Which html-parsing package?

[Neil Van Dyke]

BTW, the `html-parsing` package in the new package system is now my 
official one.


(i'm in the middle of moving ~25 packages from PLaneT, and am tracking 
the status at "http://www.neilvandyke.org/racket/;.)


Neil V.

--
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] Detect version of OS X

[Stephen De Gabrielle]

Thank you - very good advice - I'll have to change my pull request.
S.
On Wed, 24 Feb 2016 at 10:57, Norman Gray  wrote:

>
> Greetings
>
> On 23 Feb 2016, at 20:46, Jens Axel Søgaard wrote:
>
> > Use case: The paths to LaTeX has changed on El Capitan,
> > which makes it difficult to choose a default path, that works
> > for all.
>
> Addressing that particular use-case (following the motto that one should
> test the functionality rather than switch on the version), and if a
> system call is OK, then adapting Stephen De Gabrielle's example you
> could try
>
> #lang racket/base
> (require racket/system racket/port)
>
> (let-values (((base name must-be-dir?)
>(split-path
> (string->path
>  (with-output-to-string (λ ()
>   (system "which tex")))
>(printf "binaries in ~a~%" base))
>
> or call out to "tlmgr conf" or one of its subcommands (if your
> installation is based on TeXLive).  This would obviously work on other
> unixes, and there might be a path-searching equivalent on Windows, too.
>
> All the best,
>
> Norman
>
>
> --
> Norman Gray  :  https://nxg.me.uk
> SUPA School of Physics and Astronomy, University of Glasgow, UK
>
> --
> 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] Which html-parsing package?

[Brian Adkins]

On Friday, February 19, 2016 at 11:46:17 AM UTC-5, Neil Van Dyke wrote:
> BTW, I now intend to move my packages to the new package system shortly, 
> and I'll then stop supporting the PLaneT ones.
> 
> (There's some urgency to moving now, so I'm going to punt on workarounds 
> for the version-related differences in the new package system, and cut 
> some corners on automation like I had for PLaneT, for now.  I might have 
> to leave in the `mcfly-runtime` package dependency for now, if I don't 
> have time to move to my forthcoming `threedoc` format and tool.)
> 
> Neil V.

Thanks!

-- 
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] Detect version of OS X

[Norman Gray]

Greetings

On 23 Feb 2016, at 20:46, Jens Axel Søgaard wrote:


Use case: The paths to LaTeX has changed on El Capitan,
which makes it difficult to choose a default path, that works
for all.


Addressing that particular use-case (following the motto that one should 
test the functionality rather than switch on the version), and if a 
system call is OK, then adapting Stephen De Gabrielle's example you 
could try


#lang racket/base
(require racket/system racket/port)

(let-values (((base name must-be-dir?)
  (split-path
   (string->path
(with-output-to-string (λ ()
 (system "which tex")))
  (printf "binaries in ~a~%" base))

or call out to "tlmgr conf" or one of its subcommands (if your 
installation is based on TeXLive).  This would obviously work on other 
unixes, and there might be a path-searching equivalent on Windows, too.


All the best,

Norman


--
Norman Gray  :  https://nxg.me.uk
SUPA School of Physics and Astronomy, University of Glasgow, UK

--
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] Docker images updated

[Jack Firth]

Hey all, I've made some pretty significant changes to the racket Docker images:

1) 6.4 and 6.3 support (took long enough...)
2) Onbuild images for running and testing apps for every 6.x version, 
additionally the onbuild images were changed to run "racket main.rkt" as their 
command after doing a setup to create bytecode, rather than making an executable
3) Racket minimal used by default for all images
4) Fixed an issue where "raco setup" was never run as part of building the 
images, so installing a package would take forever (had to setup the package 
and everything else)
5) Significant image size improvements - previous images were about ~180MB 
compressed on DockerHub, now all images are under 40MB compressed (uncompressed 
their virtual size is about 80-100MB). They're still Debian Jesse operating 
systems.

I attempted to get Racket running on alpine linux, but hit significant 
difficulties (alpine uses musl rather than glibc). If anyone has experience 
with the Racket source, alpine linux, and/or musl and would like to take a 
crack at that, the repo is https://github.com/jackfirth/racket-docker and you 
can see my paltry attempts thus far in the 6.2-min folder.

The images are available as "jackfirth/racket:VERSION", e.g. 
jackfirth/racket:6.2 or jackfirth/racket:5.3.4. The onbuild images have an 
`-onbuild` suffix, and the onbuild test images (automatically raco tests your 
app) have an `-onbuild-test` suffix, e.g. racket:6.3-onbuild or 
racket:6.4-onbuild-test.

Enjoy!

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