At Fri, 18 Jun 2010 08:38:24 -0500,
Robby Findler wrote:
We're talking about this code, right?
http://shootout.alioth.debian.org/u32/program.php?test=mandelbrotlang=racketid=2
It is already unsafe, I think?
No, it uses fl+ and friends. An unsafe version would use unsafe-fl+
instead.
At Fri, 18 Jun 2010 14:52:30 +0100,
Paulo J. Matos wrote:
I've been working on typed versions of these benchmarks, and some are
faster than the untyped versions (including the mandelbrot benchmark,
whose typed version is ~30% faster and does not show the random
behavior discussed above).
At Fri, 18 Jun 2010 10:05:57 -0500,
Robby Findler wrote:
Perhaps it suggests a bug in the interaction between that fancy
require operator and the optimizer?
Actually, the benchmark on the shootout webpage is named
mandelbrot-unsafe.rkt in the repository. The version I had in mind is
That was fast! Thanks!
Vincent
At Tue, 3 Aug 2010 12:49:03 -0600,
Matthew Flatt wrote:
At Tue, 03 Aug 2010 14:34:40 -0400, Vincent St-Amour wrote:
While writing documentation, I came across cases where I would have
wanted to link to technical terms (using the tech function) without
Last week at PLT day, there was some discussion about code review, and
how to potentially integrate it with our workflow.
I found the following tool which may help:
http://code.google.com/p/gerrit/
If I understand correctly, commits that are pushed don't go directly
to the main repository;
Yep, that worked.
Thanks!
Vincent
At Thu, 19 Aug 2010 12:11:09 -0600,
Matthew Flatt wrote:
Should be fixed, now.
At Thu, 19 Aug 2010 12:53:48 -0400, Vincent St-Amour wrote:
I just tried updating racket on my Mac OS PPC machine, and jit.c does
not compile. The same revision builds fine
At Sun, 3 Oct 2010 05:43:52 -0600,
Matthew Flatt wrote:
Sam and Vincent: Any thoughts on how easy or difficult the change would
be for Typed Racket (and its optimizer)?
It depends on how the 32-bit floats are integrated with the
library. If the existing library keeps using 64-bit floats as the
% collects/tests/racket/benchmarks/common/
16.3% collects/tests/racket/benchmarks/shootout/
11.8% collects/typed-scheme/scribblings/
48.4% collects/typed-scheme/typecheck/
7.6% collects/typed-scheme/types/
7.2% collects/typed-scheme/
~~
2172328 Vincent St-Amour stamo...@racket
At Mon, 13 Dec 2010 16:43:58 +0100,
Jos Koot wrote:
Would we not have the same problem with 'rational?'.
All reals, both exact and inexact ones are rationals (for the obvious reason
that we cannot represent every irrational number in finite memory)
Would we not need the same distinction
Single and double precision floating-point numbers have different read
syntax but print the same way.
Welcome to Racket v5.0.99.6.
1.0e0
1.0
(flonum? 1.0e0)
#t
1.0f0
1.0
(flonum? 1.0f0)
#f
Is this a bug?
Also, it seems there's no read syntax for single-precision specials
(nan and
At Fri, 7 Jan 2011 11:39:33 -0800,
John Clements wrote:
Taking a step back: is there really anything wrong with such commits? Given
that drdr and e-mail alerts are based on pushes rather than commits, it seems
not unreasonable to just let those be intermediate commits. I can see that
At Mon, 31 Jan 2011 17:50:56 -0500,
Ryan Culpepper wrote:
- Typed Scheme Tests
Done.
Vincent
_
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/dev
At Wed, 09 Feb 2011 14:28:53 -0700,
Jon Rafkind wrote:
Vincent:
4ac36fd59bc35cb0d60cb050cfaae21d213064c8
Added the new single-precision float function to TR.
ac76d963b0e4b70c17753b22833c630f3d71cd1b
Enable single-precision floats by default.
46f086282d7302e7e015109c9f945a92350e384c
At Fri, 22 Apr 2011 14:34:16 -0600,
Matthew Flatt wrote:
I would like to look closely at this. Can you send me a patch?
Sure, I'll tidy it up and send it to you.
Vincent
_
For list-related administrative tasks:
Good idea. I'll look into that.
Vincent
At Fri, 22 Apr 2011 17:09:51 -0400,
Eli Barzilay wrote:
40 minutes ago, Vincent St-Amour wrote:
With this patch, assoc and member are implemented in Racket. They
are currently implemented in C. I haven't measured the performance
impact
These are impressive speedups!
Given how close we were to the fastest Scheme compilers on some of
these, that may be enough to give us the lead.
I'll run the benchmarks on different implementations tomorrow.
Vincent
At Sun, 24 Apr 2011 17:11:21 -0600,
Matthew Flatt wrote:
The `assoc'
I've had a quick look at your patch, and it looks good to me. Did you
make sure that all of TR's tests still pass?
I'll pull that and commit it for you.
Vincent
At Tue, 26 Apr 2011 14:19:38 -0400,
Eric Dobson wrote:
I have added support for ephemerons to Typed Racket, and submitted a pull
ms11.521.20tak7916 ms11.021.00takl8252 ms1.621.131triangle6862 ms11.211.27
At Sun, 24 Apr 2011 22:09:18 -0400,
Vincent St-Amour wrote:
These are impressive speedups!
Given how close we were to the fastest Scheme compilers on some of
these, that may be enough to give us the lead.
I'll run
Fixed. Thanks for the report!
Vincent
At Wed, 27 Apr 2011 11:14:48 +0200,
Pierpaolo Bernardi wrote:
BTW, I think there are a couple of typos in:
15.2 Ephemerons
An ephemeron [Hayes97] is a generalization of a weak box (see Weak
Boxes). Instead of just containing one value, an
At Fri, 6 May 2011 11:22:48 -0400,
Matthias Felleisen wrote:
1. Python seems to provide the following unit testing functionality:
if a file/module is run as 'main', the test suites are run;
if it is required into some other file, the tests aren't run.
It looks truly convenient. I
At Wed, 8 Jun 2011 10:15:58 -0500,
Robby Findler wrote:
On Wed, Jun 8, 2011 at 9:21 AM, Eli Barzilay e...@barzilay.org wrote:
In any case, I do take compatibility as a priority, so I'm suggesting
allowing both orders for this case.
I did not mention this (remaining silent in response to
At Fri, 17 Jun 2011 14:51:29 -0400,
Eli Barzilay wrote:
I don't know why more of these are needed (they seem to be growing
exponentially), but this:
I need racketmod+interaction for some docs I'm currently writing. So I
added the others for consistency's sake.
+(define-syntax
At Mon, 1 Aug 2011 11:57:06 -0400,
Sam Tobin-Hochstadt wrote:
* Sam, Vincent: TR news? (Many new types from Eric Dobson?
Optimizer logs?)
Almost all core Racket data structures and operations now work with
Typed Racket (most of this work is due to prolific contributor Eric
Dobson).
I'd
At Tue, 2 Aug 2011 11:11:55 -0400,
Eli Barzilay wrote:
6 minutes ago, Sam Tobin-Hochstadt wrote:
No, the issue is that 5.1.1 doesn't work at all on Lion, and we
should emphasize that the new release does work.
Suggestions?
- Racket now supports Mac OS X Lion.
I don't think there's much
At Thu, 4 Aug 2011 12:11:27 -0400,
Matthias Felleisen wrote:
One of the responses to the draft of the Racket style guide contains the
following paragraph:
There should be unified way to test collections. Let's say I fix
something in collect `foo', there should be an obvious way to
As I mentioned at RacketCon, I've been working (with help from Asumu
Takikawa and Jon Rafkind) on a document that provides pointers to
tools for using Racket with popular text editors.
I now have a draft of it on my webpage:
I agree with most of your points, and will fix the document
accordingly.
At Thu, 4 Aug 2011 17:02:26 -0400,
Eli Barzilay wrote:
I'd also like feedback on the document itself. It's not especially
detailed, and I'm sure I forgot a lot of useful things.
* xrepl should be mentioned at the top,
At Fri, 5 Aug 2011 03:22:07 -0400,
Eli Barzilay wrote:
The problem is that the meta collection is not intended for
distribution. Even if it's moved to some collection that will get
included, it's an abuse of what `collects' means at the moment.
I see. How about a `contrib' directory at the
I've added an updated version of the document to the Guide.
If you think it's not in the right place, I'm fine with putting it
elsewhere.
Vincent
At Thu, 04 Aug 2011 16:30:47 -0400,
Vincent St-Amour wrote:
As I mentioned at RacketCon, I've been working (with help from Asumu
Takikawa
I love DrDr, but there's a small thing that annoys me about it.
Some tests are prone to intermittent failures. For example, some
benchmarks need to create a file, and several benchmarks share the
same file, which leads to race conditions. Similarly, some DrRacket
tests sometimes fail for focus
At Mon, 8 Aug 2011 10:59:24 -0500,
Robby Findler wrote:
FWIW, please try to avoid race conditions of the second kind.
Some of these I can try to fix. But I don't think all intermittent
failures fit in this category.
I think the drracket test suites are special because they fail
not-so-often
At Mon, 8 Aug 2011 11:06:30 -0500,
Robby Findler wrote:
On Mon, Aug 8, 2011 at 11:05 AM, Vincent St-Amour stamo...@ccs.neu.edu
wrote:
At Mon, 8 Aug 2011 10:59:24 -0500,
Robby Findler wrote:
FWIW, please try to avoid race conditions of the second kind.
Some of these I can try to fix
Here's the simplest example I could come up with:
In `dummy.rkt':
#lang s-exp dummy-lang.rkt
In `dummy-lang.rkt':
#lang racket/base
(provide (rename-out (module-begin #%module-begin)))
(require (for-syntax racket/base))
(define-syntax (module-begin stx)
I had a similar problem on Linux x86. Matthew just pushed a fix, and
now everything works for me. Haven't tried on amd64, though.
Vincent
At Thu, 01 Sep 2011 16:24:02 +0200,
Marijn wrote:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Hi list,
when creating executables from racket,
At Fri, 02 Sep 2011 09:15:20 +0200,
Marijn wrote:
I just tried with latest git and nothing has changed for me. Neither
the wrong message, nor the failing executable.
You're building executables from DrRacket, right?
Does it work if you build them from the command-line, with `raco exe'?
At Fri, 30 Sep 2011 11:31:47 -0500,
Robby Findler wrote:
Just to clear up one more possible point: the rational? predicate
actually recognizes inexact numbers, eg:
[robby@penghu] ~/git/plt/collects/drracket/private$ racket
Welcome to Racket v5.1.3.9.
(rational? (sqrt 2))
#t
This is
At Sat, 1 Oct 2011 12:41:26 -0400,
Stephen Bloch wrote:
I think Vincent was proposing that round continue to return an
integer (which makes sense -- that is its raison d'etre) but that all
integers be exact. At present, round always returns an integer, but
this integer is exact only if the
I just pushed all 3. Thanks for the patches!
Vincent
At Sat, 22 Oct 2011 14:47:41 -0700,
Eric Hanchrow wrote:
---
collects/scribblings/guide/unit.scrbl |2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/collects/scribblings/guide/unit.scrbl
At Wed, 2 Nov 2011 11:21:24 -0400,
Sam Tobin-Hochstadt wrote:
* DrRacket comes with an experimental, on-line check syntax
function. By default, it is turned off. To turn it on, right
click on the red circle in the buttom right corner of the DrRacket
window. Warning: turning this on
At Mon, 28 Nov 2011 11:54:06 -0500,
Matthias Felleisen wrote:
I propose
1. to remove the menu and its functionality
2. to add a macro disable-tests-below
3. and be prepared to add a macro enable-tests-below.
`disable-tests-below' makes it easy to accidentally skip running tests
This looks useful to me.
I think this belongs in `unstable/sequence' for now, with the other
new sequence constructors.
I'll merge it.
Thanks for the patch!
Vincent
At Thu, 15 Dec 2011 22:47:44 -0500,
David Vanderson wrote:
I only got one comment (thanks John), so I'm resending for more
At Tue, 20 Dec 2011 13:45:26 -0500,
Eli Barzilay wrote:
(c) I'd get rid of the why racket section -- I don't see anything
there that doesn't induce yawnage,
I disagree. This paragraph advertizes our high-quality libraries and
IDE. Both of these are great selling points, and our current website
At Tue, 20 Dec 2011 15:28:54 -0500,
Eli Barzilay wrote:
I'm not opposed to having *some* Why Racket? text, just to the
particular text:
I agree with most of your points about the specifics of the text.
| Based on over 15 years of research and practical experience,
*yawn*
On the one hand,
At Fri, 3 Feb 2012 02:06:41 -0500,
Stephen Chang wrote:
To go back to the most recent bookmark, either use the right-click
menu, or press C-x r (is this an appropriate key binding? I chose it
because emacs similarly uses C-x r to do bookmark-related stuff).
Emacs uses C-x r for rectangle
At Sun, 12 Feb 2012 01:50:33 -0500,
Eli Barzilay wrote:
http://tmp.barzilay.org/cr.png
I like this one. I really like the idea of combining lambda with
parentheses. The unbalanced paren bothers me a bit though.
The pun can even be taken further by adding a ( on the left, smaller
and fading
At Sun, 12 Feb 2012 11:01:44 -0800,
John Clements wrote:
I like this general idea. It seems to me that we're headed toward
some kind of translucent ball with bands around it. If the sideways
band is more visible through the ball, you get the R effect that
people are seeing.
This loses the
At Mon, 13 Feb 2012 01:05:57 -0500,
SF wrote:
While trying to refine that sketch I had the idea to extend the stem
for a dynamic look, perhaps this would fit better in a circle:
http://i.imgur.com/IywqK.png
+1
That's my new favorite.
Vincent
_
Racket Developers
At Mon, 13 Feb 2012 09:54:58 -0500,
Philippe Meunier wrote:
For some reason it slightly reminds me of a symbol for some religious
cult or political party, which might or might not be a good thing.
Were you thinking of this?
http://en.wikipedia.org/wiki/Chi_Rho
Vincent
_
At Mon, 27 Feb 2012 16:39:33 -0500,
Eli Barzilay wrote:
Is there really a need for an N+1 way to do this?
This is a common idiom, and there was no way to make it as convenient
as it should be. Yes, it's easily implementable in terms of
`build-list' or `in-range' but having to roll your own every
.
http://git.racket-lang.org/plt/ffcda4741f..249c1cc666
=[ 1 Commits ]==
Directory summary:
91.8% collects/racket/
8.1% collects/scribblings/reference/
~~
249c1cc Vincent St-Amour stamo...@racket-lang.org 2012-02-28
`evcase' is currently provided by `mzlib/etc'.
Should we provide it in `racket' as well?
Vincent
At Mon, 12 Mar 2012 16:53:14 -0400,
Matthias Felleisen wrote:
see evcase
On Mar 12, 2012, at 4:45 PM, Rüdiger Asche wrote:
Hi there,
why is the Zero alias replaced correctly in
At Wed, 18 Apr 2012 09:00:16 -0600,
Ryan Culpepper wrote:
- Typed Racket Tests
Done.
Vincent
_
Racket Developers list:
http://lists.racket-lang.org/dev
Fixed. Thanks for the report!
Vincent
At Mon, 30 Apr 2012 09:16:37 -0700,
Eric Hanchrow wrote:
diff --git a/collects/scribblings/reference/sets.scrbl
b/collects/scribblings/reference/sets.scrbl
index d9ea0c6..44cc41d 100644
--- a/collects/scribblings/reference/sets.scrbl
+++
I don't think that's what Marijn was suggesting.
I understood it as:
(define-syntax-rule (define-complex real-name imag-name rhs)
(define real-name (real-part rhs))
(define imag-name (imag-part rhs)))
(define-complex r i 1+2i)
=
(begin
(define r (real-part 1+2i))
At Wed, 9 May 2012 18:13:55 -0400,
Asumu Takikawa wrote:
Ideally, we would provide similar interfaces for the other generic APIs
in the tree, such as streams and sequences. However, the existing APIs
rely on different representations for method tables from the one used by
unstable/generics,
At Tue, 05 Jun 2012 22:05:26 -0600,
Neil Toronto wrote:
Thanks! I've adapted it and will commit the changes with the ones to
racket/math.
Great, thanks!
I've managed to make it always find a counterexample. But there are only
a few single-flonum - flonum issues. Most of them are because
At Fri, 15 Jun 2012 15:12:05 -0400,
Asumu Takikawa wrote:
* for consistency with the rest of the language, `stx-car` and
friends would be renamed to use the `syntax-` prefix instead of
`stx-`.
+1
I always get these names wrong.
* the name of the library is also consistent with
At Fri, 15 Jun 2012 15:09:15 -0600,
Ryan Culpepper wrote:
The 'stx-*' functions work on values that aren't syntax objects, so
renaming them to 'syntax-*' would be misleading.
Given the name, I would have thought they only worked on syntax
objects.
Roughly,
stx = syntax | null | (cons
I really like this.
Vincent
At Sun, 1 Jul 2012 09:27:00 -0400,
Eli Barzilay wrote:
There rare cases where it is useful to have a value that means that no
argument was passed to a function. In many of these cases there is a
plain value that is used as that mark, with the most idiomatic
At Sun, 1 Jul 2012 20:10:30 -0400,
Matthias Felleisen wrote:
I had misunderstood. I thought you had suggested 'reduction of
strength' (say going from square to * or double to +), which is a
generally useful compiler optimization. What you suggest is some form of
conditional version of this.
At Tue, 10 Jul 2012 09:13:24 -0500,
Robby Findler wrote:
Version 1.2 of cdrswift.plt seems to use the slideshow-insert-pict-box
string constant, but it is up to version 1.5 now.
http://planet.racket-lang.org/display.ss?package=cdrswift.pltowner=dignatof
Probably best to just leave them
At Tue, 10 Jul 2012 11:23:04 -0500,
Robby Findler wrote:
I was thinking along similar lines.
But maybe it would be helpful to do this for all of the unused
string-constants in the tree?
Good idea.
Vincent
_
Racket Developers list:
At Tue, 10 Jul 2012 18:44:28 -0400,
Neil Van Dyke wrote:
I'm still using some mzlib in *new* code. Specifically, getpid,
this-expression-source-directory, gethostname, and perhaps one or
two other things. I could find other ways to do those things if I had
to, but those definitions pop up
At Wed, 11 Jul 2012 01:33:02 -0400,
Eli Barzilay wrote:
Or maybe add a new tools collection for other similar things?
I'm about to push the new version of Optimization Coach (formerly
Performance Report). Since it now works with any language (not just TR),
it would make sense to move it outside
(Performance) tuning?
Vincent
At Wed, 11 Jul 2012 10:04:46 -0500,
Robby Findler wrote:
tools seems like too generic of a word. Is there something like
performance-debugging that isn't so long?
Robby
On Wed, Jul 11, 2012 at 9:58 AM, Vincent St-Amour stamo...@ccs.neu.edu
wrote
At Sun, 8 Jul 2012 08:40:41 -0400,
Eli Barzilay wrote:
Quick summary: I'll remove the #:before-first and #:after-last
feature. If anyone wants them, please tell me -- maybe it can be left
for the spliced case, or maybe they could always be spliced.
+2 to always splicing.
This gives us the
:
Better than tools, IMO. How about perf? Ie, perf/future-visualizer
and perf/optimization-coach/ ?
Robby
On Wed, Jul 11, 2012 at 10:10 AM, Vincent St-Amour stamo...@ccs.neu.edu
wrote:
(Performance) tuning?
Vincent
At Wed, 11 Jul 2012 10:04:46 -0500,
Robby Findler wrote:
tools
At Wed, 11 Jul 2012 09:37:19 -0700,
Neil Toronto wrote:
On 07/11/2012 09:25 AM, stamo...@racket-lang.org wrote:
84feb38 Vincent St-Amour stamo...@racket-lang.org 2011-10-11 14:26
:
| Enable performance report no matter the language.
:
M collects/typed-racket/optimizer/tool/tool.rkt
+1
Vincent
At Wed, 11 Jul 2012 12:04:11 -0500,
Robby Findler wrote:
What about naming the collection tuning?
Robby
On Wed, Jul 11, 2012 at 11:34 AM, Vincent St-Amour stamo...@ccs.neu.edu
wrote:
I would prefer the full word, performance.
But with a name like that, I would expect
Some tools have components that are required programmatically. E.g., the
macro-debugger's useless requires detector or the graphical debugger
API (which doesn't seem to be documented). Moving them may break code.
But I do agree that a top-level `tool' collect would make sense.
Vincent
At Wed,
At Wed, 11 Jul 2012 18:00:26 -0500,
Robby Findler wrote:
On Wed, Jul 11, 2012 at 1:06 PM, Neil Toronto neil.toro...@gmail.com wrote:
How about a tools drop-down?
Or Online Optimization Coach (You can do
it, Vincent!)
I had that same thought, actually: online check syntax is
At Fri, 20 Jul 2012 16:17:22 -0400,
as...@racket-lang.org wrote:
3582b57 Asumu Takikawa as...@racket-lang.org 2012-07-20 15:10
:
| Move mzlib/defmacro = racket/defmacro
I'm not sure this belongs in `racket'. This is not a Racket feature.
It's closer to a CL compatibility library.
How about
At Wed, 25 Jul 2012 13:26:53 -0400,
Ryan Culpepper wrote:
stamourv:
- enable performance report for typed/racket/base (b73421f8)
- Optimization Coach (formerly Performance Report) now reports
information about Racket's inlining optimizations. Optimization Coach
can be launched in any
At Sun, 29 Jul 2012 10:15:17 -0400,
Matthias Felleisen wrote:
With all due respect. Was there a reason why parametric imports don't
work? They do change behavior in a way that doesn't jive with the TR
port-to-typed-without-change-in-semantics philosophy.
Parametric imports were already in
At Mon, 30 Jul 2012 13:10:28 -0600,
Matthew Flatt wrote:
At Fri, 20 Jul 2012 16:33:54 -0400, Vincent St-Amour wrote:
How about having a `compatibility' collect, which would include this and
things like `racket/package' (compatibility with Chez) and `racket/mpair'
(compatibility
At Mon, 30 Jul 2012 16:00:12 -0400,
Matthias Felleisen wrote:
Having said that, I would like to propose that we COPY
files/subcollections from racket/ to compatibility/ (and keep them in
sync) if we wish to indicate that they are not really rackety.
Assuming you mean keeping the same interface
At Mon, 30 Jul 2012 14:52:06 -0600,
Matthew Flatt wrote:
At Mon, 30 Jul 2012 16:00:12 -0400, Matthias Felleisen wrote:
I fully and enthusiastically agree with this perspective but I don't think
this
is high on our list of things to do.
When we consider such moves, we should always
At Tue, 31 Jul 2012 09:26:56 -0700,
Sam Tobin-Hochstadt wrote:
On Tue, Jul 31, 2012 at 6:42 AM, Matthew Flatt mfl...@cs.utah.edu wrote:
To start afresh, here are two suggestions, which are mutually
exclusive. The first is my preference:
1. Revert the addition of
At Tue, 31 Jul 2012 14:36:06 -0400,
Matthias Felleisen wrote:
On Jul 31, 2012, at 1:31 PM, Neil Toronto wrote:
To reiterate after my absence: I won't write a typed math/vector
until using its exports in Typed Racket wouldn't be a huge friggin'
PITA.
Let me rephrase this ever so
At Tue, 31 Jul 2012 13:04:40 -0600,
Matthew Flatt wrote:
At Tue, 31 Jul 2012 14:08:16 -0400, Vincent St-Amour wrote:
Mutable pair functions are in `racket/base', I didn't touch these and am
not planning to. Mutable list functions, though, I moved. The name is
misleading.
Should
At Thu, 02 Aug 2012 11:28:56 -0400,
Ryan Culpepper wrote:
On 08/02/2012 11:16 AM, Ryan Culpepper wrote:
[...]
* There is now a very complete completion code for zsh. It is not
included in the distribution though, get it at: http://goo.gl/DU8JK
(This script and the bash
a and is not a substruct? predicate to make such things work?
Robby
On Mon, Aug 27, 2012 at 10:11 AM, Vincent St-Amour stamo...@ccs.neu.edu
wrote:
TR's complex number optimizations eliminate repeated boxing and unboxing
in chains of operations that each consume and produce complex
Single-precision float support used to be enabled via a configure
option, which meant that some Racket installations would support them,
and some would not.
Since zo files are meant to be portable, they could not contain
single-precision floats. So, compilation would promote single literals
to
At Fri, 14 Sep 2012 23:45:43 -0500,
Robby Findler wrote:
The original message in this thread suggests that there is a type
Single-Flonum and that it is making Neil wrangle his code to be
careful about it.
Right, TR supports `Single-Flonum's, but not `f32vector's.
Part of the complexity in
At Sun, 16 Sep 2012 17:10:01 -0500,
Matthias Felleisen wrote:
Suppose we had started Racket long ago and maintained it until
now. Then we'd be looking at 8bit, 16, 32, and 64 precision. In some N
years from now, we may need 128. (Actually there were machines in the
past that did, but never
At Sat, 22 Sep 2012 10:52:49 -0400,
Eli Barzilay wrote:
A few minutes ago, Matthias Felleisen wrote:
I consider this problem distinct from Vincent's.
Yes, the problem is separate (hence moving the discussion) -- it's the
feature that he mentioned (being able to hide types) that I was
At Mon, 22 Oct 2012 18:11:22 -0400,
Ryan Culpepper wrote:
* Sam Tobin-Hochstadt sa...@ccs.neu.edu,
Vincent St-Amour stamo...@ccs.neu.edu
- Match Tests
- Typed Racket Tests
All passed.
Insert large letters is currently broken, though. Sam's on it.
- Typed Racket Updates: update
At Wed, 24 Oct 2012 20:29:43 -0400,
Ryan Culpepper wrote:
stamourv:
- scheme language deprecation notice (68260a6c86)
- compat: packages, mutable lists (800a328fe6)
- NaN included in all float types (a6d5a98b61)
* The `#lang scheme' language is deprecated. `#lang racket' should be
, I'm not sure that any of
these should be in the release announcement, unless maybe there's something
I'm missing about the changes?
Robby
On Sunday, October 28, 2012, Vincent St-Amour wrote:
At Wed, 24 Oct 2012 20:29:43 -0400,
Ryan Culpepper wrote:
stamourv:
- scheme language
Providing `zip' is still useful IMO, both for people who don't know /
remember that trick and as a shorthand.
Vincent
At Fri, 9 Nov 2012 07:34:35 -0500 (EST),
J. Ian Johnson wrote:
[forgot reply all]
zip is unnecessary because of n-ary map.
(zip l0 l1) = (map list l0 l1)
-Ian
-
At Thu, 06 Dec 2012 16:27:20 -0700,
Neil Toronto wrote:
On 12/06/2012 04:12 PM, stamo...@racket-lang.org wrote:
cc8bd4f Vincent St-Amour stamo...@racket-lang.org 2012-12-06 11:59
:
| Make srclocs serializable.
:
M collects/racket/private/serialize.rkt | 10
I just got tripped up, again, trying to traverse a list with `first' and
`rest' in a `racket/base' file. `first' and `rest' are only available in
`racket' and `racket/list', but not in `racket/base'.
If we want to encourage use of `first' and `rest' over `car' and `cdr'
and of `racket/base' when
At Thu, 13 Dec 2012 14:51:42 -0500,
Eli Barzilay wrote:
A few minutes ago, Jay McCarthy wrote:
I agree with Eli. first is not car and shouldn't be treated as it.
car : (Cons a b) - a
first : (List a) - a
Right -- it's a different type, and the `list?' check adds a cost.
I don't
At Mon, 17 Dec 2012 15:00:04 -0500,
stamo...@racket-lang.org wrote:
b715a6f Vincent St-Amour stamo...@racket-lang.org 2012-12-14 11:39
:
| Add define-inline.
|
| Drop-in replacement for define that guarantees inlining.
:
M collects/meta/props | 2 ++
A collects
At Thu, 27 Dec 2012 19:21:53 -0600,
Robby Findler wrote:
OC could suggest moving heavily called functions across boundaries, that'd
be cool.
That sounds interesting, and would be a good use of profiling
information. Added to my to-do list.
Thanks for the suggestion!
Vincent
At Mon, 31 Dec 2012 13:27:50 -0700,
Neil Toronto wrote:
1. Allow submodules to extend the reader.
Would using `#lang typed/racket/no-check' instead of `#lang racket' for
the top-level module work? It extends the reader and provides TR's
annotated forms, but otherwise counts as an untyped
At Wed, 02 Jan 2013 12:39:21 -0700,
Neil Toronto wrote:
Interesting. My extremely limited experience -- and Shriram's --
suggests an eternal struggle with the numerical tower for 'beginners'
like myself.
This is my experience as well.
One place this bit me pretty early was getting TR
At Wed, 02 Jan 2013 16:57:39 -0700,
Neil Toronto wrote:
On 01/02/2013 02:51 PM, Vincent St-Amour wrote:
In your experience, have these types caused you trouble other than when
you went looking for them specifically?
Not that I recall. If I stick to union types like Integer,
Exact
At Thu, 17 Jan 2013 13:46:37 -0500,
Ryan Culpepper wrote:
* Sam Tobin-Hochstadt sa...@ccs.neu.edu,
Vincent St-Amour stamo...@ccs.neu.edu
- Match Tests
- Typed Racket Tests
Both done.
- Typed Racket Updates: update HISTORY
Pushed. Commit e763d1e1ae7cfe04d0fff173292340b6fd6c4ae6
At Thu, 17 Jan 2013 13:57:51 -0500,
Ryan Culpepper wrote:
- define-inline (b715a6fe)
* Added `define-inline' which defines functions that are guaranteed to
be inlined.
Vincent
_
Racket Developers list:
http://lists.racket-lang.org/dev
1 - 100 of 158 matches
Mail list logo