Ok, I see. I'll revise my comment to "this would be better done with a
more general form of type inference", leaving out the claim of where
that inference should live.
I don't currently know how to do it other than building inference into
the complier. Matthias's plug-in rules sounds like a point
I don't think that TR should provide the majority of the optimizations
in its current form because it has to run before inlining, and this
limits what it can do.
Here is an example program:
#lang typed/racket
(: my-sequence-map
(All (A B)
(case->
((A -> B) (Vectorof A) -> (Vectorof
Perhaps the right answer is to organize the optimizer
as a rewriting engine to which other devs can add rules
as they discover them (and their absence in the existing
rule set). -- Indeed, one could then even have programmers
extend the rule set for a specific program (though then
we have to wor
On Thu, May 29, 2014 at 4:26 AM, wrote:
>
> | optimizer: ad hoc optimization of predicates applied to constructions
> |
> | This is probably more of a job for Typed Racket, but maybe it's
> | useful to detect some obviously unnecessary allocations of lists, etc.
I think this is a useful discussi
Yes. Please use rsync from "mirror.racket-lang.org" instead of
"download.racket-lang.org".
We moved "download.racket-lang.org" to an S3-hosted site, while
"mirror.racket-lang.org" refers to the machine that
"download.racket-lang.org" refers to. In other words, we had to split
names to distinguish
Hi,
I'm one of the new server administrators of the "Infogroep" server that
mirrors the racket executables at http://download.racket-lang.org. For a
while now I'm getting log messages saying that rsync is no longer able
to connect to download.racket-lang.org (timeout error). I've tried to
tes
6 matches
Mail list logo
