[racket-users] docs for all packages at docs.racket-lang.org

[Matthew Flatt]

The documentation at

 http://docs.racket-lang.org/

now includes documentation for all packages that are registered at
pkgs.racket-lang.org, instead of just the documentation for the main
distribution. Package documentation is built and updated daily.

This change means that you can search at docs.racket-lang.org to find
most anything that is available as a library for Racket. At the same
time, a search hit at docs.racket-lang.org doesn't necessarily mean
that you have the library already installed; you may have to install a
package. The relevant package name is shown as "package: " next to
a `(require ...)` or `#lang ` module entry in the documentation.
The package name is also shown in the mouseover text for a defined name
(in a blue box).


References to

 http://pkg-build.racket-lang.org/docs/

should still work, because they're redirected to docs.racket-lang.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] Package documentation category with info.rkt

[Benjamin Greenman]

Yep, use a string instead of a symbol:

(define scribblings '(("yaml/yaml.scrbl" () ("Parsing Libraries"

The only valid symbols are the category names listed here [1].

[1] http://docs.racket-lang.org/raco/setup-info.html?q=info

On Tue, Feb 9, 2016 at 2:39 AM, Erik Silkensen 
wrote:

> Hi Racket users,
>
> I'm wondering how to control the documentation category for user-defined
> packages?  For example, I've created a YAML package and would like it to
> show up under "Parsing Libraries".  I tried setting
>
> (define scribblings '(("yaml/yaml.scrbl" () (parsing-library
>
> in info.rkt, but after installing the package the link is under
> "Miscellaneous Libraries".
>
> Is there a way to do this?
>
>
> Cheers,
>
> Erik
>
> --
> 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] Slack IRC bridge malfunctioning

[Norman Gray]

Matthew (and Neil), hello.

(and being conscious of Neil's implied suggestion that this may be 
drifting off-topic for the list)


On 9 Feb 2016, at 1:26, Matthew Butterick wrote:


Neil's critique ought not be lightly dismissed.


Oh, I certainly didn't intend to _dismiss_ Neil's critique (and I don't 
read Jack Firth as doing so either), much less dismiss it lightly.


For me (and this is clearer to me after thinking about Neil's remarks), 
this is now less of a technical question than a commercial one.  The 
question of whether an organisation has my data seems less salient than 
the question of what they plan to do with it.  If a company says they're 
not going to exploit my data for money, but it later emerges that they 
do, then I and a lot of other people/companies will stop using them, and 
that gives them a direct bet-the-farm interest in being 'honest'.  That 
is, the business model means that I don't have to greatly _trust_ them 
to be honest actors (with scare-quotes round quite a lot of that).


If there was a service like Slack's which worked without sharing data -- 
for example, by using end to end encryption or doing everything P2P -- 
then I would prefer that, all other things being equal.  I've almost 
completely migrated from Dropbox to Tresorit for more or less this 
reason.  So for Slack, it comes down to trade-off, and it seems to me 
that Slack isn't a bad offender here; Neil noted this, and I find their 
privacy policy broadly reassuring, to the extent that it seems to 
contain quite a few hostages to fortune if they were to plan on 
exploiting the data for money.


More interesting than Slack, though, are Neil's two points that (i) 
there is now a pervasive expectation that nothing is ephemeral -- 
everything is logged somewhere; and (ii) that the ubiquity of one or two 
dotcom business models limits the expectations of students, startups and 
investors.


Re (i): one could expand this into both a socio-legal privacy point, and 
an aesthetic or even I'm sure spiritual point about ephemera.  That 
would send us wildly off-topic.


Re (ii): I had not thought of this point, or at least not in such 
concrete terms; and mulling it over in the last couple of days, it is a 
very sobering point indeed.  Having everyone think the same way is all 
sorts of nasty, and means that I do now share at least some of Neil's 
distaste for the situation.


The internet's become a very different place from what it was going to 
be 20 or 25 years ago.  *sigh*


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] Package documentation category with info.rkt

[Erik Silkensen]

Thanks, Ben.  I think I’m still missing something, still get the same result.  
In case it helps, here’s my complete info.rkt:

#lang info

(define collection 'multi)
(define deps '("base" "srfi-lite-lib" "typed-racket-lib"))
(define build-deps '("rackunit-lib" "scribble-lib" "racket-doc" "sandbox-lib"))
(define scribblings '(("yaml/yaml.scrbl" () ("Parsing Libraries"

> On Feb 9, 2016, at 1:03 AM, Benjamin Greenman  
> wrote:
> 
> Yep, use a string instead of a symbol:
> 
> (define scribblings '(("yaml/yaml.scrbl" () ("Parsing Libraries"
> 
> The only valid symbols are the category names listed here [1].
> 
> [1] http://docs.racket-lang.org/raco/setup-info.html?q=info 
> 
> 
> On Tue, Feb 9, 2016 at 2:39 AM, Erik Silkensen  > wrote:
> Hi Racket users,
> 
> I'm wondering how to control the documentation category for user-defined 
> packages?  For example, I've created a YAML package and would like it to show 
> up under "Parsing Libraries".  I tried setting
> 
> (define scribblings '(("yaml/yaml.scrbl" () (parsing-library
> 
> in info.rkt, but after installing the package the link is under 
> "Miscellaneous Libraries".
> 
> Is there a way to do this?
> 
> 
> Cheers,
> 
> Erik
> 
> --
> 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] Package documentation category with info.rkt

[Erik Silkensen]

Sorry, last email --- Guess I did have a multi collection setup, after all, and 
forgot there was a second info.rkt inside that yaml subdirectory.  So the only 
change I needed was to add the parsing-library category to scribblings in the 
yaml/yaml/info.rkt.

> On Feb 9, 2016, at 3:47 AM, Erik Silkensen  wrote:
> 
> Cool, I think that does it.  I think I had a bad directory structure.  It was
> 
> yaml/info.rkt
> yaml/yaml/main.rkt
> yaml/yaml/yaml.scrbl
> etc.
> 
> If move everything in that yaml subdirectory up, then using
> 
> #lang info
> 
> (define collection "yaml")
> (define deps '("base" "srfi-lite-lib" "typed-racket-lib"))
> (define build-deps '("rackunit-lib" "scribble-lib" "racket-doc" 
> "sandbox-lib"))
> (define scribblings '(("yaml.scrbl" () (parsing-library
> 
> gets the link under “Parsing Libraries” with JSON and the rest.
> 
> (Using “Parsing Libraries” as the category creates a duplicate category with 
> just YAML)
> 
> Anyway, thanks for your help!
> 
>> On Feb 9, 2016, at 3:07 AM, Benjamin Greenman > > wrote:
>> 
>> Hm. I'm not sure what's going on.
>> 
>> If I make a package with your info file, I get no links in the docs. But 
>> changing the collection to "yaml" generates documentation under the "Parsing 
>> Libraries" category.
>> 
>> Can you use "yaml" instead of 'multi ?
>> 
>> On Tue, Feb 9, 2016 at 3:33 AM, Erik Silkensen > > wrote:
>> Thanks, Ben.  I think I’m still missing something, still get the same 
>> result.  In case it helps, here’s my complete info.rkt:
>> 
>> #lang info
>> 
>> (define collection 'multi)
>> (define deps '("base" "srfi-lite-lib" "typed-racket-lib"))
>> (define build-deps '("rackunit-lib" "scribble-lib" "racket-doc" 
>> "sandbox-lib"))
>> (define scribblings '(("yaml/yaml.scrbl" () ("Parsing Libraries"
>> 
>>> On Feb 9, 2016, at 1:03 AM, Benjamin Greenman >> > wrote:
>>> 
>>> Yep, use a string instead of a symbol:
>>> 
>>> (define scribblings '(("yaml/yaml.scrbl" () ("Parsing Libraries"
>>> 
>>> The only valid symbols are the category names listed here [1].
>>> 
>>> [1] http://docs.racket-lang.org/raco/setup-info.html?q=info 
>>> 
>>> 
>>> On Tue, Feb 9, 2016 at 2:39 AM, Erik Silkensen >> > wrote:
>>> Hi Racket users,
>>> 
>>> I'm wondering how to control the documentation category for user-defined 
>>> packages?  For example, I've created a YAML package and would like it to 
>>> show up under "Parsing Libraries".  I tried setting
>>> 
>>> (define scribblings '(("yaml/yaml.scrbl" () (parsing-library
>>> 
>>> in info.rkt, but after installing the package the link is under 
>>> "Miscellaneous Libraries".
>>> 
>>> Is there a way to do this?
>>> 
>>> 
>>> Cheers,
>>> 
>>> Erik
>>> 
>>> --
>>> 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] Package documentation category with info.rkt

[Benjamin Greenman]

Hm. I'm not sure what's going on.

If I make a package with your info file, I get no links in the docs. But
changing the collection to "yaml" generates documentation under the
"Parsing Libraries" category.

Can you use "yaml" instead of 'multi ?

On Tue, Feb 9, 2016 at 3:33 AM, Erik Silkensen 
wrote:

> Thanks, Ben.  I think I’m still missing something, still get the same
> result.  In case it helps, here’s my complete info.rkt:
>
> #lang info
>
> (define collection 'multi)
> (define deps '("base" "srfi-lite-lib" "typed-racket-lib"))
> (define build-deps '("rackunit-lib" "scribble-lib" "racket-doc"
> "sandbox-lib"))
> (define scribblings '(("yaml/yaml.scrbl" () ("Parsing Libraries"
>
> On Feb 9, 2016, at 1:03 AM, Benjamin Greenman 
> wrote:
>
> Yep, use a string instead of a symbol:
>
> (define scribblings '(("yaml/yaml.scrbl" () ("Parsing Libraries"
>
> The only valid symbols are the category names listed here [1].
>
> [1] http://docs.racket-lang.org/raco/setup-info.html?q=info
>
> On Tue, Feb 9, 2016 at 2:39 AM, Erik Silkensen 
> wrote:
>
>> Hi Racket users,
>>
>> I'm wondering how to control the documentation category for user-defined
>> packages?  For example, I've created a YAML package and would like it to
>> show up under "Parsing Libraries".  I tried setting
>>
>> (define scribblings '(("yaml/yaml.scrbl" () (parsing-library
>>
>> in info.rkt, but after installing the package the link is under
>> "Miscellaneous Libraries".
>>
>> Is there a way to do this?
>>
>>
>> Cheers,
>>
>> Erik
>>
>> --
>> 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] Package documentation category with info.rkt

[Erik Silkensen]

Cool, I think that does it.  I think I had a bad directory structure.  It was

yaml/info.rkt
yaml/yaml/main.rkt
yaml/yaml/yaml.scrbl
etc.

If move everything in that yaml subdirectory up, then using

#lang info

(define collection "yaml")
(define deps '("base" "srfi-lite-lib" "typed-racket-lib"))
(define build-deps '("rackunit-lib" "scribble-lib" "racket-doc" "sandbox-lib"))
(define scribblings '(("yaml.scrbl" () (parsing-library

gets the link under “Parsing Libraries” with JSON and the rest.

(Using “Parsing Libraries” as the category creates a duplicate category with 
just YAML)

Anyway, thanks for your help!

> On Feb 9, 2016, at 3:07 AM, Benjamin Greenman  
> wrote:
> 
> Hm. I'm not sure what's going on.
> 
> If I make a package with your info file, I get no links in the docs. But 
> changing the collection to "yaml" generates documentation under the "Parsing 
> Libraries" category.
> 
> Can you use "yaml" instead of 'multi ?
> 
> On Tue, Feb 9, 2016 at 3:33 AM, Erik Silkensen  > wrote:
> Thanks, Ben.  I think I’m still missing something, still get the same result. 
>  In case it helps, here’s my complete info.rkt:
> 
> #lang info
> 
> (define collection 'multi)
> (define deps '("base" "srfi-lite-lib" "typed-racket-lib"))
> (define build-deps '("rackunit-lib" "scribble-lib" "racket-doc" 
> "sandbox-lib"))
> (define scribblings '(("yaml/yaml.scrbl" () ("Parsing Libraries"
> 
>> On Feb 9, 2016, at 1:03 AM, Benjamin Greenman > > wrote:
>> 
>> Yep, use a string instead of a symbol:
>> 
>> (define scribblings '(("yaml/yaml.scrbl" () ("Parsing Libraries"
>> 
>> The only valid symbols are the category names listed here [1].
>> 
>> [1] http://docs.racket-lang.org/raco/setup-info.html?q=info 
>> 
>> 
>> On Tue, Feb 9, 2016 at 2:39 AM, Erik Silkensen > > wrote:
>> Hi Racket users,
>> 
>> I'm wondering how to control the documentation category for user-defined 
>> packages?  For example, I've created a YAML package and would like it to 
>> show up under "Parsing Libraries".  I tried setting
>> 
>> (define scribblings '(("yaml/yaml.scrbl" () (parsing-library
>> 
>> in info.rkt, but after installing the package the link is under 
>> "Miscellaneous Libraries".
>> 
>> Is there a way to do this?
>> 
>> 
>> Cheers,
>> 
>> Erik
>> 
>> --
>> 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] backwards incompatible change to redex: does it break your models?

[Robby Findler]

I somehow failed to get back to this before the release, and so the
currently available version of Redex will produce syntax errors for
such models. Lets hope it isn't too painful for people and if it is,
we can maybe try to unfix it.

Robby


On Tue, Dec 22, 2015 at 3:30 PM, William J. Bowman
 wrote:
> On Sun, Dec 20, 2015 at 08:42:25PM -0600, Robby Findler wrote:
>> The reason the "E_1" and the "e_1" are treated differently is that the
>> "e" is mentioned in "binding" position of the shortcut. That is what
>> makes it special. Does this make sense?
> Yes, thank you.
>
>> (Have a read of the paragraph
>> in the redex docs for reduction-semantics that talks about shortcuts
>> and let me know if it makes more sense now and, even better, if you
>> have any suggestions for edits!)
>
> I read through the documentation at
> http://pkg-build.racket-lang.org/doc/redex/The_Redex_Reference.html?q=reduction-relation#(mod-path._redex/reduction-semantics).
> The closest paragraph I can see to talking about this seems out of date.
>
> "Each shortcut clause defines arrow names in terms of base-arrow-name
> and earlier shortcut definitions. The left- and right-hand sides of a
> shortcut definition are identifiers, not patterns and terms. These
> identifiers need not correspond to non-terminals in language."
>
> Of course now, the last sentence requires s/need not/must not/. I would
> also add a final sentence such as "Therefore, the output of the shortcut is
> not checked against the syntax of any non-terminal."
>
>> What if I were to actually make it do what people seem to think it
>> does, in the case that the chosen name is a non-terminal? So, if you
>> write a shortcut whose name is NOT a non-terminal, say "x" then it
>> would be like you wrote "any_x". And if you used a non-terminal, then
>> the shortcut would apply only when the expression actually matches the
>> corresponding non-terminal. Redex would still have to insist that the
>> parameters to the shortcuts are identifiers, but I could add in that
>> restriction?
>>
>> This is also backwards incompatible, but in a different way, tho. So
>> that's slightly worrying. This form of backwards incompatibility has
>> the downside that it will just make things stop reducing instead of
>> getting a syntax error. So we'd have to like it a LOT to go this way.
> The fact that it will cause previously good code to fail silently
> is rather unacceptable. Although, I think this changed behavior is
> preferable because it matches the behavior of much of the rest of Redex,
> and matches what people seem to except.
>
> Perhaps a different syntax for this changed version of shortcut, and
> deprecating the current version?
>
> --
> William J. Bowman

-- 
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] Using scribble to print BSL output

[Matthew Flatt]

I think the main issue is that `htdp/bsl/runtime` changed the way it
configures the printer. Instead of setting `current-print`, it sets
`global-port-print-handler`. Meanwhile, `interaction` prints within the
sandbox only if `current-print` is changed from its default value,
which is `pretty-print-handler`. Since the default value is in place
with the revised `htdp/bsl/runtime`, `global-port-print-handler` isn't
used for rendering results.

You can work around that problem by replacing

   (me '(current-print pretty-print-handler))

with

   (me '(current-print (lambda (v) (unless (void? v) (print v)


Meanwhile it seems that `htdp/bsl/runtime` was never configured to add
a `make-` prefix for printing structure instances. To fix that, after

(call-in-sandbox-context me (lambda () (namespace-require module-lang)))

add

(me '(require mzlib/pconvert))
(me '(add-make-prefix-to-constructor #t))


At Mon, 8 Feb 2016 20:58:44 -0800 (PST), Suzanne Menzel wrote:
> Prior to v6.3, I was able to create a BSL evaluator with the following set up:
> 
> @(define-syntax-rule
>   (*sl-eval module-lang reader def ...)
>   ;; ===>>>
>
>   (let ()
> (define me (make-base-eval))
> (me '(require (only-in racket empty? first rest cons? sqr true false)))
> (me '(require lang/posn))
> (me '(require racket/pretty))
> (me '(current-print pretty-print-handler))
> (me '(pretty-print-columns 65))
> (me 'def)
> ...
> (call-in-sandbox-context me (lambda () (error-print-source-location #f)))
> (call-in-sandbox-context me (lambda ()
>   ((dynamic-require 'htdp/bsl/runtime 
> 'configure)
>   (dynamic-require reader 
> 'options
> (call-in-sandbox-context me (lambda () (namespace-require module-lang)))
> 
> (interaction-eval #:eval me (require 2htdp/image))
> (interaction-eval #:eval me (require 2htdp/batch-io))
> ;; --- splice in the defs  
>
> me))
> 
> @(define-syntax-rule
>   (bsl-eval def ...)
>   (*sl-eval 'lang/htdp-beginner 'htdp/bsl/lang/reader def ...))
> 
> I would expect the following to show the results in the way they appear in 
> BSL:
> 
> @interaction[#:eval (bsl-eval)
> (cons 'a (cons 'b '()))
> (make-posn 1 2)
> ]
> 
> Instead of getting this (which is what I want):
> 
> > (cons 'a (cons 'b '())) 
> (cons 'a (cons 'b '()))
> > (make-posn 1 2) 
> (make-posn 1 2)
> 
> I'm now get this:
> 
> > (cons 'a (cons 'b '())) 
> '(a b)
> > (make-posn 1 2) 
> (posn 1 2)
> 
> Is there something about the set up that I need to change so that the output 
> syntax is consistent with BSL?
> 
> -- 
> 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] [Redex] test-->>E and trace

[Robby Findler]

I'm sorry it took me so long to get back to this. I'm not sure there
is a good thing to be added to Redex for this problem. Overall, it
seems like a graph search problem and there are multiple different
strategies depending on properties of the graph that you're searching.
It's not too hard to code these up in Racket and then find the best
one for your task, I would say. And redex's current support is pretty
simplistic, tailored to models with much less interesting reduction
graphs than yours has, I think.

If you find what seems to be a particularly useful and general purpose
search strategy and want it to be included in Redex, I'd be delighted
if you would make a pull request. In the meantime, I've offered one
that may or may not work well for your model, below.

hth,
Robby

#lang racket
(require redex/reduction-semantics)
(define-language L (n ::= natural))
(define red
  (reduction-relation
   L
   (--> n ,(max 0 (min 20 (+ (term n) 3
   (--> n ,(max 0 (min 20 (- (term n) 1))

(define (find-path red from to)
  (define parents (make-hash))
  (let/ec done
(let loop ([t from])
  (define nexts (apply-reduction-relation red t))
  (for ([next (in-list (remove-duplicates nexts))])
(cond
  [(equal? next to)
   (hash-set! parents to t)
   (done)]
  [(hash-ref parents next #f)
   (void)]
  [else
   (hash-set! parents next t)
   (loop next)]
  (let loop ([term to])
(cond
  [(equal? term from) (list from)]
  [else (cons term (loop (hash-ref parents term)))])))

(find-path red 0 10)


On Sun, Dec 20, 2015 at 6:26 AM, Anton Podkopaev  wrote:
> Unfortunately, I need something else, because my semantics is highly
> non-deterministic, and I want to be able to see only paths, which lead to a
> certain term.
>
> BR,
> Anton Podkopaev
>
> 2015-12-18 20:49 GMT+03:00 Robby Findler :
>>
>> I think you may want to call apply-reduction-relation* with a
>> #:stop-when argument instead?
>>
>> Robby
>>
>>
>> On Fri, Dec 18, 2015 at 5:33 AM, Anton Podkopaev 
>> wrote:
>> > Hello, colleagues!
>> >
>> > Is there any way to get a term trace from successful test-->>E in Redex?
>> >
>> > BR,
>> > Anton Podkopaev, PhD student, SPbSU
>> >
>> > --
>> > 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 PPA updated for 6.4

[Asumu Takikawa]

Hi all,

The Racket PPA for Ubuntu has been updated to v6.4:

  https://launchpad.net/~plt/+archive/ubuntu/racket

I've tested it on Wily. Let me know if you find any problems.

Cheers,
Asumu

-- 
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] Re: Slack IRC bridge malfunctioning

[Jack Firth]

I'd like to note that the bridge has been restored, and the wormhole is 
functioning properly 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.

[racket-users] using TR in PL class?

['John Clements' via Racket Users]

I’m running a fairly vanilla pre-pyret PLAI class, using the plai-typed 
language. Has anyone looked into doing this using Typed Racket? I feel like my 
interactions with TR have gotten sufficiently smooth that I might try using it 
for my PL class.

Potential problems:

- mismatch with PLAI (though I’m already using an out-of-date PLAI because I’m 
not using Pyret)
- loss of the wonderful define-type form.
- potentially baffling error messages.

Potential benefits:

- *much* richer libraries available without the use of typed-in.
- exposure to occurrence typing, a pretty nifty type system.
- don’t have to explain the (quite painful) s-exp wrappers
- getting to use ‘match’ — better than plai-typed-s-exp-match because you get 
binding as well as matching
- somewhat better documentation (students always get hung up on the plai-typed 
docs. yes, they just need to click on the *second* link…)

Opinions? Yes, I admit that I’m not giving Pyret a fair shake, and I’ll admit 
that most of that is related to my commitment to Racket.

John


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


signature.asc
Description: PGP signature

Re: [racket-users] Racket PPA updated for 6.4

[David Christiansen]

Asumu,

Thanks so much for maintaining this!

/David

2016-02-09 20:26 GMT-05:00 Asumu Takikawa :
> Hi all,
>
> The Racket PPA for Ubuntu has been updated to v6.4:
>
>   https://launchpad.net/~plt/+archive/ubuntu/racket
>
> I've tested it on Wily. Let me know if you find any problems.
>
> Cheers,
> Asumu
>
> --
> 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.