> On Jun 12, 2015, at 6:07 PM, Asumu Takikawa wrote:
>
> On 2015-06-12 17:30:42 -0700, 'John Clements' via users-redirect wrote:
>> (define-type (HuffJsexpr T)
>> (U T (HashTable Symbol HuffJsexpr)))
>
> The variant that Alex mentioned should work.
Interesting… there *is* a problem, though; I
Oh, I see. I've pushed that change.
Thanks,
Robby
On Fri, Jun 12, 2015 at 8:08 PM, Neil Van Dyke wrote:
> Robby Findler wrote on 06/12/2015 09:01 PM:
>>
>> I think DrRacket will kill the old execution when you hit run. Are you not
>> seeing that?
>
>
> I just tested with 6.1.1 on Linux, and (wit
Robby Findler wrote on 06/12/2015 09:01 PM:
I think DrRacket will kill the old execution when you hit run. Are you
not seeing that?
I just tested with 6.1.1 on Linux, and (with a `sleep` running) neither
the button click nor Ctrl-R responds until you manually break the
execution with button o
On 2015-06-12 17:30:42 -0700, 'John Clements' via users-redirect wrote:
> (define-type (HuffJsexpr T)
> (U T (HashTable Symbol HuffJsexpr)))
The variant that Alex mentioned should work.
I think the only restrictions on recursive types that TR enforces are that it
has to be (A) productive, in th
> On Jun 12, 2015, at 5:52 PM, Alexander D. Knauth wrote:
>
>
> On Jun 12, 2015, at 8:30 PM, 'John Clements' via users-redirect
> wrote:
>
>> Here’s the type I want to write:
>>
>> (define-type (HuffJsexpr T)
>> (U T (HashTable Symbol HuffJsexpr)))
>
>
> Do you mean this?
> (define-type (
I think DrRacket will kill the old execution when you hit run. Are you
not seeing
that?
Robby
On Friday, June 12, 2015, John Carmack wrote:
> Would it be reasonable to have DrRacket leave the Run option available
> at all times, and force a break if the program is already running?
>
>
>
> I fi
On Jun 12, 2015, at 8:30 PM, 'John Clements' via users-redirect
wrote:
> Here’s the type I want to write:
>
> (define-type (HuffJsexpr T)
> (U T (HashTable Symbol HuffJsexpr)))
Do you mean this?
(define-type (HuffJsexpr T)
(U T (HashTable Symbol (HuffJsexpr T
#lang typed/racket
(defi
Would it be reasonable to have DrRacket leave the Run option available at all
times, and force a break if the program is already running?
I find myself doing the ctrl-B ctrl-R sequence very often, or sometimes
wondering why nothing is happening after my ctrl-R because I didn't notice the
progra
Here’s the type I want to write:
(define-type (HuffJsexpr T)
(U T (HashTable Symbol HuffJsexpr)))
… for use in converting a tree to a jsexpr. My memory was that this wasn’t
possible in TR because TR would get caught in a loop trying to figure out how
many times to “unfold” the type in order t
On 06/12/2015 03:15 AM, Michael Titke wrote:
> In my understanding the pseudo random number generator is deterministic.
> That means for the same input seed /random/ will always return the same
> value. This is why one usually has to set a new state for each call of
> random.
If you're generating
On 12/06/2015 15:35, Michael Titke wrote:
That does not explain the bias, I guess. I repeat: But IMHO a function
(random n state/generator) should guarantee a common saturation of the
destination space when the current state is filled with real randomness.
I have never seen such a criterion fo
On Jun 12, 2015, at 9:35 AM, Michael Titke wrote:
> On 12/06/2015 13:21, Konrad Hinsen wrote:
>> Seeding is provided for two use cases: 1) Reproducibility, ... 2) "Real"
>> randomization, by setting the seed from some unpredictable source, such as
>> the system time. In both cases, the idea i
On 12/06/2015 13:21, Konrad Hinsen wrote:
On 12/06/15 09:15, Michael Titke wrote:
In my understanding the pseudo random number generator is deterministic.
That means for the same input seed /random/ will always return the same
value. This is why one usually has to set a new state for each cal
On 12/06/15 09:15, Michael Titke wrote:
In my understanding the pseudo random number generator is deterministic.
That means for the same input seed /random/ will always return the same
value. This is why one usually has to set a new state for each call of
random.
No, quite on the contrary.
Be
On Thursday, June 11, 2015 at 7:12:48 PM UTC-7, neil wrote:
> Matthew Flatt wrote on 06/11/2015 10:00 PM:
> > Android via NDK is a supported platform.
>
> Matthew, that's great. Thank you.
>
> Anyone implemented `racket/gui` for Android with this, or otherwise
> hooked up things so that the Rac
On 12/06/2015 00:38, Matthew Flatt wrote:
At Wed, 10 Jun 2015 18:44:15 +0200, Michael Titke wrote:
On 10/06/2015 12:33, Michael Titke wrote:
I changed from one OS to another and I was missing a simple feature:
automatic password generation. To fill the gap with a Scheme I
implemented such a g
16 matches
Mail list logo
