Re: [racket-users] raco pkg install -> connection refused

2016-02-17 Thread Brian Adkins 
On Wednesday, February 17, 2016 at 1:53:56 PM UTC-5, Matthew Flatt wrote:
> At Wed, 17 Feb 2016 10:45:26 -0800 (PST), Brian Adkins wrote:
> > On Wednesday, February 17, 2016 at 10:28:48 AM UTC-5, Ben Greenman wrote:
> > > You should be able to install html-parsing now.
> > 
> > I'm no longer getting connection refused, but now I'm getting a 403.
> 
> This should be fixed now.

Works great - thanks to all who helped restore the server(s).

-- 
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] raco pkg install -> connection refused

2016-02-17 Thread Matthew Flatt 
At Wed, 17 Feb 2016 10:45:26 -0800 (PST), Brian Adkins wrote:
> On Wednesday, February 17, 2016 at 10:28:48 AM UTC-5, Ben Greenman wrote:
> > You should be able to install html-parsing now.
> 
> I'm no longer getting connection refused, but now I'm getting a 403.

This should be fixed now.

-- 
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] raco pkg install -> connection refused

2016-02-17 Thread Brian Adkins 
On Wednesday, February 17, 2016 at 10:28:48 AM UTC-5, Ben Greenman wrote:
> You should be able to install html-parsing now.

I'm no longer getting connection refused, but now I'm getting a 403.

$ raco pkg install html-parsing
Resolving "html-parsing" via 
https://download.racket-lang.org/releases/6.4/catalog/
package-catalog-lookup: error from server
  URL: 
https://download.racket-lang.org/releases/6.4/catalog/pkg/html-parsing?version=6.4
  status code: 403
  context...:
   /Applications/Racket v6.4/collects/pkg/private/network.rkt:59:3
   /Applications/Racket v6.4/collects/pkg/private/catalog.rkt:218:0: 
read-from-server
   /Applications/Racket v6.4/collects/pkg/private/catalog.rkt:138:9: for-loop
   /Applications/Racket v6.4/collects/pkg/private/catalog.rkt:135:2: 
lookup-normally
   /Applications/Racket 
v6.4/collects/pkg/private/../../racket/private/more-scheme.rkt:261:28
   /Applications/Racket v6.4/collects/pkg/private/prefetch.rkt:128:2
   /Applications/Racket v6.4/collects/pkg/private/catalog.rkt:132:0: 
package-catalog-lookup9
   /Applications/Racket v6.4/collects/pkg/private/catalog.rkt:200:0: 
package-catalog-lookup-source19
   /Applications/Racket v6.4/collects/pkg/private/clone-path.rkt:370:0: 
desc->repo8
   /Applications/Racket v6.4/collects/pkg/private/clone-path.rkt:64:2: 
add-repo-desc35
   /Applications/Racket v6.4/collects/pkg/private/clone-path.rkt:45:0: 
adjust-to-normalize-repos
   /Applications/Racket v6.4/collects/pkg/private/install.rkt:889:3
   /Applications/Racket 
v6.4/collects/racket/contract/private/arrow-val-first.rkt:335:3
   /Applications/Racket v6.4/collects/racket/file.rkt:378:8
   /Applications/Racket v6.4/collects/racket/file.rkt:367:0: 
call-with-file-lock42
   /Applications/Racket v6.4/collects/pkg/main.rkt:201:16
   ...

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

2016-02-17 Thread Neil Van Dyke 
Sounds like the mysterious "we" are forking development, so could you 
please mention at the top of the documentation that it's a fork of my 
package, not maintained by me, and cite my original one?


The ways I manage my open source contributions are often very 
intentional, and unfortunately this fork/copy has been creating more 
work for me, and is getting in the way of my plans.


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] recursive definition of a PROPOSITION

2016-02-17 Thread Aysenur Türk 
(define( app L1 L2)
  (if(empty? L1) L2
 (cons (car L1) (app(cdr L1)L2

(app ((list "↔" "→" "∧" "⊕" "∨" "¬")) (list "P" "Q" "R" "S" "U" "X" "Y" "Z"))

(define L (list "↔" "→" "∧" "⊕" "∨" "¬"))
(define ( f L n)
  (if (= n 0) "p"
  (string-append "p" (car L) (f(cdr L) (- n 1)

(f L 3)

You have the following recursive definition of a PROPOSITION:

T, F are propositions ( truth value of propositional variables) List item 
Propositional letters P, Q , R, S,U,X, Y, Z   are propositions. If A is a 
proposition the ¬A is a proposition. If A and B are propositions then A⊕B , A→B 
, A∧B, A∨B , A↔B are propositions. Write a DrRacket procedure that will 
randomly generate a proposition with a given number of operations .

2 formulas calculated by your program (the formulas must contain 3 different 
variables and 6 operatıons .

Hi everyon I'm new here.Can anyone help me for this problem ? I tried the solve 
it but it's probably wrong I didn't understand clearly because I'm a new in 
racket programming language.Thanks in advance for your answers !!

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

2016-02-17 Thread Jay McCarthy 
I recommend using the one on the package server
(pkgs.racket-lang.org). It integrates more smoothly with the rest of
Racket libraries. While it is out of date, there are not significant
changes in the 3.0 version: "Numeric character entities now parse to
Racket strings instead of Racket characters, to bring SXML/xexp back
closer to SXML." I heavily use this package and have not hit sites
that it can't parse well. If necessary for you, we can update the
package, but it'll be slightly different than the 3.0 Planet version
because we'd rather not have version incompatibilities for this
change.

Jay

On Wed, Feb 17, 2016 at 10:04 AM, Brian Adkins  wrote:
> I'm looking for an html parser that can handle real world web pages that are 
> typically invalid (similar to Ruby's Nokogiri). I came across recommendations 
> for the html-parsing package, so I went to:
>
> https://pkgs.racket-lang.org/
>
> I couldn't find it via the parsing or parser tags, but using my browser's 
> find, found html-parsing. The description states: "A fork of the Planet 1 
> html-parsing library". On the documentation page, I see a history with the 
> last entry being 0.3 2011-08-27 and the following require:
>
> (require sxml/html)
>
> Clicking on the following link at the top of the doc page:
>
> http://www.neilvandyke.org/racket-html-parsing/
>
> takes me to Neil's page with a more recent history: PLaneT 3:0 — 2015-04-24 
> and the following require:
>
> (require (planet neil/html-parsing:3:0))
>
> Which package do I want?
>
> 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.



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

Re: [racket-users] Which html-parsing package?

2016-02-17 Thread Neil Van Dyke 

Brian Adkins wrote on 02/17/2016 10:35 AM:


1) May I suggest we remove the out of date html-parsing package from the main 
package catalog? Had I not had the hiccup with the catalog server, I likely 
would've installed the out of date package and not realize what I'd done.


I understand, but now that the package is in the catalog, it can't 
really be removed without breaking expectations of users.


I think someone is going to figure out how to update it soon. They'll 
have to decide how to deal with the non-backward-compatible version 
issue, since I don't think the new package system has yet had to deal 
with that for third-party packages.



2) I'm not familiar with planet. What is the equivalent of "raco pkg install 
html-parsing" in the planet world?


With PLaneT, version selection and installation happens automatically -- 
you only need that `require` line.



  Also, what is the equivalent of (require (prefix-in h: html-parsing)) for the 
planet required (i.e. prefixing).


I believe `prefix-in` works, around the `(planet ...)` syntax that 
specifies which package.


Note that we're supposed to be moving away from PLaneT, so when we 
continue to use it, we are like cool renegades, and should probably be 
wearing leather jackets and riding motorcycles.


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

2016-02-17 Thread Ryan Culpepper 

On 02/17/2016 10:39 AM, Brian Adkins wrote:

On Wednesday, February 17, 2016 at 10:35:44 AM UTC-5, Brian Adkins wrote:

On Wednesday, February 17, 2016 at 10:20:21 AM UTC-5, Neil Van Dyke wrote:

Brian Adkins wrote on 02/17/2016 10:04 AM:

http://www.neilvandyke.org/racket-html-parsing/

takes me to Neil's page with a more recent history: PLaneT 3:0 — 2015-04-24 and 
the following require:

(require (planet neil/html-parsing:3:0))

Which package do I want?


You might prefer that one, from PLaneT, since that's the one I support.

(I think what happened with the other one is that someone was
experimenting with the new package system catalog early on, and used my
`html-parsing` package as an exercise.  Eventually I'll move my packages
to the new system, but there are complications I need to find time to
deal with.)

Neil V.


1) May I suggest we remove the out of date html-parsing package from the main 
package catalog? Had I not had the hiccup with the catalog server, I likely 
would've installed the out of date package and not realize what I'd done.

I expect most newbies assume that https://pkgs.racket-lang.org/ is where you go 
for packages, so if they find html-parsing there they probably think they've 
found the correct one.

2) I'm not familiar with planet. What is the equivalent of "raco pkg install 
html-parsing" in the planet world? Also, what is the equivalent of (require 
(prefix-in h: html-parsing)) for the planet required (i.e. prefixing).

Thanks!
Brian


Also, is there a website where I can browse planet packages and get more info? 
I tried:

https://planet.racket-lang.org/

but got a 503 Service Unavailable message. Since Ben mentioned in another 
thread that the package catalog was back online, I figured the above 503 is 
unrelated to the earlier problem.


planet.racket-lang.org is now back up too.

Ryan

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

2016-02-17 Thread Brian Adkins 
On Wednesday, February 17, 2016 at 10:35:44 AM UTC-5, Brian Adkins wrote:
> On Wednesday, February 17, 2016 at 10:20:21 AM UTC-5, Neil Van Dyke wrote:
> > Brian Adkins wrote on 02/17/2016 10:04 AM:
> > > http://www.neilvandyke.org/racket-html-parsing/
> > >
> > > takes me to Neil's page with a more recent history: PLaneT 3:0 — 
> > > 2015-04-24 and the following require:
> > >
> > > (require (planet neil/html-parsing:3:0))
> > >
> > > Which package do I want?
> > 
> > You might prefer that one, from PLaneT, since that's the one I support.
> > 
> > (I think what happened with the other one is that someone was 
> > experimenting with the new package system catalog early on, and used my 
> > `html-parsing` package as an exercise.  Eventually I'll move my packages 
> > to the new system, but there are complications I need to find time to 
> > deal with.)
> > 
> > Neil V.
> 
> 1) May I suggest we remove the out of date html-parsing package from the main 
> package catalog? Had I not had the hiccup with the catalog server, I likely 
> would've installed the out of date package and not realize what I'd done.
> 
> I expect most newbies assume that https://pkgs.racket-lang.org/ is where you 
> go for packages, so if they find html-parsing there they probably think 
> they've found the correct one.
> 
> 2) I'm not familiar with planet. What is the equivalent of "raco pkg install 
> html-parsing" in the planet world? Also, what is the equivalent of (require 
> (prefix-in h: html-parsing)) for the planet required (i.e. prefixing).
> 
> Thanks!
> Brian

Also, is there a website where I can browse planet packages and get more info? 
I tried:

https://planet.racket-lang.org/

but got a 503 Service Unavailable message. Since Ben mentioned in another 
thread that the package catalog was back online, I figured the above 503 is 
unrelated to the earlier problem.

-- 
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] Hashtable type inference

2016-02-17 Thread Bert De Ketelaere 
Weird,
I thought I tried that,

Anyway, now it works: Thank you


Van: sam...@gmail.com  namens Sam Tobin-Hochstadt 

Verzonden: woensdag 17 februari 2016 16:29
Aan: Bert De Ketelaere
CC: us...@racket-lang.org
Onderwerp: Re: [racket-users] Hashtable type inference

The problem is unfortunately with Typed Racket heuristics that work
very badly here. The fix is to add some annotations around the calls
to `make-immutable-hash`, as in the version below.

Sam

#lang typed/racket/base

(struct H ([I : (HashTable Integer Number)]))
(define J (cast 1 Nonnegative-Integer))
(define K (H (make-immutable-hash (list (cons J J)

(struct-copy H K [I (ann (make-immutable-hash (list (cons J J)))
(HashTable Integer Number))])
;make-immutable-hash is type (HashTable Integer Integer) which is not
compatible with (HashTable Integer Number)

(struct U ([V : (HashTable Nonnegative-Integer Integer)]))
(define W (cast 1 Nonnegative-Integer))
(define Y (cast 2 Integer))
(define X (U (make-immutable-hash (list (cons W Y)

(struct-copy U X [V (ann (make-immutable-hash (list (cons W Y)))
(HashTable Nonnegative-Integer Integer))])



On Wed, Feb 17, 2016 at 10:19 AM, Bert De Ketelaere  wrote:
> Hello,
>
>
> I had some trouble finding my bugs in the following similar programs:
>
>
> #lang typed/racket/base
>
> (struct H ([I : (HashTable Integer Number)]))
> (define J (cast 1 Nonnegative-Integer))
> (define K (H (make-immutable-hash (list (cons J J)
>
> (struct-copy H K [I (make-immutable-hash (list (cons J J)))])
>
> ;make-immutable-hash is type (HashTable Integer Integer) which is not
> compatible with (HashTable Integer Number)
>
>
> (struct U ([V : (HashTable Nonnegative-Integer Integer)]))
> (define W (cast 1 Nonnegative-Integer))
> (define Y (cast 2 Integer))
> (define X (U (make-immutable-hash (list (cons W Y)
>
> (struct-copy U X [V (make-immutable-hash (list (cons W Y)))])
>
> ;make-immutable-hash is of type (HashTable Integer Integer) while (list
> (cons W Y)) is of the right type: (Listof (Pairof Nonnegative-Integer
> Integer))
>
>
> In my program the problem was because of unions (I tried updating with a
> hash with only 1 of the union types)
>
>
> Kind regards,
>
> Bert
>
> --
> 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?

2016-02-17 Thread Brian Adkins 
On Wednesday, February 17, 2016 at 10:20:21 AM UTC-5, Neil Van Dyke wrote:
> Brian Adkins wrote on 02/17/2016 10:04 AM:
> > http://www.neilvandyke.org/racket-html-parsing/
> >
> > takes me to Neil's page with a more recent history: PLaneT 3:0 — 2015-04-24 
> > and the following require:
> >
> > (require (planet neil/html-parsing:3:0))
> >
> > Which package do I want?
> 
> You might prefer that one, from PLaneT, since that's the one I support.
> 
> (I think what happened with the other one is that someone was 
> experimenting with the new package system catalog early on, and used my 
> `html-parsing` package as an exercise.  Eventually I'll move my packages 
> to the new system, but there are complications I need to find time to 
> deal with.)
> 
> Neil V.

1) May I suggest we remove the out of date html-parsing package from the main 
package catalog? Had I not had the hiccup with the catalog server, I likely 
would've installed the out of date package and not realize what I'd done.

I expect most newbies assume that https://pkgs.racket-lang.org/ is where you go 
for packages, so if they find html-parsing there they probably think they've 
found the correct one.

2) I'm not familiar with planet. What is the equivalent of "raco pkg install 
html-parsing" in the planet world? Also, what is the equivalent of (require 
(prefix-in h: html-parsing)) for the planet required (i.e. prefixing).

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.

Re: [racket-users] Hashtable type inference

2016-02-17 Thread Sam Tobin-Hochstadt 
The problem is unfortunately with Typed Racket heuristics that work
very badly here. The fix is to add some annotations around the calls
to `make-immutable-hash`, as in the version below.

Sam

#lang typed/racket/base

(struct H ([I : (HashTable Integer Number)]))
(define J (cast 1 Nonnegative-Integer))
(define K (H (make-immutable-hash (list (cons J J)

(struct-copy H K [I (ann (make-immutable-hash (list (cons J J)))
(HashTable Integer Number))])
;make-immutable-hash is type (HashTable Integer Integer) which is not
compatible with (HashTable Integer Number)

(struct U ([V : (HashTable Nonnegative-Integer Integer)]))
(define W (cast 1 Nonnegative-Integer))
(define Y (cast 2 Integer))
(define X (U (make-immutable-hash (list (cons W Y)

(struct-copy U X [V (ann (make-immutable-hash (list (cons W Y)))
(HashTable Nonnegative-Integer Integer))])



On Wed, Feb 17, 2016 at 10:19 AM, Bert De Ketelaere  wrote:
> Hello,
>
>
> I had some trouble finding my bugs in the following similar programs:
>
>
> #lang typed/racket/base
>
> (struct H ([I : (HashTable Integer Number)]))
> (define J (cast 1 Nonnegative-Integer))
> (define K (H (make-immutable-hash (list (cons J J)
>
> (struct-copy H K [I (make-immutable-hash (list (cons J J)))])
>
> ;make-immutable-hash is type (HashTable Integer Integer) which is not
> compatible with (HashTable Integer Number)
>
>
> (struct U ([V : (HashTable Nonnegative-Integer Integer)]))
> (define W (cast 1 Nonnegative-Integer))
> (define Y (cast 2 Integer))
> (define X (U (make-immutable-hash (list (cons W Y)
>
> (struct-copy U X [V (make-immutable-hash (list (cons W Y)))])
>
> ;make-immutable-hash is of type (HashTable Integer Integer) while (list
> (cons W Y)) is of the right type: (Listof (Pairof Nonnegative-Integer
> Integer))
>
>
> In my program the problem was because of unions (I tried updating with a
> hash with only 1 of the union types)
>
>
> Kind regards,
>
> Bert
>
> --
> 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] raco pkg install -> connection refused

2016-02-17 Thread Benjamin Greenman 
You should be able to install html-parsing now.

On Wed, Feb 17, 2016 at 9:32 AM, Matthew Flatt  wrote:

> A second problem is is that the package catalog is not supposed to
> depend on that machine's uptime. That's a configuration mistake that we
> will fix, too. Unfortunately, I haven't yet found a way to fix it
> before the machine is back up.
>
> At Wed, 17 Feb 2016 14:21:02 +, Sam Tobin-Hochstadt wrote:
> > Yes, one of our machines failed to come back properly after a reboot to
> > address the glibc security issue. We're working on fixing it.
> >
> > Sam
> >
> > On Wed, Feb 17, 2016 at 9:02 AM Brian Adkins 
> wrote:
> >
> > > I'm trying to install the html-parsing package, and I'm getting a
> > > connection refused error. Is this just a transient issue?
> > >
> > > $ raco pkg install html-parsing
> > > Resolving "html-parsing" via
> > > https://download.racket-lang.org/releases/6.4/catalog/
> > > tcp-connect
> > > :
> > > connection failed
> > >   address: mirror.racket-lang.org
> > >   port number: 80
> > >   step: 6
> > >   system error: Connection refused; errno=61
> > >   context...:
> > >/Applications/Racket v6.4/collects/net/http-client.rkt:235:0
> > >/Applications/Racket
> > > v6.4/collects/racket/contract/private/arrow-val-first.rkt:335:3
> > >/Applications/Racket v6.4/collects/net/url.rkt:144:0:
> > > http://getpost-impure-port
> > >/Applications/Racket v6.4/collects/net/url.rkt:251:2:
> redirection-loop
> > >/Applications/Racket
> > > v6.4/collects/racket/contract/private/arrow-val-first.rkt:335:3
> > >/Applications/Racket v6.4/collects/pkg/private/network.rkt:59:3
> > >/Applications/Racket v6.4/collects/pkg/private/catalog.rkt:218:0:
> > > read-from-server
> > >/Applications/Racket v6.4/collects/pkg/private/catalog.rkt:138:9:
> > > for-loop
> > >/Applications/Racket v6.4/collects/pkg/private/catalog.rkt:135:2:
> > > lookup-normally
> > >/Applications/Racket
> > > v6.4/collects/pkg/private/../../racket/private/more-scheme.rkt:261:28
> > >/Applications/Racket v6.4/collects/pkg/private/prefetch.rkt:128:2
> > >/Applications/Racket v6.4/collects/pkg/private/catalog.rkt:132:0:
> > > package-catalog-lookup9
> > >/Applications/Racket v6.4/collects/pkg/private/catalog.rkt:200:0:
> > > package-catalog-lookup-source19
> > >/Applications/Racket v6.4/collects/pkg/private/clone-path.rkt:370:0:
> > > desc->repo8
> > >/Applications/Racket v6.4/collects/pkg/private/clone-path.rkt:64:2:
> > > add-repo-desc35
> > >/Applications/Racket v6.4/collects/pkg/private/clone-path.rkt:45:0:
> > > adjust-to-normalize-repos
> > >
> > > When I try to open http://mirror.racket-lang.org/releases/6.4/catalog/
> > > directly, I get connection refused.
> > >
> > > 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.
>
> --
> 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?

2016-02-17 Thread Neil Van Dyke 

Brian Adkins wrote on 02/17/2016 10:04 AM:

http://www.neilvandyke.org/racket-html-parsing/

takes me to Neil's page with a more recent history: PLaneT 3:0 — 2015-04-24 and 
the following require:

(require (planet neil/html-parsing:3:0))

Which package do I want?


You might prefer that one, from PLaneT, since that's the one I support.

(I think what happened with the other one is that someone was 
experimenting with the new package system catalog early on, and used my 
`html-parsing` package as an exercise.  Eventually I'll move my packages 
to the new system, but there are complications I need to find time to 
deal with.)


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] Hashtable type inference

2016-02-17 Thread Bert De Ketelaere 
Hello,


I had some trouble finding my bugs in the following similar programs:


#lang typed/racket/base

(struct H ([I : (HashTable Integer Number)]))
(define J (cast 1 Nonnegative-Integer))
(define K (H (make-immutable-hash (list (cons J J)

(struct-copy H K [I (make-immutable-hash (list (cons J J)))])

;make-immutable-hash is type (HashTable Integer Integer) which is not 
compatible with (HashTable Integer Number)

(struct U ([V : (HashTable Nonnegative-Integer Integer)]))
(define W (cast 1 Nonnegative-Integer))
(define Y (cast 2 Integer))
(define X (U (make-immutable-hash (list (cons W Y)

(struct-copy U X [V (make-immutable-hash (list (cons W Y)))])

;make-immutable-hash is of type (HashTable Integer Integer) while (list (cons W 
Y)) is of the right type: (Listof (Pairof Nonnegative-Integer Integer))


In my program the problem was because of unions (I tried updating with a hash 
with only 1 of the union types)


Kind regards,

Bert

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

2016-02-17 Thread Brian Adkins 
I'm looking for an html parser that can handle real world web pages that are 
typically invalid (similar to Ruby's Nokogiri). I came across recommendations 
for the html-parsing package, so I went to: 

https://pkgs.racket-lang.org/

I couldn't find it via the parsing or parser tags, but using my browser's find, 
found html-parsing. The description states: "A fork of the Planet 1 
html-parsing library". On the documentation page, I see a history with the last 
entry being 0.3 2011-08-27 and the following require:

(require sxml/html)

Clicking on the following link at the top of the doc page:

http://www.neilvandyke.org/racket-html-parsing/

takes me to Neil's page with a more recent history: PLaneT 3:0 — 2015-04-24 and 
the following require:

(require (planet neil/html-parsing:3:0))

Which package do I want?

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] raco pkg install -> connection refused

2016-02-17 Thread Matthew Flatt 
A second problem is is that the package catalog is not supposed to
depend on that machine's uptime. That's a configuration mistake that we
will fix, too. Unfortunately, I haven't yet found a way to fix it
before the machine is back up.

At Wed, 17 Feb 2016 14:21:02 +, Sam Tobin-Hochstadt wrote:
> Yes, one of our machines failed to come back properly after a reboot to
> address the glibc security issue. We're working on fixing it.
> 
> Sam
> 
> On Wed, Feb 17, 2016 at 9:02 AM Brian Adkins  wrote:
> 
> > I'm trying to install the html-parsing package, and I'm getting a
> > connection refused error. Is this just a transient issue?
> >
> > $ raco pkg install html-parsing
> > Resolving "html-parsing" via
> > https://download.racket-lang.org/releases/6.4/catalog/
> > tcp-connect
> > :
> > connection failed
> >   address: mirror.racket-lang.org
> >   port number: 80
> >   step: 6
> >   system error: Connection refused; errno=61
> >   context...:
> >/Applications/Racket v6.4/collects/net/http-client.rkt:235:0
> >/Applications/Racket
> > v6.4/collects/racket/contract/private/arrow-val-first.rkt:335:3
> >/Applications/Racket v6.4/collects/net/url.rkt:144:0:
> > http://getpost-impure-port
> >/Applications/Racket v6.4/collects/net/url.rkt:251:2: redirection-loop
> >/Applications/Racket
> > v6.4/collects/racket/contract/private/arrow-val-first.rkt:335:3
> >/Applications/Racket v6.4/collects/pkg/private/network.rkt:59:3
> >/Applications/Racket v6.4/collects/pkg/private/catalog.rkt:218:0:
> > read-from-server
> >/Applications/Racket v6.4/collects/pkg/private/catalog.rkt:138:9:
> > for-loop
> >/Applications/Racket v6.4/collects/pkg/private/catalog.rkt:135:2:
> > lookup-normally
> >/Applications/Racket
> > v6.4/collects/pkg/private/../../racket/private/more-scheme.rkt:261:28
> >/Applications/Racket v6.4/collects/pkg/private/prefetch.rkt:128:2
> >/Applications/Racket v6.4/collects/pkg/private/catalog.rkt:132:0:
> > package-catalog-lookup9
> >/Applications/Racket v6.4/collects/pkg/private/catalog.rkt:200:0:
> > package-catalog-lookup-source19
> >/Applications/Racket v6.4/collects/pkg/private/clone-path.rkt:370:0:
> > desc->repo8
> >/Applications/Racket v6.4/collects/pkg/private/clone-path.rkt:64:2:
> > add-repo-desc35
> >/Applications/Racket v6.4/collects/pkg/private/clone-path.rkt:45:0:
> > adjust-to-normalize-repos
> >
> > When I try to open http://mirror.racket-lang.org/releases/6.4/catalog/
> > directly, I get connection refused.
> >
> > 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.

-- 
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] raco pkg install -> connection refused

2016-02-17 Thread Sam Tobin-Hochstadt 
Yes, one of our machines failed to come back properly after a reboot to
address the glibc security issue. We're working on fixing it.

Sam

On Wed, Feb 17, 2016 at 9:02 AM Brian Adkins  wrote:

> I'm trying to install the html-parsing package, and I'm getting a
> connection refused error. Is this just a transient issue?
>
> $ raco pkg install html-parsing
> Resolving "html-parsing" via
> https://download.racket-lang.org/releases/6.4/catalog/
> tcp-connect
> :
> connection failed
>   address: mirror.racket-lang.org
>   port number: 80
>   step: 6
>   system error: Connection refused; errno=61
>   context...:
>/Applications/Racket v6.4/collects/net/http-client.rkt:235:0
>/Applications/Racket
> v6.4/collects/racket/contract/private/arrow-val-first.rkt:335:3
>/Applications/Racket v6.4/collects/net/url.rkt:144:0:
> http://getpost-impure-port
>/Applications/Racket v6.4/collects/net/url.rkt:251:2: redirection-loop
>/Applications/Racket
> v6.4/collects/racket/contract/private/arrow-val-first.rkt:335:3
>/Applications/Racket v6.4/collects/pkg/private/network.rkt:59:3
>/Applications/Racket v6.4/collects/pkg/private/catalog.rkt:218:0:
> read-from-server
>/Applications/Racket v6.4/collects/pkg/private/catalog.rkt:138:9:
> for-loop
>/Applications/Racket v6.4/collects/pkg/private/catalog.rkt:135:2:
> lookup-normally
>/Applications/Racket
> v6.4/collects/pkg/private/../../racket/private/more-scheme.rkt:261:28
>/Applications/Racket v6.4/collects/pkg/private/prefetch.rkt:128:2
>/Applications/Racket v6.4/collects/pkg/private/catalog.rkt:132:0:
> package-catalog-lookup9
>/Applications/Racket v6.4/collects/pkg/private/catalog.rkt:200:0:
> package-catalog-lookup-source19
>/Applications/Racket v6.4/collects/pkg/private/clone-path.rkt:370:0:
> desc->repo8
>/Applications/Racket v6.4/collects/pkg/private/clone-path.rkt:64:2:
> add-repo-desc35
>/Applications/Racket v6.4/collects/pkg/private/clone-path.rkt:45:0:
> adjust-to-normalize-repos
>
> When I try to open http://mirror.racket-lang.org/releases/6.4/catalog/
> directly, I get connection refused.
>
> 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.

[racket-users] [CFP] Scheme and Functional Programming Workshop 2016

2016-02-17 Thread Alex Shinn 
Call For Presentations

17th Annual Scheme and Functional Programming Workshop
Nara, Japan (Co-located with ICFP 2016)
18 September 2016

http://scheme2016.snow-fort.org/



The 2016 Scheme and Functional Programming Workshop is calling for
submissions.  This year we are accepting general presentation
proposals in addition to papers.

Submissions related to Scheme, Racket, Clojure, and functional
programming are welcome and encouraged. Topics of interest include
but are not limited to:

Program-development environments, debugging, testing
Implementation (interpreters, compilers, tools, benchmarks, etc.)
Syntax, macros, hygiene
Distributed computing, concurrency, parallelism
Probabilistic computing
Interoperability with other languages, FFIs
Continuations, modules, object systems, types
Theory, formal semantics, correctness
History, evolution and standardization of Scheme
Applications, experience and industrial uses of Scheme
Education
Scheme pearls (elegant, instructive uses of Scheme)

We also welcome submissions related to dynamic or multiparadigmatic
languages and programming techniques.



Full submissions are due 24 June 2016.
Authors will be notified by 22 July 2016.
Camera-ready versions are due 15 August 2016.
Workshop is 18 September 2016.
All deadlines are 23:59 (UTC-12, "Anywhere on Earth").

Paper submissions must be in ACM proceedings format, no smaller than
9-point type (10-point type preferred). Microsoft Word and LaTeX
templates for this format are available at:
http://www.acm.org/sigs/sigplan/authorInformation.htm

Paper submissions should be in PDF and printable on US Letter, and
generally in the range of 6 to 12 pages.

Presentation submissions should include an outline of the material.
Talks are 40 minutes, including questions and answers.

More information available at: http://scheme2016.snow-fort.org/



Organizers:

Alex Shinn (General Chair)
Kathryn Gray (Program Chair)

(Apologies for duplications from cross-posting.)

-- 
Alex

-- 
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] raco pkg install -> connection refused

2016-02-17 Thread Brian Adkins 
I'm trying to install the html-parsing package, and I'm getting a connection 
refused error. Is this just a transient issue?

$ raco pkg install html-parsing
Resolving "html-parsing" via 
https://download.racket-lang.org/releases/6.4/catalog/
tcp-connect: connection failed
  address: mirror.racket-lang.org
  port number: 80
  step: 6
  system error: Connection refused; errno=61
  context...:
   /Applications/Racket v6.4/collects/net/http-client.rkt:235:0
   /Applications/Racket 
v6.4/collects/racket/contract/private/arrow-val-first.rkt:335:3
   /Applications/Racket v6.4/collects/net/url.rkt:144:0: 
http://getpost-impure-port
   /Applications/Racket v6.4/collects/net/url.rkt:251:2: redirection-loop
   /Applications/Racket 
v6.4/collects/racket/contract/private/arrow-val-first.rkt:335:3
   /Applications/Racket v6.4/collects/pkg/private/network.rkt:59:3
   /Applications/Racket v6.4/collects/pkg/private/catalog.rkt:218:0: 
read-from-server
   /Applications/Racket v6.4/collects/pkg/private/catalog.rkt:138:9: for-loop
   /Applications/Racket v6.4/collects/pkg/private/catalog.rkt:135:2: 
lookup-normally
   /Applications/Racket 
v6.4/collects/pkg/private/../../racket/private/more-scheme.rkt:261:28
   /Applications/Racket v6.4/collects/pkg/private/prefetch.rkt:128:2
   /Applications/Racket v6.4/collects/pkg/private/catalog.rkt:132:0: 
package-catalog-lookup9
   /Applications/Racket v6.4/collects/pkg/private/catalog.rkt:200:0: 
package-catalog-lookup-source19
   /Applications/Racket v6.4/collects/pkg/private/clone-path.rkt:370:0: 
desc->repo8
   /Applications/Racket v6.4/collects/pkg/private/clone-path.rkt:64:2: 
add-repo-desc35
   /Applications/Racket v6.4/collects/pkg/private/clone-path.rkt:45:0: 
adjust-to-normalize-repos

When I try to open http://mirror.racket-lang.org/releases/6.4/catalog/ 
directly, I get connection refused.

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.

Re: [racket-users] DrRacket Coverage

2016-02-17 Thread Greg Hendershott 
No.

But I color only the foreground, if I'm understanding your question.

On Tue, Feb 16, 2016 at 10:13 PM, Robby Findler
 wrote:
> Thanks. That makes sense. Did you discount white space?
>
> Robby
>
>
> On Tuesday, February 16, 2016, Greg Hendershott 
> wrote:
>>
>> 1.
>>
>> It's been awhile since I worked on this, but: I wanted my Racket code
>> to consolidate overlapping uncovered ranges into the simplest coloring
>> to-do list to report back to Emacs. And since that's what's visually
>> apparent to the user (regions colored red), I use the same count in
>> the message.
>>
>>
>> On Tue, Feb 16, 2016 at 9:22 AM, Robby Findler
>>  wrote:
>> > I'm sorry: that was a bit too telegraphic. I'm asking if the program
>> > below counts as one or some other number of uncovered regions. And
>> > things like that. I'm going to go with 1 here but another approach
>> > would be to show a percentage covered based on characters or
>> > something.
>> >
>> > Robby
>> >
>> > #lang racket
>> > (define-syntax (m stx)
>> >   (syntax-case stx ()
>> > [(_ a b c)
>> >  #`(void (λ () #,(datum->syntax #'here '(void) stx))
>> >  #,(datum->syntax #'here '(void) #'b))]))
>> >
>> > (m abcdef
>> >ghijkl
>> >mnopqr)
>> >
>> > On Tue, Feb 16, 2016 at 7:59 AM, Robby Findler
>> >  wrote:
>> >> How do you do this count? (what algorithm?)
>> >>
>> >> Robby
>> >>
>> >> On Tue, Feb 16, 2016 at 6:56 AM, Greg Hendershott
>> >>  wrote:
>> >>> FWIW when you run tests with coverage in racket-mode (C-u C-c C-t)
>> >>> displays in the echo area either "Coverge complete" or "Missing
>> >>> coverage in N places".  In the latter case, point moves to the first
>> >>> place. All such places are colored in red.
>> >>>
>> >>> One thing racket-mode should probably also do is have next-error to
>> >>> jump to later spots (if any). However I figured people would add
>> >>> coverage one spot at a time, so it didn't seem super compelling.
>> >>>
>> >>>
>> >>> On Tue, Feb 16, 2016 at 6:21 AM, Eli Barzilay 
>> >>> wrote:
>>  Re leaving the coverage colors: for the purpose of my class that
>>  would
>>  do fine, but for actual use, the lack of full coverage indication
>>  means
>>  that you'll need to scroll through the text to find out if you have
>>  it
>>  or not...
>> 
>>  So something like a status bar message would be better, either with
>>  leaving the coverage colors or not.  Even better if it "jumps up" as
>>  John said, so that it draws attention to it.
>> 
>>  --
>>  ((x=>x(x))(x=>x(x)))   Eli
>>  Barzilay:
>>  http://barzilay.org/   Maze is
>>  Life!
>> 
>>  --
>>  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] Re: (eqv? Racket-land Wonderland) -> #t

2016-02-17 Thread WarGrey Gyoudmon Ju 
On Sun, Feb 14, 2016 at 8:10 PM, Saša Janiška  wrote:

> Neil Van Dyke  writes:
>
> > Being non-mainstream for practitioners, Racket is most popular with
> > people who have the freedom to choose any tools they want, not forced
> > into a mainstream set of options. Most often this means individual
> > alpha techies, researchers, etc.
>
> That's true, but still wonder why not more hobbyist are using it.
>

AFAIK, when other developers(even users in this maillist) mention Racket,
they are talking about Scheme which is thought not designed for
practitioners. When they talk about the real world application of Racket,
they only know the Hacker News which is made in old scheme.

Racket has lots of great tools that you named above, however, hobbyists may
not buy it. Say, every developer does not like to write docs while hating
other developers who do not write docs. Perhaps the most important thing is
that the idea of "Embedding executable/testing code in the docs" is beyond
their practice (even beyond the Literate Programming).

I just made myself an opportunity to work as a full stack Racket developer
four months ago. This is also a good chance to show others that Racket is
powerful or at least not so bad even in their concerns (the roadmap of full
spectrum).

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