Re: [racket-users] installing scribble-mode for Spacemacs

I just decided to distribute this as a ".el" file now: http://www.neilvandyke.org/scribble-emacs/ I will add it to one of the Emacs package systems when I get a chance, probably not soon. If you find a problem with this package specific to this Spacemacs thing, I'll consider a small and

Re: [racket-users] second->date

There was an overflow problem in the part that tries to prepare a 64-bit value to put into the 32-bit halves of `FILETIME`. I've pushed a repair. Thanks for the report and help! At Fri, 19 Feb 2016 18:06:55 -0500, Jon Zeppieri wrote: > Er, no. Disregard that. That'll teach me to talk about the

Re: [racket-users] Re: if you want to do a startup

jun lin wrote on 02/19/2016 04:24 AM: I'm not sure using Racket is a good choice for a startup. Racket itself is a good language, but if you need do something serious, you also need bullet proof libraries. In the detail, I'm interested in web development, and looks like Racket don't have good

[racket-users] Re: Generic dipatch and multi-methods options in DrRacket

> Are there arguments against using multi-methods or other ways of building > generic (and extensible) dispatch? > Just recently I have read blog post by Alexis King regarding safe multi-methods proof of concept that addresses "spooky action at a distance":

Re: [racket-users] second->date

On Fri, Feb 19, 2016 at 6:34 PM, Jos Koot wrote: > Thanks very much for your reply. > Reflecting your post it now is clear to me that the (decimal) order of > magnitude of the year > (seconds->date (sub1 (expt 2 50))) should be around 7 or 8 (setting > second 0 to "Thu, 01

RE: [racket-users] second->date

Thanks very much for your reply. Reflecting your post it now is clear to me that the (decimal) order of magnitude of the year (seconds->date (sub1 (expt 2 50))) should be around 7 or 8 (setting second 0 to "Thu, 01 Jan 1970 01:00:00 +0100"). How do you know the year should be (exactly) 35680317?

Re: [racket-users] second->date

Er, no. Disregard that. That'll teach me to talk about the Windows API when I know nothing about it. Apparently, the FILETIME type is divided into two 32-bit values. At any rate, there is a bug, but I don't know where it is. -Jon On Fri, Feb 19, 2016 at 5:31 PM, Jon Zeppieri

Re: [racket-users] second->date

I'm not especially familiar with the code in question, but it looks to me like some time-handling code in fun.c assumes 32-bit values. I'm referring to this: [ https://github.com/racket/racket/blob/50db01bf2c7c57fd5c7c662307d517ce2c29c279/racket/src/racket/src/fun.c#L9981 ]. On a 64-bit system,

[racket-users] second->date

The following surprises me: > (seconds->date (sub1 (expt 2 40))) seconds->date: integer is out-of-range integer: 1099511627775 Nevertheless I can go further on in time: > (seconds->date (sub1 (expt 2 50))) #(struct:date* 40 5 11 23 9 22520 1 266 #t 7200 0 "Romance

Re: [racket-users] pict3d trouble

awesome thanks. On Fri, Feb 19, 2016 at 3:05 AM Matthew Flatt wrote: > Thanks for the info! > > The problem was not specific to 10.11 (obviously) and not related to GL > bitmaps. It was in the way Pict3D creates and hides a frame to get a > screen-compatible GL context.

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

BTW, I now intend to move my packages to the new package system shortly, and I'll then stop supporting the PLaneT ones. (There's some urgency to moving now, so I'm going to punt on workarounds for the version-related differences in the new package system, and cut some corners on automation

Re: [racket-users] Typed Classes and this%

Axel, I tend to organize modules around classes so that I avoid the "Asumu pitfall": #lang typed/racket (define-type Polynome% (Class [init-field [a [Vectorof Real]]] [value (-> Real Real)] [derive (-> Polynome)])) (define-type Polynome (Instance Polynome%)) #; (type-out

Re: [racket-users] Typed Classes and this%

Hi Axel, On 2016-02-19 06:24:35 -0800, Axel Schnell wrote: > I'm just experimenting with typed classes in the typed/racket language.In my > first experiments I created a class called polynome% with a method derive. > The result of this method is new instance of this class via (new this% ...). >

[racket-users] Typed Classes and this%

I'm just experimenting with typed classes in the typed/racket language.In my first experiments I created a class called polynome% with a method derive. The result of this method is new instance of this class via (new this% ...). Unfortunately the drracket environment complained that it does not

RE: [racket-users] Re: recursive definition of a PROPOSITION

Do you mean the following? (define (a) (case (random 6) [(0) (string-append "P" "→" (a))] [(1) (string-append "R" "↔" (a))] [(2) (string-append "T" "∧" (a))] [(3) (string-append "Z" "⊕" (a))] [(4) (string-append "S" "q" (a))] [(5) "" ])) Jos -Original Message-

Re: [racket-users] Re: recursive definition of a PROPOSITION

You are not designing your code. You’re guessing. Is that what you want? > On Feb 19, 2016, at 7:23 AM, Aysenur Türk wrote: > > (define (a) > (case (random 6) >[(0) (string-append "P" (a)"→" )] >[(1) (string-append "R" (a) "↔")] >[(2) (string-append "T"

[racket-users] Re: recursive definition of a PROPOSITION

(define (a) (case (random 6) [(0) (string-append "P" (a)"→" )] [(1) (string-append "R" (a) "↔")] [(2) (string-append "T" (a)"∧" ) ] [(3) (string-append "Z" (a)"⊕")] [(4) (string-append "S" (a) "q")] [(5) "" ])) (a) "RPRZTZPRZPZT∧⊕→⊕↔→⊕∧⊕↔→↔" "TPTZ⊕∧→∧" I tried it

[racket-users] Re: if you want to do a startup

在 2016年2月16日星期二 UTC+8上午7:05:59，Neil Van Dyke写道： > CS students and other Racketeers planning to do a startup... You're > probably familiar with what Paul Graham, of Y Combinator fame, has said > about the merits of using Lisp (ahem, Racket) for the initial system. > And sometimes you can also