[racket] users Digest, Vol 109, Issue 62

Please take me off the list

Thanks

On Sat, Sep 27, 2014 at 9:50 AM,  <users-request at racket-lang.org> wrote:
> Send users mailing list submissions to
>         users at racket-lang.org
>
> To subscribe or unsubscribe via the World Wide Web, visit
>         http://lists.racket-lang.org/users/listinfo
> or, via email, send a message with subject or body 'help' to
>         users-request at racket-lang.org
>
> You can reach the person managing the list at
>         users-owner at racket-lang.org
>
> When replying, please edit your Subject line so it is more specific
> than "Re: Contents of users digest..."
>
>
> [Racket Users list:
>  http://lists.racket-lang.org/users ]
>
>
> Today's Topics:
>
>    1. "do what i mean" for https://github links (Martin DeMello)
>    2. Re: typed racket and generic interfaces, is there a
>       workaround using properties? (Spencer florence)
>    3. problem with pict->bitmap and mrlib/write-animated-gif
>       (Martin DeMello)
>    4. proof assistants, DrRacket and Bootstrap (Bill Richter)
>    5. Fwd: JFP CFP (Robby Findler)
>    6. Re: typed racket and generic interfaces,  is there a
>       workaround using properties? (Alexander D. Knauth)
>
>
> ----------------------------------------------------------------------
>
> Message: 1
> Date: Fri, 26 Sep 2014 21:56:52 -0700
> From: Martin DeMello <martindemello at gmail.com>
> To: Racket Users List <users at racket-lang.org>
> Subject: [racket] "do what i mean" for https://github links
> Message-ID:
>         <CAFrFfuH93VtSwahAz7Zo9EBGoTgP2_z=xZU04WdjrmEerd0Smw at mail.gmail.com>
> Content-Type: text/plain; charset="utf-8"
>
> It took me a while of reading through the docs to figure out why trying to
> install a package via "https://github.com/user/pkg" failed for want of a
> MANIFEST file. I think the "do what I mean" installer should have
> autoconverted it to git:// , seeing as how github is already special-cased.
>
> (Also my first try of installing via the git clone url
> https://github.com/user/pkg.git should ideally have been supported too,
> since that's what github encourages you to copy/paste as a reference)
>
> martin
> -------------- next part --------------
> An HTML attachment was scrubbed...
> URL: <http://lists.racket-lang.org/users/archive/attachments/20140926/a07de57f/attachment-0001.html>
>
> ------------------------------
>
> Message: 2
> Date: Fri, 26 Sep 2014 22:07:43 -0700 (PDT)
> From: "Spencer florence" <spencerflorence at gmail.com>
> To: "Alexander D. Knauth" <alexander at knauth.org>
> Cc: Racket Users <users at racket-lang.org>
> Subject: Re: [racket] typed racket and generic interfaces, is there a
>         workaround using properties?
> Message-ID: <1411794462639.6720ba81 at Nodemailer>
> Content-Type: text/plain; charset="utf-8"
>
> I don?t think you can. You would need define the struct in an untyped module then require it via require/typed. This is why dict?s don?t work in typed/racket either.
>
> On Sat, May 24, 2014 at 9:39 PM, Alexander D. Knauth <alexander at knauth.org>
> wrote:
>
>> Do generic interfaces work using structure type properties, and if they do, is there a way to use generic interfaces through properties so that I can do it in typed racket?
>> Specifically I?m trying to use the gen:custom-write and gen:dict generic interfaces.  I can use prop:custom-write for the first one, but I don?t know what to do for gen:dict.
>> Otherwise I?ll just put it in an untyped submodule.
>> ____________________
>>   Racket Users list:
>>   http://lists.racket-lang.org/users
> -------------- next part --------------
> An HTML attachment was scrubbed...
> URL: <http://lists.racket-lang.org/users/archive/attachments/20140926/e61d292b/attachment-0001.html>
>
> ------------------------------
>
> Message: 3
> Date: Sat, 27 Sep 2014 00:27:29 -0700
> From: Martin DeMello <martindemello at gmail.com>
> To: Racket Users List <users at racket-lang.org>
> Subject: [racket] problem with pict->bitmap and
>         mrlib/write-animated-gif
> Message-ID:
>         <CAFrFfuHsyYBhWB01PnOf8E5HzwDM_69n0nAKfLyNn2UY1+nkhQ at mail.gmail.com>
> Content-Type: text/plain; charset="utf-8"
>
> Can't figure it out, but something in the interaction between pict->bitmap
> and write-animated-gif is causing the frames to display one on top of the
> other when viewing the gif.
>
> #lang racket
>
> (require pict
>          mrlib/gif)
>
> (define (draw-frame i)
>   (pict->bitmap (circle (* 50 i))))
>
> (write-animated-gif
>  (map draw-frame (sequence->list (in-range 1 10)))
>  10
>  "test1.gif"
>  #:loop? true
>  #:one-at-a-time? true)
>
> martin
> -------------- next part --------------
> An HTML attachment was scrubbed...
> URL: <http://lists.racket-lang.org/users/archive/attachments/20140927/9a4a2d74/attachment-0001.html>
>
> ------------------------------
>
> Message: 4
> Date: Sat, 27 Sep 2014 02:38:48 -0500
> From: Bill Richter <richter at math.northwestern.edu>
> To: users at racket-lang.org
> Subject: [racket] proof assistants, DrRacket and Bootstrap
> Message-ID:
>         <201409270738.s8R7cmcd022184 at poisson.math.northwestern.edu>
> Content-Type: text/plain; charset=utf-8
>
> I have a few questions that might be off-topic.  Are you interested in formal proofs?  Have you considered adapting DrRacket to give an integrated editor for a proof assistant?  The proof assistants Coq and Isabelle use jedit and ProofGeneral, which I think aren't nearly as nice as DrRacket.  I actually use HOL Light, which nobody uses an integrated editor for.  Here are the slides for a talk I gave at the Institut Henri Poincar? in the workshop ``Formalization of mathematics in proof assistants''
> http://www.math.northwestern.edu/~richter/RichterIHPslide.pdf
>
> HOL Light and Coq are written in OCaml, a dialect of ML, which is therefore similar to Scheme, but it has one difference that I wonder if anyone here's knows how to deal with.  Scheme is well-suited for writing a Scheme interpreter, because of the quote feature.  OCaml doesn't have a quote feature, so the question arises how to write an OCaml interpreter inside OCaml.  That's not quite what I want to do, but if anyone could explain how to do it, I'd be grateful.
>
> I have a 7th grade student I'm trying to teach Racket, and I'm a bit confused about Bootstrap and Program By Design.  Is there any reason for my student not to just read HtDP?
>
> --
> Best,
> Bill
>
>
> ------------------------------
>
> Message: 5
> Date: Sat, 27 Sep 2014 07:38:54 -0500
> From: Robby Findler <robby at eecs.northwestern.edu>
> To: Racket Users <users at racket-lang.org>
> Subject: [racket] Fwd: JFP CFP
> Message-ID:
>         <CAL3TdOMU-PHh++5qUz2RE9fRxHGd-zjB8=nMNdQA8_FOMSbiag at mail.gmail.com>
> Content-Type: text/plain; charset=UTF-8
>
> If you're working on parallel or concurrent programming, consider submitting!
>
> Robby
>
>
> ------------------------------------------------------------------------------
>                         CALL FOR PAPERS
>
>                        JFP Special Issue
>                                 on
>                   Parallel and Concurrent Programming
>
>                 Submission Deadline: 22 December 2014
>        Expected Publication Date: November/December issue 2015
>
>
> * Scope
>
> Functional languages are uniquely suited to provide programmers with a
> programming model for parallel and concurrent computing. This is reflected in
> the wide range of work that is currently underway, both on parallel and
> concurrent functional languages, but also on bringing functional language
> features to other programming languages. This has resulted in a rapidly
> growing number of practical applications.
>
> The Journal of Functional Programming will devote a special issue to
> functional programming for concurrent and parallel computing. The purpose of
> this special issue is to showcase the state of the art on how functional
> languages and functional concepts currently assist programmers with the task
> of managing the challenges of creating parallel and concurrent systems.
>
> Language designers as well as systems builders and application programmers are
> invited to submit papers describing the current state of the art of language
> support and experiences with functional programming in building real-world
> systems.
>
> We encourage the submission of consolidated, condensed and extended work based
> on prior conference and workshop publications.
>
> * Submission Details
>
> Manuscripts should be submitted to CUP's Manuscript Central formatted
> according to JFP's standards.  Authors should specify in their cover message
> that the paper is intended for the special issue and choose the appropriate
> desired editor from the menu. For submission and formatting details, please
> consult the Journal of Functional Programming [ http://bit.ly/jfpadvice ]
> website.
>
>
> Guest Editors
> ---------------------------------------------------------------------------------
> Gabriele Keller                             Fritz Henglein
> keller @cse.unsw.edu.au                     henglein at diku.dk
> School of Computer Science & Engineering    Department of Computer
> Science (DIKU)
> UNSW Sydney NSW 2052                        University of Copenhagen
> and                                         Universitetsparken 5
> The Software Systems Research Group@ NICTA  DK-2100 Copenhagen
> Australia                                   Denmark
> ---------------------------------------------------------------------------------
>
>
> ------------------------------
>
> Message: 6
> Date: Sat, 27 Sep 2014 09:49:48 -0400
> From: "Alexander D. Knauth" <alexander at knauth.org>
> To: Anthony Carrico <acarrico at memebeam.org>
> Cc: racket users list <users at racket-lang.org>
> Subject: Re: [racket] typed racket and generic interfaces,      is there a
>         workaround using properties?
> Message-ID: <39AEBCAD-6138-4FE6-84A5-6AFF1A1A466C at knauth.org>
> Content-Type: text/plain; charset=windows-1252
>
> Like this, I think:  (but for some reason it seems to print it 3 times?)
> #lang typed/racket
>
> (struct foo () #:transparent
>   #:property prop:custom-write
>   (lambda (this out mode)
>     (displayln "whatever")))
>
> (print (foo))
>
>
> On Sep 26, 2014, at 11:07 PM, Anthony Carrico <acarrico at memebeam.org> wrote:
>
>> Dredging up an old thread: So how exactly do you define custom-write for
>> a typed racket struct?
>>
>> On 05/25/2014 03:30 PM, Alexander D. Knauth wrote:
>>> Never mind I just found prop:dict.
>>>
>>> By the way it would probably be helpful if instead of the value for
>>> prop:dict being a vector, it was a hash table with the method names
>>> as the keys, so then it would be a lot easier to tell which procedure
>>> goes with which method, and also a lot easier to extend it while
>>> maintaining backwards compatibility.
>>>
>>> On May 24, 2014, at 10:38 PM, Alexander D. Knauth
>>> <alexander at knauth.org> wrote:
>>>
>>>> Do generic interfaces work using structure type properties, and if
>>>> they do, is there a way to use generic interfaces through
>>>> properties so that I can do it in typed racket?
>>>>
>>>> Specifically I?m trying to use the gen:custom-write and gen:dict
>>>> generic interfaces.  I can use prop:custom-write for the first one,
>>>> but I don?t know what to do for gen:dict.
>>>>
>>>> Otherwise I?ll just put it in an untyped submodule.
>>
>> --
>> Anthony Carrico
>>
>> ____________________
>>  Racket Users list:
>>  http://lists.racket-lang.org/users
>
>
>
>
> End of users Digest, Vol 109, Issue 62
> **************************************