It is not wrong, if you type the annotation and definition and run it in a
typed/racket repl it works. I can also annotate it as;
(: foo : Integer -> Integer)
and that works as well in typed/racket
On Friday, 7 August 2020 at 18:57:03 UTC+1 Linus Björnstam wrote:
> Your type annotation is wrong.
I even saw people doing `collect-garbage` three times, just to be safe I
guess. And yet theoretically it's not guaranteed that things will be
claimed back properly.
Honestly, there should be a function that does this `collect-garbage` until
fixpoint or something, so that we don't need to perform t
On Fri, 7 Aug 2020 06:23:52 -0700 (PDT), "'Joel Dueck' via Racket
Users" wrote:
>On Wednesday, August 5, 2020 at 10:44:21 AM UTC-5 Sam Tobin-Hochstadt wrote:
>
>> Here's a benchmark of your two functions that takes long enough to run
>> that it avoids some of these issues, and also runs a GC bef
hi, 2015 i wrote a question in the community.. googling my name every one can
see in the question my email address kindly i would like to ask you to delete
my questions
link:
https://lists.racket-lang.org/users/archive/2015-March/066412.html
best regards
Chrakhan Barzanji
Sent from my iPhon
Your type annotation is wrong.
(: foo (-> Integer Integer)) is (iirc, I haven't done typed racket other than
for fun) more like it.
--
Linus Björnstam
On Fri, 7 Aug 2020, at 14:16, greadey wrote:
>
> Hi All,
>
> I've been trying to write typed racket code with hyper-literate. The
> docs
On Thu, Aug 06, 2020 at 06:58:28PM -0400, 'John Clements' via Racket Users
wrote:
> Has anyone here developed a reasonable workflow for exporting slideshow
> presentations to google slides? It appears that google slides cannot import
> PDFs or SVGs. It looks like it has support for importing PPT
On Fri, Aug 07, 2020 at 09:58:15AM -0400, David Storrs wrote:
> On Thu, Aug 6, 2020, 10:34 PM Hendrik Boom wrote:
>
> > On Thu, Aug 06, 2020 at 06:58:28PM -0400, 'John Clements' via Racket Users
> > wrote:
> > > Has anyone here developed a reasonable workflow for exporting slideshow
> > presentat
On Thu, Aug 6, 2020, 10:34 PM Hendrik Boom wrote:
> On Thu, Aug 06, 2020 at 06:58:28PM -0400, 'John Clements' via Racket Users
> wrote:
> > Has anyone here developed a reasonable workflow for exporting slideshow
> presentations to google slides? It appears that google slides cannot import
> PDFs
On Wednesday, August 5, 2020 at 10:44:21 AM UTC-5 Sam Tobin-Hochstadt wrote:
> Here's a benchmark of your two functions that takes long enough to run
> that it avoids some of these issues, and also runs a GC before
> benchmarking: https://gist.github.com/7cb4645308d8572e2250833ef7b90b7c
>
What
Hi All,
I've been trying to write typed racket code with hyper-literate. The docs
seem to suggest I can just add typed racket to the #lang hyper-literate;
So my trial code is;
#lang hyper-literate typed/racket
@chunk[
(: foo : (Integer -> Integer))
(define (foo n)
10 matches
Mail list logo