Please take me off the list Thanks
On Sat, Sep 27, 2014 at 9:50 AM, <[email protected]> wrote: > Send users mailing list submissions to > [email protected] > > 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 > [email protected] > > You can reach the person managing the list at > [email protected] > > 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 <[email protected]> > To: Racket Users List <[email protected]> > Subject: [racket] "do what i mean" for https://github links > Message-ID: > <CAFrFfuH93VtSwahAz7Zo9EBGoTgP2_z=xzu04wdjrmeerd0...@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" <[email protected]> > To: "Alexander D. Knauth" <[email protected]> > Cc: Racket Users <[email protected]> > Subject: Re: [racket] typed racket and generic interfaces, is there a > workaround using properties? > Message-ID: <1411794462639.6720ba81@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 <[email protected]> > 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 <[email protected]> > To: Racket Users List <[email protected]> > Subject: [racket] problem with pict->bitmap and > mrlib/write-animated-gif > Message-ID: > <cafrffuhsyybhwb01pnof8e5hzwdm_69n0nakflynn2uy1+n...@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 <[email protected]> > To: [email protected] > Subject: [racket] proof assistants, DrRacket and Bootstrap > Message-ID: > <[email protected]> > 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 <[email protected]> > To: Racket Users <[email protected]> > Subject: [racket] Fwd: JFP CFP > Message-ID: > <CAL3TdOMU-PHh++5qUz2RE9fRxHGd-zjB8=nmndqa8_fomsb...@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 [email protected] > 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" <[email protected]> > To: Anthony Carrico <[email protected]> > Cc: racket users list <[email protected]> > Subject: Re: [racket] typed racket and generic interfaces, is there a > workaround using properties? > Message-ID: <[email protected]> > 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 <[email protected]> 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 >>> <[email protected]> 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 > ************************************** ____________________ Racket Users list: http://lists.racket-lang.org/users
